Trait ark_ff::ToConstraintField[−][src]

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

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) -> Option<Vec<F>>[src]

Loading content...

Implementors

impl<ConstraintF: Field> ToConstraintField<ConstraintF> for ()[src]

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

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

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

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

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

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

impl<P: CubicExtParameters> ToConstraintField<<P as CubicExtParameters>::BasePrimeField> for CubicExtField<P> where
    P::BaseField: ToConstraintField<P::BasePrimeField>, [src]

impl<P: QuadExtParameters> ToConstraintField<<P as QuadExtParameters>::BasePrimeField> for QuadExtField<P> where
    P::BaseField: ToConstraintField<P::BasePrimeField>, [src]

Loading content...