pub trait ToConstraintField<F: Field> {
    // Required method
    fn to_field_elements(&self) -> Option<Vec<F>>;
}
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§

Implementations on Foreign Types§

source§

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

source§

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

source§

fn to_field_elements(&self) -> Option<Vec<ConstraintF>>

source§

impl<ConstraintF: PrimeField> ToConstraintField<ConstraintF> for Vec<u8>

source§

fn to_field_elements(&self) -> Option<Vec<ConstraintF>>

source§

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

source§

fn to_field_elements(&self) -> Option<Vec<ConstraintF>>

source§

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

source§

fn to_field_elements(&self) -> Option<Vec<ConstraintF>>

source§

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

Implementors§