Setup Ceremonies

We often refer to zero-knowledge proofs monolithically, but…


Zebra: Zcash Zero-Knowledge Proofs at Scale

The Zcash protocol has used a number of different zk-SNARK…


HashWires: Range Proofs from Hash Functions

In this two-part extended blog post I will discuss a…


Playing with Randomness and Interactions to Prove Theorems

In this blog post, I will go back to some of the early…


Zero-Knowledge Proofs from Information-Theoretic Proof Systems – Part II

In this two-part extended blog post I will discuss a…


Zero-Knowledge Proofs from Information-Theoretic Proof Systems – Part I

In this two-part extended blog post I will discuss a…