Module proof_system

Source
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§

PlonkKzgSnark
A Plonk instantiated with KZG PCS

Traits§

UniversalSNARK
An interface for SNARKs with universal setup.