Struct snarkvm_r1cs::Namespace [−][src]
pub struct Namespace<'a, F: Field, CS: ConstraintSystem<F>>(_, _);
Expand description
This is a “namespaced” constraint system which borrows a constraint system (pushing a namespace context) and, when dropped, pops out of the namespace context.
Trait Implementations
Represents the type of the “root” of this constraint system so that nested namespaces can minimize indirection. Read more
Allocate a private variable in the constraint system. The provided
function is used to determine the assignment of the variable. The
given annotation
function is invoked in testing contexts in order
to derive a unique name for this variable in the current namespace. Read more
fn alloc_input<FN, A, AR>(
&mut self,
annotation: A,
f: FN
) -> Result<Variable, SynthesisError> where
FN: FnOnce() -> Result<F, SynthesisError>,
A: FnOnce() -> AR,
AR: AsRef<str>,
fn alloc_input<FN, A, AR>(
&mut self,
annotation: A,
f: FN
) -> Result<Variable, SynthesisError> where
FN: FnOnce() -> Result<F, SynthesisError>,
A: FnOnce() -> AR,
AR: AsRef<str>,
Allocate a public variable in the constraint system. The provided function is used to determine the assignment of the variable. Read more
fn enforce<A, AR, LA, LB, LC>(&mut self, annotation: A, a: LA, b: LB, c: LC) where
A: FnOnce() -> AR,
AR: AsRef<str>,
LA: FnOnce(LinearCombination<F>) -> LinearCombination<F>,
LB: FnOnce(LinearCombination<F>) -> LinearCombination<F>,
LC: FnOnce(LinearCombination<F>) -> LinearCombination<F>,
fn enforce<A, AR, LA, LB, LC>(&mut self, annotation: A, a: LA, b: LB, c: LC) where
A: FnOnce() -> AR,
AR: AsRef<str>,
LA: FnOnce(LinearCombination<F>) -> LinearCombination<F>,
LB: FnOnce(LinearCombination<F>) -> LinearCombination<F>,
LC: FnOnce(LinearCombination<F>) -> LinearCombination<F>,
Enforce that A
* B
= C
. The annotation
function is invoked in
testing contexts in order to derive a unique name for the constraint
in the current namespace. Read more
Create a new (sub)namespace and enter into it. Not intended
for downstream use; use namespace
instead. Read more
Exit out of the existing namespace. Not intended for
downstream use; use namespace
instead. Read more
Gets the “root” constraint system, bypassing the namespacing.
Not intended for downstream use; use namespace
instead. Read more
Output the number of constraints in the system.
Output the number of public input variables to the system.
Output the number of private input variables to the system.
Output whether the constraint system is in the setup mode.
Auto Trait Implementations
impl<'a, F, CS> RefUnwindSafe for Namespace<'a, F, CS> where
CS: RefUnwindSafe,
F: RefUnwindSafe,
impl<'a, F, CS> !UnwindSafe for Namespace<'a, F, CS>