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

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


Inductive Proof Systems and Recursive SNARKs

This blog post describes a powerful technique for defining…


The Unreasonable Power of the Sum-CheckProtocol

When designing an efficient interactive proof system, there…


Zero-Knowledge Proofs for Set Membership

In this post, I will attempt to present the problem of…