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]

fn to_field_elements(&self) -> Result<Vec<F>, ConstraintFieldError>[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]

fn to_field_elements(&self) -> Result<Vec<F>, ConstraintFieldError>[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]

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

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

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

Implementors