September 29, 2021
Darlin: Proof-carrying data based on Marlin
In this blog post, we describe Darlin, a recursive zk-SNARK…
June 3, 2021
Zebra: Zcash Zero-Knowledge Proofs at Scale
The Zcash protocol has used a number of different zk-SNARK…
May 5, 2021
HashWires: Range Proofs from Hash Functions
In this two-part extended blog post I will discuss a…
October 15, 2020
Playing with Randomness and Interactions to Prove Theorems
In this blog post, I will go back to some of the early…
October 15, 2020
Zero-Knowledge Proofs from Information-Theoretic Proof Systems – Part II
In this two-part extended blog post I will discuss a…
August 12, 2020
Zero-Knowledge Proofs from Information-Theoretic Proof Systems – Part I
In this two-part extended blog post I will discuss a…