ark_relations::r1cs

Trait ToConstraintField

Source
pub trait ToConstraintField<F>
where 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<ConstraintF> ToConstraintField<ConstraintF> for ()
where ConstraintF: Field,

Source§

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

Source§

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

Source§

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

Source§

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

Source§

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

Source§

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

Source§

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

Source§

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

Source§

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

Implementors§