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…