Struct bellman::groth16::VerifierInput

pub struct VerifierInput<'a, E: Engine> { /* fields omitted */ }

This is the constraint system synthesizer that is made available to callers of the verification function when they wish to perform allocations. In that context, allocation of inputs is not allowed.

Trait Implementations

impl<'a, E: Engine> ConstraintSystem<E> for VerifierInput<'a, E>

fn alloc<NR, N, F>(&mut self, _: N, f: F) -> Result<Variable, Error> where
    NR: Into<String>,
    N: FnOnce() -> NR,
    F: FnOnce() -> Result<E::Fr, Error>, 

Allocate a private variable in the constraint system. The provided function is used to determine the assignment of the variable.

fn enforce<NR: Into<String>, N: FnOnce() -> NR>(
    &mut self,
    _: N,
    _: LinearCombination<E>,
    _: LinearCombination<E>,
    _: LinearCombination<E>
)

Enforce that A * B = C.

fn one() -> Variable

Return the "one" input variable

fn namespace<NR, N, R, F>(&mut self, _: N, space_fn: F) -> Result<R, Error> where
    NR: Into<String>,
    N: FnOnce() -> NR,
    F: FnOnce(&mut Self) -> Result<R, Error>, 

Begin a namespace for the constraint system