Struct LabradorVerifier

pub struct LabradorVerifier<'a> { /* private fields */ }

Implements the algorithm executed by the verifier (\mathcal{V}) in the paper.

Implementations

impl<'a> LabradorVerifier<'a>

pub fn new( params: &'a EnvironmentParameters, crs: &'a AjtaiInstances, st: &'a Statement, ) -> Self

Constructs a new verifier instance.

pub fn verify<S: Sponge>( &mut self, proof: &LabradorTranscript<S>, ) -> Result<bool, VerifierError>

Verifies a prover transcript. Executes all verifier steps (Fig. 2 page 17, Fig. 3 page 18).

Returns Ok(true) if all checks succeed, otherwise an explanatory VerifierError. The sponge seeded inside this routine must be identical to the prover’s so that the generated randomizers match.