Expand description
Interfaces for Plonk-based proof systems
Modules§
- batch_
arg - An argument system that proves/verifies multiple instances in a batch.
- structs
- Data structures used in Plonk proof systems
Structs§
- Plonk
KzgSnark - A Plonk instantiated with KZG PCS
Traits§
- UniversalSNARK
- An interface for SNARKs with universal setup.