Proving Knowledge of a Hash Pre-Image with ZoKrates

In this blog we implement a problem that's very typical in blockchain use-cases: proving the knowledge of a pre-image for a given SHA-256 digest. We will begin demystifying this machinery by computing the

Introduction to zk-SNARKs (Part 1)

OverviewIn this series of posts, we will look at zero-knowledge proofs (ZKPs): a family of probabilistic protocols, first described by Goldwasser, Micali and Rackoff in 1985, which has garnered increased popularity with the