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 GroupAffine<M> where
M: TEModelParameters,
F: Field,
<M as ModelParameters>::BaseField: ToConstraintField<F>,
[src]
impl<M, F> ToConstraintField<F> for GroupAffine<M> where
M: TEModelParameters,
F: Field,
<M as ModelParameters>::BaseField: ToConstraintField<F>,
[src]impl<M, F> ToConstraintField<F> for GroupAffine<M> where
M: SWModelParameters,
F: Field,
<M as ModelParameters>::BaseField: ToConstraintField<F>,
[src]
impl<M, F> ToConstraintField<F> for GroupAffine<M> where
M: SWModelParameters,
F: Field,
<M as ModelParameters>::BaseField: ToConstraintField<F>,
[src]impl<M, F> ToConstraintField<F> for GroupProjective<M> where
M: SWModelParameters,
F: Field,
<M as ModelParameters>::BaseField: ToConstraintField<F>,
[src]
impl<M, F> ToConstraintField<F> for GroupProjective<M> where
M: SWModelParameters,
F: Field,
<M as ModelParameters>::BaseField: ToConstraintField<F>,
[src]impl<M, F> ToConstraintField<F> for GroupProjective<M> where
M: TEModelParameters,
F: Field,
<M as ModelParameters>::BaseField: ToConstraintField<F>,
[src]
impl<M, F> ToConstraintField<F> for GroupProjective<M> where
M: TEModelParameters,
F: Field,
<M as ModelParameters>::BaseField: ToConstraintField<F>,
[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]
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]
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]
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]
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]
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, C> ToConstraintField<F> for LabeledCommitment<C> where
C: PCCommitment + ToConstraintField<F>,
F: Field,
[src]
impl<F, C> ToConstraintField<F> for LabeledCommitment<C> where
C: PCCommitment + ToConstraintField<F>,
F: Field,
[src]impl<F, G> ToConstraintField<F> for GroupEncryptionParameters<G> where
G: Group + ToConstraintField<F>,
F: Field,
[src]
impl<F, G> ToConstraintField<F> for GroupEncryptionParameters<G> where
G: Group + ToConstraintField<F>,
F: Field,
[src]impl<F, G> ToConstraintField<F> for SchnorrPublicKey<G> where
G: Group + CanonicalSerialize + CanonicalDeserialize + ToConstraintField<F>,
F: Field,
[src]
impl<F, G> ToConstraintField<F> for SchnorrPublicKey<G> where
G: Group + CanonicalSerialize + CanonicalDeserialize + ToConstraintField<F>,
F: Field,
[src]impl<F, G, D> ToConstraintField<F> for SchnorrParameters<G, D> where
G: Group + ToConstraintField<F>,
D: Digest,
F: Field,
[src]
impl<F, G, D> ToConstraintField<F> for SchnorrParameters<G, D> where
G: Group + ToConstraintField<F>,
D: Digest,
F: Field,
[src]impl<F, G, S> ToConstraintField<F> for BoweHopwoodPedersenCRH<G, S> where
G: Group + ToConstraintField<F>,
S: PedersenSize,
F: Field,
[src]
impl<F, G, S> ToConstraintField<F> for BoweHopwoodPedersenCRH<G, S> where
G: Group + ToConstraintField<F>,
S: PedersenSize,
F: Field,
[src]impl<F, G, S> ToConstraintField<F> for BoweHopwoodPedersenCompressedCRH<G, S> where
G: Group + ProjectiveCurve + ToConstraintField<F>,
S: PedersenSize,
F: Field,
[src]
impl<F, G, S> ToConstraintField<F> for BoweHopwoodPedersenCompressedCRH<G, S> where
G: Group + ProjectiveCurve + ToConstraintField<F>,
S: PedersenSize,
F: Field,
[src]impl<F, G, S> ToConstraintField<F> for PedersenCRH<G, S> where
G: Group + ToConstraintField<F>,
S: PedersenSize,
F: Field,
[src]
impl<F, G, S> ToConstraintField<F> for PedersenCRH<G, S> where
G: Group + ToConstraintField<F>,
S: PedersenSize,
F: Field,
[src]impl<F, G, S> ToConstraintField<F> for PedersenCRHParameters<G, S> where
G: Group + ToConstraintField<F>,
S: PedersenSize,
F: Field,
[src]
impl<F, G, S> ToConstraintField<F> for PedersenCRHParameters<G, S> where
G: Group + ToConstraintField<F>,
S: PedersenSize,
F: Field,
[src]impl<F, G, S> ToConstraintField<F> for PedersenCommitmentParameters<G, S> where
G: Group + ToConstraintField<F>,
S: PedersenSize,
F: Field,
[src]
impl<F, G, S> ToConstraintField<F> for PedersenCommitmentParameters<G, S> where
G: Group + ToConstraintField<F>,
S: PedersenSize,
F: Field,
[src]impl<F, G, S> ToConstraintField<F> for PedersenCompressedCRH<G, S> where
G: Group + ProjectiveCurve + ToConstraintField<F>,
S: PedersenSize,
F: Field,
[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<<P as Fp2Parameters>::Fp, Global>, ConstraintFieldError>
[src]