Zero-Knowledge Proofs

Introduction

A zero-knowledge proof lets one party convince another that a statement is true without revealing why it is true. On a public ledger that unlocks two things at once: privacy, prove you are eligible, solvent, or authorized without exposing the underlying data, and succinctness, verify one short proof on-chain instead of re-running an expensive computation, which is the foundation most zk-rollup scaling designs build on.

In active development

On-chain ZK on Cardano is early: the primitives are in place, but verifiers and tooling are still research-grade and evolving. This page will be expanded as the tooling matures.