September 18, 2023
Scaling Trustless DNN Inference, zkml applications at ZKProof.org by Daniel Kang
Daniel Kang gave a comprehensive overview of the current capabilities of…
September 12, 2023
ZKPs and Post-Quantum Signatures From VOLE-in-the-Head at ZKProof.org by Peter Scholl
Peter presented the FAEST signature scheme, which achieves similar performance to…
September 12, 2023
Lessons from DARPA SIEVE at ZKProof.org by James Parker & Kimberlee Model
James and Kimberlee clearly explained the SIEVE IR, a collaborative specification…
September 12, 2023
Recursive Proof Composition at ZKProof.org by Ying Tong Lai
Ying Tong Lai delivered an illuminating presentation that advanced understanding of…
September 12, 2023
The Plonk Effort at ZKProof.org by Mary Maller
Mary Maller's overview of the modular approach to specifying Plonk. In this talk,…
February 21, 2023
Sangria: a Folding Scheme for PLONK
In this technical note we present Sangria, a Nova-style folding scheme for the…
November 24, 2021
Practical SNARK-based VDF
Protocol Labs, the Ethereum Foundation, the Filecoin Foundation, Supranational,…
September 29, 2021
Darlin: Proof-carrying data based on Marlin
In this blog post, we describe Darlin, a recursive zk-SNARK which we will use to…
June 30, 2021
Setup Ceremonies
We often refer to zero-knowledge proofs monolithically, but there are many…
June 3, 2021
Zebra: Zcash Zero-Knowledge Proofs at Scale
The Zcash protocol has used a number of different zk-SNARK proof systems since its…
May 5, 2021
HashWires: Range Proofs from Hash Functions
In this two-part extended blog post I will discuss a modular approach to the design…
October 15, 2020
Playing with Randomness and Interactions to Prove Theorems
In this blog post, I will go back to some of the early results that pioneered the…
October 15, 2020
Zero-Knowledge Proofs from Information-Theoretic Proof Systems – Part II
In this two-part extended blog post I will discuss a modular approach to the design…
August 12, 2020
Zero-Knowledge Proofs from Information-Theoretic Proof Systems – Part I
In this two-part extended blog post I will discuss a modular approach to the design…
June 8, 2020
Inductive Proof Systems and Recursive SNARKs
This blog post describes a powerful technique for defining systems that allows for…
March 16, 2020
The Unreasonable Power of the Sum-CheckProtocol
When designing an efficient interactive proof system, there is only one hammer you…
February 27, 2020
Zero-Knowledge Proofs for Set Membership
In this post, I will attempt to present the problem of proving set membership in…
January 1, 2020
Announcing the Expert Series Webinar on Zero-Knowledge Proofs
ZKProof has joined forces with leading organizations in our ecosystem to launch a…