Struct LabradorVerifier

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

Implementations

impl<'a> LabradorVerifier<'a>

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

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

All check conditions are from page 18

pub fn check_relation( a_primes: &RqMatrix, b_primes: &Rq, g: &RqMatrix, h: &RqMatrix, ) -> bool

line 18, page 18: check if \sum(a_{ij} * g_{ij}) + \sum(h_{ii}) - b ?= 0 in the verifier process, page 18 from the paper.

param: a_primes: a_{ij}^{‘’(k)} param: b_primes: b^{‘’(k)} param: g: g_{ij} param: h: h_{ii}

return: true if the relation holds, false otherwise