Trait bellman::PublicConstraintSystem
[−]
[src]
pub trait PublicConstraintSystem<E: Engine>: ConstraintSystem<E> { fn alloc_input<F: FnOnce() -> Result<E::Fr, Error>>(
&mut self,
f: F
) -> Result<Variable, Error>; }
Required Methods
fn alloc_input<F: FnOnce() -> Result<E::Fr, Error>>(
&mut self,
f: F
) -> Result<Variable, Error>
&mut self,
f: F
) -> Result<Variable, Error>
Allocate a public input that the verifier knows. The provided function is used to determine the assignment of the variable.