Trait ark_relations::r1cs::ToConstraintField

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

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, Global>>

Implementations on Foreign Types

impl<ConstraintF> ToConstraintField<ConstraintF> for Vec<u8, Global>where
    ConstraintF: PrimeField,

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

impl<F> ToConstraintField<F> for boolwhere
    F: Field,

fn to_field_elements(&self) -> Option<Vec<F, Global>>

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

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

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

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

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

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

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

fn to_field_elements(&self) -> Option<Vec<F, Global>>

Implementors

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

impl<P> ToConstraintField<<P as CubicExtConfig>::BasePrimeField> for CubicExtField<P>where
    P: CubicExtConfig,
    <P as CubicExtConfig>::BaseField: ToConstraintField<<P as CubicExtConfig>::BasePrimeField>,

impl<P> ToConstraintField<<P as QuadExtConfig>::BasePrimeField> for QuadExtField<P>where
    P: QuadExtConfig,
    <P as QuadExtConfig>::BaseField: ToConstraintField<<P as QuadExtConfig>::BasePrimeField>,