Struct LabradorProver

pub struct LabradorProver<'a> {
    pub pp: &'a PublicPrams,
    pub witness: &'a Witness,
    pub st: &'a Statement,
    pub tr: &'a Challenges,
}

Fields

pp: &'a PublicPrams

witness: &'a Witness

st: &'a Statement

tr: &'a Challenges

Implementations

impl<'a> LabradorProver<'a>

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

pub fn prove(&self, ep: &EnvironmentParameters) -> Result<Proof, ProverError>

all prove steps are from page 17