Trait bellman::ConstraintSystem

pub trait ConstraintSystem<E: Engine> {
    fn alloc<F: FnOnce() -> Result<E::Fr, Error>>(
        &mut self, 
        f: F
    ) -> Result<Variable, Error>;
    fn enforce(
        &mut self, 
        a: LinearCombination<E>, 
        b: LinearCombination<E>, 
        c: LinearCombination<E>
    );

    fn one() -> Variable { ... }
}

Required Methods

fn alloc<F: FnOnce() -> Result<E::Fr, Error>>(
    &mut self,
    f: F
) -> Result<Variable, Error>

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

fn enforce(
    &mut self,
    a: LinearCombination<E>,
    b: LinearCombination<E>,
    c: LinearCombination<E>
)

Enforce that A * B = C.

Provided Methods

fn one() -> Variable

Return the "one" input variable

Implementors

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