ToConstraintField

snarkvm_circuit::prelude::snarkvm_fields::traits

Trait ToConstraintField 

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

Source

fn to_field_elements(&self) -> Result<Vec<F>, ConstraintFieldError>

Implementations on Foreign Types§

Source§

impl<E> ToConstraintField<<E as PairingEngine>::Fq> for KZGCommitment<E>
where E: PairingEngine,

Source§

fn to_field_elements( &self, ) -> Result<Vec<<E as PairingEngine>::Fq>, ConstraintFieldError>

Source§

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

Source§

fn to_field_elements(&self) -> Result<Vec<F>, ConstraintFieldError>

Source§

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

Source§

fn to_field_elements(&self) -> Result<Vec<F>, ConstraintFieldError>

Source§

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

Source§

fn to_field_elements(&self) -> Result<Vec<F>, ConstraintFieldError>

Source§

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

Source§

fn to_field_elements(&self) -> Result<Vec<F>, ConstraintFieldError>

Source§

impl<F> ToConstraintField<F> for [bool]
where F: PrimeField,

Source§

fn to_field_elements(&self) -> Result<Vec<F>, ConstraintFieldError>

Source§

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

Source§

fn to_field_elements(&self) -> Result<Vec<F>, ConstraintFieldError>

Source§

impl<F, C> ToConstraintField<F> for LabeledCommitment<C>
where F: Field, C: CanonicalSerialize + ToConstraintField<F>,

Source§

fn to_field_elements(&self) -> Result<Vec<F>, ConstraintFieldError>

Source§

impl<F, const NUM_BITS: usize> ToConstraintField<F> for [bool; NUM_BITS]
where F: PrimeField,

Source§

fn to_field_elements(&self) -> Result<Vec<F>, ConstraintFieldError>

Source§

impl<F, const NUM_BYTES: usize> ToConstraintField<F> for [u8; NUM_BYTES]
where F: PrimeField,

Source§

fn to_field_elements(&self) -> Result<Vec<F>, ConstraintFieldError>

Source§

impl<M, F> ToConstraintField<F> for Affine<M>
where M: ShortWeierstrassParameters, F: Field, <M as ModelParameters>::BaseField: ToConstraintField<F>,

Source§

fn to_field_elements(&self) -> Result<Vec<F>, ConstraintFieldError>

Source§

impl<M, F> ToConstraintField<F> for Projective<M>
where M: ShortWeierstrassParameters, F: Field, <M as ModelParameters>::BaseField: ToConstraintField<F>,

Source§

fn to_field_elements(&self) -> Result<Vec<F>, ConstraintFieldError>

Source§

impl<M, F> ToConstraintField<F> for Affine<M>
where M: TwistedEdwardsParameters, F: Field, <M as ModelParameters>::BaseField: ToConstraintField<F>,

Source§

fn to_field_elements(&self) -> Result<Vec<F>, ConstraintFieldError>

Source§

impl<M, F> ToConstraintField<F> for Projective<M>
where M: TwistedEdwardsParameters, F: Field, <M as ModelParameters>::BaseField: ToConstraintField<F>,

Source§

fn to_field_elements(&self) -> Result<Vec<F>, ConstraintFieldError>

Implementors§

Source§

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

Source§

impl<P> ToConstraintField<<P as Fp2Parameters>::Fp> for Fp2<P>
where P: Fp2Parameters,