Module proof_system

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.