Struct kimchi::verifier::Context

pub struct Context<'a, G: KimchiCurve, OpeningProof: OpenProof<G>> {
    pub verifier_index: &'a VerifierIndex<G, OpeningProof>,
    pub proof: &'a ProverProof<G, OpeningProof>,
    pub public_input: &'a [G::ScalarField],
}

Fields

verifier_index: &'a VerifierIndex<G, OpeningProof>

The VerifierIndex associated to the proof

proof: &'a ProverProof<G, OpeningProof>

The proof to verify

public_input: &'a [G::ScalarField]

The public input used in the creation of the proof

Implementations

impl<'a, G: KimchiCurve, OpeningProof: OpenProof<G>> Context<'a, G, OpeningProof>

pub fn get_column(&self, col: Column) -> Option<&'a PolyComm<G>>

Trait Implementations

impl<'a, G: Debug + KimchiCurve, OpeningProof: Debug + OpenProof<G>> Debug for Context<'a, G, OpeningProof>where G::ScalarField: Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.