Expand description
Collection of functions needed to use plonk library.
Use this as the only import that you need to interact with the principal data structures of the plonk library.
Re-exports
pub use super::Plonk;
pub use super::PlonkKey;
pub use super::Prover;
pub use super::Verifier;
pub use crate::gadget::WitnessPoint;
Structs
- Bls12 381 curve scalar field
- Each gate expression
- Twisted Edwards curve Jubjub affine coordinate
- Twisted Edwards curve Jubjub extended coordinate
- Twisted Edwards curve Jubjub base field
- A Proof is a composition of
Commitment
s to the Witness, Permutation, Quotient, Shifted and Opening polynomials as well as theProofEvaluations
.
Enums
Traits
- circuit trait