Trait snarkvm_fields::ToConstraintField

pub trait ToConstraintField<F: Field> {
    fn to_field_elements(&self) -> Result<Vec<F>, ConstraintFieldError>;
}

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>

Loading content...

Implementations on Foreign Types

impl<F: Field> ToConstraintField<F> for [F]

fn to_field_elements(&self) -> Result<Vec<F>, ConstraintFieldError>

impl<F: Field> ToConstraintField<F> for Vec<F>

fn to_field_elements(&self) -> Result<Vec<F>, ConstraintFieldError>

impl<F: Field> ToConstraintField<F> for ()

fn to_field_elements(&self) -> Result<Vec<F>, ConstraintFieldError>

impl<F: PrimeField> ToConstraintField<F> for [u8]

fn to_field_elements(&self) -> Result<Vec<F>, ConstraintFieldError>

impl<F: PrimeField> ToConstraintField<F> for [u8; 32]

fn to_field_elements(&self) -> Result<Vec<F>, ConstraintFieldError>

Loading content...

Implementors

impl<F: PrimeField> ToConstraintField<F> for F

fn to_field_elements(&self) -> Result<Vec<F>, ConstraintFieldError>

impl<P: Fp2Parameters> ToConstraintField<<P as Fp2Parameters>::Fp> for Fp2<P>

fn to_field_elements(&self) -> Result<Vec<P::Fp>, ConstraintFieldError>

Loading content...