Advancing the Frontiers of Zero-Knowledge Cryptography

Zexe introduces a novel framework for decentralized private computation, enabling privacy-preserving execution of programs over a blockchain. This groundbreaking work lays the theoretical foundation for Aleo's architecture.

This seminal work introduces Zerocoin, the first protocol to extend Bitcoin with anonymous transactions, paving the way for zero-knowledge proofs in modern cryptography.

This paper develops a method for updatable and universal common reference strings (CRSs), enabling zk-SNARKs that do not rely on a single trusted setup.

Zerocoin is a protocol for anonymous distributed e-cash, extending Bitcoin with true anonymity for transactions. It introduced the use of cryptographic proofs to unlink transactions.

Bolt introduces anonymous payment channels that maintain privacy while ensuring efficiency in decentralized currencies. This work combines cryptographic techniques with payment channel designs.

Hekaton introduces a proof aggregation scheme for zkSNARKs, making zero-knowledge systems horizontally scalable. This innovation reduces verification costs for multiple proofs.

This paper presents a secure multi-party computation (MPC) protocol for generating the public parameters required for the Pinocchio zk-SNARK, a widely used zero-knowledge proof system.