Trait snarkvm_r1cs::ToConstraintField

pub trait ToConstraintField<F> where
    F: Field, {
    fn to_field_elements(&self) -> Result<Vec<F, Global>, 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, Global>, ConstraintFieldError>

Implementations on Foreign Types

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

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

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

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

impl<F> ToConstraintField<F> for bool where
    F: Field, 

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

impl<F> ToConstraintField<F> for Vec<F, Global> where
    F: Field, 

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

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

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

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

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

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

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

Implementors

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

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