blockchainkit.proofs#

Zero-knowledge and succinct proofs: sum-check and PCPs, KZG, Groth16 and PLONK with their trusted setups, Zerocash, and transparent Bulletproofs, FRI, STARKs and Halo.

History

The breakthroughs behind this subpackage, linked to the implementation.

Breakthroughs in Proof Systems
Examples

The runnable example gallery.

Examples
API reference

Every public class and function.

blockchainkit.proofs