Trait ark_relations::r1cs::ToConstraintField [−][src]
pub trait ToConstraintField<F> where
F: Field, { fn to_field_elements(&self) -> Option<Vec<F, Global>>; }
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) -> Option<Vec<F, Global>>
[src]Implementations on Foreign Types
impl<P> ToConstraintField<<P as CubicExtParameters>::BasePrimeField> for CubicExtField<P> where
P: CubicExtParameters,
<P as CubicExtParameters>::BaseField: ToConstraintField<<P as CubicExtParameters>::BasePrimeField>,
[src]
impl<P> ToConstraintField<<P as CubicExtParameters>::BasePrimeField> for CubicExtField<P> where
P: CubicExtParameters,
<P as CubicExtParameters>::BaseField: ToConstraintField<<P as CubicExtParameters>::BasePrimeField>,
[src]pub fn to_field_elements(
&self
) -> Option<Vec<<P as CubicExtParameters>::BasePrimeField, Global>>
[src]impl<ConstraintF> ToConstraintField<ConstraintF> for Vec<u8, Global> where
ConstraintF: PrimeField,
[src]
impl<ConstraintF> ToConstraintField<ConstraintF> for Vec<u8, Global> where
ConstraintF: PrimeField,
[src]impl<P> ToConstraintField<<P as QuadExtParameters>::BasePrimeField> for QuadExtField<P> where
P: QuadExtParameters,
<P as QuadExtParameters>::BaseField: ToConstraintField<<P as QuadExtParameters>::BasePrimeField>,
[src]
impl<P> ToConstraintField<<P as QuadExtParameters>::BasePrimeField> for QuadExtField<P> where
P: QuadExtParameters,
<P as QuadExtParameters>::BaseField: ToConstraintField<<P as QuadExtParameters>::BasePrimeField>,
[src]pub fn to_field_elements(
&self
) -> Option<Vec<<P as QuadExtParameters>::BasePrimeField, Global>>
[src]