Trait ark_r1cs_std::R1CSVar
source · pub trait R1CSVar<F: Field> {
type Value: Debug + Eq + Clone;
fn cs(&self) -> ConstraintSystemRef<F>;
fn value(&self) -> Result<Self::Value, SynthesisError>;
fn is_constant(&self) -> bool { ... }
}
Expand description
This trait describes some core functionality that is common to high-level
variables, such as Boolean
s, FieldVar
s, GroupVar
s, etc.
Required Associated Types§
Required Methods§
sourcefn cs(&self) -> ConstraintSystemRef<F>
fn cs(&self) -> ConstraintSystemRef<F>
Returns the underlying ConstraintSystemRef
.
If self
is a constant value, then this must return
ark_relations::r1cs::ConstraintSystemRef::None
.
sourcefn value(&self) -> Result<Self::Value, SynthesisError>
fn value(&self) -> Result<Self::Value, SynthesisError>
Returns the value that is assigned to self
in the underlying
ConstraintSystem
.
Provided Methods§
sourcefn is_constant(&self) -> bool
fn is_constant(&self) -> bool
Returns true
if self
is a circuit-generation-time constant.