Trait snarkvm_fields::ToConstraintField [−][src]
pub trait ToConstraintField<F: Field> { fn to_field_elements(&self) -> Result<Vec<F>, ConstraintFieldError>; }
Expand description
Types that can be converted to a vector of F
elements. Useful for specifying
how public inputs to a constraint system should be represented inside
that constraint system.
Required methods
fn to_field_elements(&self) -> Result<Vec<F>, ConstraintFieldError>
[src]
Implementations on Foreign Types
impl<F: Field> ToConstraintField<F> for [F]
[src]
impl<F: Field> ToConstraintField<F> for [F]
[src]fn to_field_elements(&self) -> Result<Vec<F>, ConstraintFieldError>
[src]
impl<F: Field> ToConstraintField<F> for Vec<F>
[src]
impl<F: Field> ToConstraintField<F> for Vec<F>
[src]fn to_field_elements(&self) -> Result<Vec<F>, ConstraintFieldError>
[src]
impl<F: Field> ToConstraintField<F> for ()
[src]
impl<F: Field> ToConstraintField<F> for ()
[src]fn to_field_elements(&self) -> Result<Vec<F>, ConstraintFieldError>
[src]
impl<F: PrimeField> ToConstraintField<F> for [u8]
[src]
impl<F: PrimeField> ToConstraintField<F> for [u8]
[src]fn to_field_elements(&self) -> Result<Vec<F>, ConstraintFieldError>
[src]
impl<F: PrimeField> ToConstraintField<F> for [u8; 32]
[src]
impl<F: PrimeField> ToConstraintField<F> for [u8; 32]
[src]fn to_field_elements(&self) -> Result<Vec<F>, ConstraintFieldError>
[src]
impl<F: Field> ToConstraintField<F> for bool
[src]
impl<F: Field> ToConstraintField<F> for bool
[src]fn to_field_elements(&self) -> Result<Vec<F>, ConstraintFieldError>
[src]
Implementors
impl<F: PrimeField> ToConstraintField<F> for F
[src]
impl<F: PrimeField> ToConstraintField<F> for F
[src]fn to_field_elements(&self) -> Result<Vec<F>, ConstraintFieldError>
[src]
impl<P: Fp2Parameters> ToConstraintField<<P as Fp2Parameters>::Fp> for Fp2<P>
[src]
impl<P: Fp2Parameters> ToConstraintField<<P as Fp2Parameters>::Fp> for Fp2<P>
[src]