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