Trait bellman::PublicConstraintSystem

pub trait PublicConstraintSystem<E: Engine>: ConstraintSystem<E> {
    fn alloc_input<NR, N, F>(
        &mut self, 
        name_fn: N, 
        f: F
    ) -> Result<Variable, Error>
    where
        NR: Into<String>,
        N: FnOnce() -> NR,
        F: FnOnce() -> Result<E::Fr, Error>;
}

Required Methods

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

Allocate a public input that the verifier knows. The provided function is used to determine the assignment of the variable.

Implementors

• impl<E: Engine> PublicConstraintSystem<E> for TestConstraintSystem<E>