Struct LabradorVerifier

pub struct LabradorVerifier<'a> {
    pub pp: &'a AjtaiInstances,
    pub st: &'a Statement,
    pub tr: &'a Challenges,
}

Fields

pp: &'a AjtaiInstances

st: &'a Statement

tr: &'a Challenges

Implementations

impl<'a> LabradorVerifier<'a>

pub fn new( pp: &'a AjtaiInstances, st: &'a Statement, tr: &'a Challenges, ) -> Self

pub fn verify( &self, proof: &Proof, ep: &EnvironmentParameters, ) -> 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