Trait bellman::PublicConstraintSystem
[−]
[src]
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>,
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>