Trait snarkvm_wasm::ToConstraintField[−][src]

pub trait ToConstraintField<F> where
    F: Field, {
    fn to_field_elements(&self) -> Result<Vec<F, Global>, 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

fn to_field_elements(&self) -> Result<Vec<F, Global>, ConstraintFieldError>[src]

Implementations on Foreign Types

impl<M, F> ToConstraintField<F> for GroupProjective<M> where
    F: Field,
    M: TEModelParameters,
    <M as ModelParameters>::BaseField: ToConstraintField<F>, [src]

pub fn to_field_elements(&self) -> Result<Vec<F, Global>, ConstraintFieldError>[src]

impl<M, F> ToConstraintField<F> for GroupAffine<M> where
    F: Field,
    M: SWModelParameters,
    <M as ModelParameters>::BaseField: ToConstraintField<F>, [src]

pub fn to_field_elements(&self) -> Result<Vec<F, Global>, ConstraintFieldError>[src]

impl<M, F> ToConstraintField<F> for GroupAffine<M> where
    F: Field,
    M: TEModelParameters,
    <M as ModelParameters>::BaseField: ToConstraintField<F>, [src]

pub fn to_field_elements(&self) -> Result<Vec<F, Global>, ConstraintFieldError>[src]

impl<M, F> ToConstraintField<F> for GroupProjective<M> where
    F: Field,
    M: SWModelParameters,
    <M as ModelParameters>::BaseField: ToConstraintField<F>, [src]

pub fn to_field_elements(&self) -> Result<Vec<F, Global>, ConstraintFieldError>[src]

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

pub fn to_field_elements(&self) -> Result<Vec<F, Global>, ConstraintFieldError>[src]

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

pub fn to_field_elements(&self) -> Result<Vec<F, Global>, ConstraintFieldError>[src]

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

pub fn to_field_elements(&self) -> Result<Vec<F, Global>, ConstraintFieldError>[src]

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

pub fn to_field_elements(&self) -> Result<Vec<F, Global>, ConstraintFieldError>[src]

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

pub fn to_field_elements(&self) -> Result<Vec<F, Global>, ConstraintFieldError>[src]

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

pub fn to_field_elements(&self) -> Result<Vec<F, Global>, ConstraintFieldError>[src]

Implementors

impl<E> ToConstraintField<<E as PairingEngine>::Fq> for snarkvm_wasm::kzg10::Commitment<E> where
    E: PairingEngine,
    <E as PairingEngine>::G1Affine: ToConstraintField<<E as PairingEngine>::Fq>, [src]

pub fn to_field_elements(
    &self
) -> Result<Vec<<E as PairingEngine>::Fq, Global>, ConstraintFieldError>[src]

impl<E> ToConstraintField<<E as PairingEngine>::Fq> for snarkvm_wasm::kzg10::VerifierKey<E> where
    E: PairingEngine,
    <E as PairingEngine>::G1Affine: ToConstraintField<<E as PairingEngine>::Fq>,
    <E as PairingEngine>::G2Affine: ToConstraintField<<E as PairingEngine>::Fq>, [src]

pub fn to_field_elements(
    &self
) -> Result<Vec<<E as PairingEngine>::Fq, Global>, ConstraintFieldError>[src]

impl<E> ToConstraintField<<E as PairingEngine>::Fq> for snarkvm_wasm::marlin_pc::Commitment<E> where
    E: PairingEngine,
    <E as PairingEngine>::G1Affine: ToConstraintField<<E as PairingEngine>::Fq>, [src]

pub fn to_field_elements(
    &self
) -> Result<Vec<<E as PairingEngine>::Fq, Global>, ConstraintFieldError>[src]

impl<E> ToConstraintField<<E as PairingEngine>::Fq> for snarkvm_wasm::marlin_pc::VerifierKey<E> where
    E: PairingEngine,
    <E as PairingEngine>::G1Affine: ToConstraintField<<E as PairingEngine>::Fq>,
    <E as PairingEngine>::G2Affine: ToConstraintField<<E as PairingEngine>::Fq>, [src]

pub fn to_field_elements(
    &self
) -> Result<Vec<<E as PairingEngine>::Fq, Global>, ConstraintFieldError>[src]

impl<E> ToConstraintField<<E as PairingEngine>::Fq> for snarkvm_wasm::sonic_pc::VerifierKey<E> where
    E: PairingEngine,
    <E as PairingEngine>::G1Affine: ToConstraintField<<E as PairingEngine>::Fq>,
    <E as PairingEngine>::G2Affine: ToConstraintField<<E as PairingEngine>::Fq>, [src]

pub fn to_field_elements(
    &self
) -> Result<Vec<<E as PairingEngine>::Fq, Global>, ConstraintFieldError>[src]

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

pub fn to_field_elements(&self) -> Result<Vec<F, Global>, ConstraintFieldError>[src]

impl<F, C> ToConstraintField<F> for LabeledCommitment<C> where
    C: PCCommitment + ToConstraintField<F>,
    F: Field, [src]

pub fn to_field_elements(&self) -> Result<Vec<F, Global>, ConstraintFieldError>[src]

impl<F, G> ToConstraintField<F> for GroupEncryptionParameters<G> where
    G: Group + ToConstraintField<F>,
    F: Field, [src]

pub fn to_field_elements(&self) -> Result<Vec<F, Global>, ConstraintFieldError>[src]

impl<F, G> ToConstraintField<F> for SchnorrPublicKey<G> where
    G: Group + CanonicalSerialize + CanonicalDeserialize + ToConstraintField<F>,
    F: Field, [src]

pub fn to_field_elements(&self) -> Result<Vec<F, Global>, ConstraintFieldError>[src]

impl<F, G, D> ToConstraintField<F> for SchnorrParameters<G, D> where
    G: Group + ToConstraintField<F>,
    D: Digest,
    F: Field, [src]

pub fn to_field_elements(&self) -> Result<Vec<F, Global>, ConstraintFieldError>[src]

impl<F, G, S> ToConstraintField<F> for BoweHopwoodPedersenCRH<G, S> where
    G: Group + ToConstraintField<F>,
    S: PedersenSize,
    F: Field, [src]

pub fn to_field_elements(&self) -> Result<Vec<F, Global>, ConstraintFieldError>[src]

impl<F, G, S> ToConstraintField<F> for BoweHopwoodPedersenCompressedCRH<G, S> where
    G: Group + ProjectiveCurve + ToConstraintField<F>,
    S: PedersenSize,
    F: Field, [src]

pub fn to_field_elements(&self) -> Result<Vec<F, Global>, ConstraintFieldError>[src]

impl<F, G, S> ToConstraintField<F> for PedersenCRH<G, S> where
    G: Group + ToConstraintField<F>,
    S: PedersenSize,
    F: Field, [src]

pub fn to_field_elements(&self) -> Result<Vec<F, Global>, ConstraintFieldError>[src]

impl<F, G, S> ToConstraintField<F> for PedersenCRHParameters<G, S> where
    G: Group + ToConstraintField<F>,
    S: PedersenSize,
    F: Field, [src]

pub fn to_field_elements(&self) -> Result<Vec<F, Global>, ConstraintFieldError>[src]

impl<F, G, S> ToConstraintField<F> for PedersenCommitmentParameters<G, S> where
    G: Group + ToConstraintField<F>,
    S: PedersenSize,
    F: Field, [src]

pub fn to_field_elements(&self) -> Result<Vec<F, Global>, ConstraintFieldError>[src]

impl<F, G, S> ToConstraintField<F> for PedersenCompressedCRH<G, S> where
    G: Group + ProjectiveCurve + ToConstraintField<F>,
    S: PedersenSize,
    F: Field, [src]

pub fn to_field_elements(&self) -> Result<Vec<F, Global>, ConstraintFieldError>[src]

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

pub fn to_field_elements(
    &self
) -> Result<Vec<<P as Fp2Parameters>::Fp, Global>, ConstraintFieldError>[src]