Module mina_rs_base::protocol_state_proof

Expand description

Module containing the components of a protocol state proof

Re-exports

pub use proof_messages::ProofMessages;

pub use proof_evaluations::ProofEvaluations;

pub use opening_proof::OpeningProof;

pub use bulletproof_challenges::BulletproofChallenge;

pub use bulletproof_challenges::BulletproofChallengeTuple17;

pub use bulletproof_challenges::BulletproofChallengeTuple18;

pub use bulletproof_challenges::BulletproofChallenges;

pub use bulletproof_challenges::BulletproofPreChallenge;

pub use bulletproof_challenges::ProofStateBulletproofChallenges;

pub use bulletproof_challenges::ScalarChallengeVector2;

pub use field_and_curve_elements::ECPoint;

pub use field_and_curve_elements::ECPointVec;

pub use field_and_curve_elements::FieldElement;

pub use field_and_curve_elements::FieldElementVec;

pub use field_and_curve_elements::FiniteECPoint;

pub use field_and_curve_elements::FiniteECPointPair;

pub use field_and_curve_elements::FiniteECPointPairVec;

pub use field_and_curve_elements::FiniteECPointVec;

SNARK proof of the protocol state at some point in time