Highlights
SBC'24 Live Presentations
A live stream for the Science of Blockchain Conference (SBC) 2024 presentations taking place August 7-9 at Columbia University
0xPARC: Programmable Cryptography (Part 1)
Cryptography is undergoing a generational transition, from special-purpose cryptography to programmable cryptography.
SuperSpartan by Hand
The goal of this article is to dive into the techniques behind the SuperSpartan's polynomial IOP, which uses the sum-check protocol to prove CCS instances, by writing the protocol explicitely for a specific example.
HyperNova by Hand
The aim of this article is to unbundle the folding mechanism of the HyperNova protocol by writing it by hand.
A Survey on the Applications of Zero-Knowledge Proofs
Applications of ZK from a practitioner/engineer’s perspective.
How we created a research fast VM for ZKsync
LambdaClass team makes a deep dive into how the EraVM works and how it differs from the EVM.
Awesome zero knowledge proofs
A curated list of awesome ZKP resources, libraries, tools and more.
The exposition of Additive NTT
A detailed theoretical introduction and Python implementation of Additive NTT
- theory: https://github.com/ingonyama-zk/papers/blob/main/ntt_201_book.pdf
- code: https://github.com/ingonyama-zk/open-binius/tree/main/ref/antt
Updates
Nullifier Counter in RISC Zero for apps on top of Rarimo Protocol
ZK Summit 11 Folded
文章由 Jack Gilcrest 撰写，详细介绍了 Cursive 团队在 ZK Summit 11 中集成折叠方案（folding schemes）的实际应用和经验。
SP1 is live
SP1 is now feature-complete and recommended for production use.
SP1 Benchmarks: 8/6/24
SP1’s new GPU prover achieves state of the art performance, with the cheapest cloud costs vs. alternative zkVMs by up to 10x, across a diverse set of blockchain workloads like light clients and EVM rollups.
A thread about FRI by Paul Gafni
Chatting with peeps at SBC and realized I've made some educational resources about FRI soundness analysis that I never shared widely.