Trait snarkvm_wasm::ToConstraintFieldGadget [−][src]
pub trait ToConstraintFieldGadget<F> where
F: PrimeField, { fn to_constraint_field<CS>(
&self,
cs: CS
) -> Result<Vec<FpGadget<F>, Global>, SynthesisError>
where
CS: ConstraintSystem<F>; }
Expand description
Specifies how to convert a variable of type Self
to variables of
type FpGadget<F>
Required methods
fn to_constraint_field<CS>(
&self,
cs: CS
) -> Result<Vec<FpGadget<F>, Global>, SynthesisError> where
CS: ConstraintSystem<F>,
fn to_constraint_field<CS>(
&self,
cs: CS
) -> Result<Vec<FpGadget<F>, Global>, SynthesisError> where
CS: ConstraintSystem<F>,
Converts self
to FpGadget<F>
variables.