Trait snarkvm_wasm::ToBytesGadget[−][src]

pub trait ToBytesGadget<F> where
    F: Field, {
    fn to_bytes<CS>(&self, cs: CS) -> Result<Vec<UInt8, Global>, SynthesisError>
    where
        CS: ConstraintSystem<F>;
    fn to_bytes_strict<CS>(
        &self, 
        cs: CS
    ) -> Result<Vec<UInt8, Global>, SynthesisError>
    where
        CS: ConstraintSystem<F>;
}

Required methods

fn to_bytes<CS>(&self, cs: CS) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

fn to_bytes_strict<CS>(
    &self, 
    cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

Additionally checks if the produced list of booleans is ‘valid’.

Implementations on Foreign Types

impl<'a, F> ToBytesGadget<F> for &'a [UInt8] where
    F: Field,

[src]

pub fn to_bytes<CS>(
    &self, 
    _cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

pub fn to_bytes_strict<CS>(
    &self, 
    cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

impl<F> ToBytesGadget<F> for [UInt8] where
    F: Field,

[src]

pub fn to_bytes<CS>(
    &self, 
    _cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

pub fn to_bytes_strict<CS>(
    &self, 
    cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

impl<'a, F, T> ToBytesGadget<F> for &'a T where
    T: 'a + ToBytesGadget<F>,
    F: Field,

[src]

pub fn to_bytes<CS>(&self, cs: CS) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

pub fn to_bytes_strict<CS>(
    &self, 
    cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

impl<F> ToBytesGadget<F> for Vec<UInt8, Global> where
    F: Field,

[src]

pub fn to_bytes<CS>(
    &self, 
    _cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

pub fn to_bytes_strict<CS>(
    &self, 
    cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

Implementors

impl<F> ToBytesGadget<F> for Boolean where
    F: Field,

[src]

pub fn to_bytes_strict<CS>(
    &self, 
    cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

Additionally checks if the produced list of booleans is ‘valid’.

pub fn to_bytes<CS>(
    &self, 
    _cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

impl<F> ToBytesGadget<F> for FpGadget<F> where
    F: PrimeField,

[src]

pub fn to_bytes<CS>(&self, cs: CS) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

pub fn to_bytes_strict<CS>(
    &self, 
    cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

impl<F> ToBytesGadget<F> for Blake2sOutputGadget where
    F: PrimeField,

[src]

pub fn to_bytes<CS>(
    &self, 
    _cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

pub fn to_bytes_strict<CS>(
    &self, 
    cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

impl<F> ToBytesGadget<F> for AllocatedFp<F> where
    F: PrimeField,

[src]

pub fn to_bytes<CS>(&self, cs: CS) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

pub fn to_bytes_strict<CS>(
    &self, 
    cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

impl<F> ToBytesGadget<F> for UInt8 where
    F: Field,

[src]

pub fn to_bytes<CS>(
    &self, 
    _cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

pub fn to_bytes_strict<CS>(
    &self, 
    cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

impl<F> ToBytesGadget<F> for UInt16 where
    F: Field,

[src]

pub fn to_bytes<CS>(
    &self, 
    _cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

pub fn to_bytes_strict<CS>(
    &self, 
    cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

impl<F> ToBytesGadget<F> for UInt32 where
    F: Field,

[src]

pub fn to_bytes<CS>(
    &self, 
    _cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

pub fn to_bytes_strict<CS>(
    &self, 
    cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

impl<F> ToBytesGadget<F> for UInt64 where
    F: Field,

[src]

pub fn to_bytes<CS>(
    &self, 
    _cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

pub fn to_bytes_strict<CS>(
    &self, 
    cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

impl<F> ToBytesGadget<F> for UInt128 where
    F: Field,

[src]

pub fn to_bytes<CS>(
    &self, 
    _cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

pub fn to_bytes_strict<CS>(
    &self, 
    cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

impl<G, F> ToBytesGadget<F> for GroupEncryptionPrivateKeyGadget<G> where
    G: Group,
    F: PrimeField,

[src]

pub fn to_bytes<CS>(&self, cs: CS) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

pub fn to_bytes_strict<CS>(
    &self, 
    cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

impl<G, F, GG> ToBytesGadget<F> for GroupEncryptionCiphertextGadget<G, F, GG> where
    G: Group + ProjectiveCurve,
    F: Field,
    GG: CompressedGroupGadget<G, F>,

[src]

pub fn to_bytes<CS>(&self, cs: CS) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

pub fn to_bytes_strict<CS>(
    &self, 
    cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

impl<G, F, GG> ToBytesGadget<F> for GroupEncryptionPublicKeyGadget<G, F, GG> where
    G: Group + ProjectiveCurve,
    F: Field,
    GG: CompressedGroupGadget<G, F>,

[src]

pub fn to_bytes<CS>(&self, cs: CS) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

Writes the x-coordinate of the encryption public key.

pub fn to_bytes_strict<CS>(
    &self, 
    cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

Writes the x-coordinate of the encryption public key. Additionally checks if the generated list of booleans is ‘valid’.

impl<G, F, GG> ToBytesGadget<F> for SchnorrPublicKeyGadget<G, F, GG> where
    G: Group,
    F: Field,
    GG: GroupGadget<G, F>,

[src]

pub fn to_bytes<CS>(&self, cs: CS) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

pub fn to_bytes_strict<CS>(
    &self, 
    cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

impl<P> ToBytesGadget<<P as Bls12Parameters>::Fp> for G1PreparedGadget<P> where
    P: Bls12Parameters,

[src]

pub fn to_bytes<CS>(&self, cs: CS) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<<P as Bls12Parameters>::Fp>,

[src]

pub fn to_bytes_strict<CS>(
    &self, 
    cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<<P as Bls12Parameters>::Fp>,

[src]

impl<P> ToBytesGadget<<P as Bls12Parameters>::Fp> for G2PreparedGadget<P> where
    P: Bls12Parameters,

[src]

pub fn to_bytes<CS>(&self, cs: CS) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<<P as Bls12Parameters>::Fp>,

[src]

pub fn to_bytes_strict<CS>(
    &self, 
    cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<<P as Bls12Parameters>::Fp>,

[src]

impl<P, F> ToBytesGadget<F> for Elligator2FieldGadget<P, F> where
    P: MontgomeryModelParameters,
    F: PrimeField,

[src]

pub fn to_bytes<CS>(&self, cs: CS) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

pub fn to_bytes_strict<CS>(
    &self, 
    cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

impl<P, F> ToBytesGadget<F> for Fp2Gadget<P, F> where
    P: Fp2Parameters<Fp = F>,
    F: PrimeField,

[src]

pub fn to_bytes<CS>(&self, cs: CS) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

pub fn to_bytes_strict<CS>(
    &self, 
    cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

impl<P, F> ToBytesGadget<F> for Fp6Gadget<P, F> where
    P: Fp6Parameters,
    F: PrimeField,
    <P as Fp6Parameters>::Fp2Params: Fp2Parameters,
    <<P as Fp6Parameters>::Fp2Params as Fp2Parameters>::Fp == F,

[src]

pub fn to_bytes<CS>(&self, cs: CS) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

pub fn to_bytes_strict<CS>(
    &self, 
    cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

impl<P, F> ToBytesGadget<F> for Fp12Gadget<P, F> where
    P: Fp12Parameters,
    F: PrimeField,
    <<P as Fp12Parameters>::Fp6Params as Fp6Parameters>::Fp2Params: Fp2Parameters,
    <<<P as Fp12Parameters>::Fp6Params as Fp6Parameters>::Fp2Params as Fp2Parameters>::Fp == F,

[src]

pub fn to_bytes<CS>(&self, cs: CS) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

pub fn to_bytes_strict<CS>(
    &self, 
    cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

impl<P, F, FG> ToBytesGadget<F> for snarkvm_wasm::curves::templates::bls12::AffineGadget<P, F, FG> where
    P: SWModelParameters,
    F: Field,
    FG: FieldGadget<<P as ModelParameters>::BaseField, F>,

[src]

pub fn to_bytes<CS>(&self, cs: CS) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

pub fn to_bytes_strict<CS>(
    &self, 
    cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

impl<P, F, FG> ToBytesGadget<F> for snarkvm_wasm::curves::templates::twisted_edwards::AffineGadget<P, F, FG> where
    P: TEModelParameters,
    F: Field,
    FG: FieldGadget<<P as ModelParameters>::BaseField, F>,

[src]

pub fn to_bytes<CS>(&self, cs: CS) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

pub fn to_bytes_strict<CS>(
    &self, 
    cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

impl<Pairing, F, P> ToBytesGadget<F> for GM17VerifyingKeyGadget<Pairing, F, P> where
    P: PairingGadget<Pairing, F>,
    F: Field,
    Pairing: PairingEngine,

[src]

pub fn to_bytes<CS>(&self, cs: CS) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

pub fn to_bytes_strict<CS>(
    &self, 
    cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<F>,

[src]

impl<PairingE, ConstraintF, P> ToBytesGadget<ConstraintF> for VerifyingKeyGadget<PairingE, ConstraintF, P> where
    P: PairingGadget<PairingE, ConstraintF>,
    PairingE: PairingEngine,
    ConstraintF: Field,

[src]

pub fn to_bytes<CS>(&self, cs: CS) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<ConstraintF>,

[src]

pub fn to_bytes_strict<CS>(
    &self, 
    cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<ConstraintF>,

[src]

impl<TargetCurve, BaseCurve, PG> ToBytesGadget<<BaseCurve as PairingEngine>::Fr> for CommitmentVar<TargetCurve, BaseCurve, PG> where
    TargetCurve: PairingEngine,
    BaseCurve: PairingEngine,
    PG: PairingGadget<TargetCurve, <BaseCurve as PairingEngine>::Fr>,
    <TargetCurve as PairingEngine>::G1Affine: ToConstraintField<<BaseCurve as PairingEngine>::Fr>,
    <TargetCurve as PairingEngine>::G2Affine: ToConstraintField<<BaseCurve as PairingEngine>::Fr>,

[src]

pub fn to_bytes<CS>(&self, cs: CS) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<<BaseCurve as PairingEngine>::Fr>,

[src]

pub fn to_bytes_strict<CS>(
    &self, 
    cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<<BaseCurve as PairingEngine>::Fr>,

[src]

impl<TargetCurve, BaseCurve, PG> ToBytesGadget<<BaseCurve as PairingEngine>::Fr> for VerifierKeyVar<TargetCurve, BaseCurve, PG> where
    TargetCurve: PairingEngine,
    BaseCurve: PairingEngine,
    PG: PairingGadget<TargetCurve, <BaseCurve as PairingEngine>::Fr>,

[src]

pub fn to_bytes<CS>(&self, cs: CS) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<<BaseCurve as PairingEngine>::Fr>,

[src]

pub fn to_bytes_strict<CS>(
    &self, 
    cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<<BaseCurve as PairingEngine>::Fr>,

[src]

impl<TargetField, BaseField> ToBytesGadget<BaseField> for NonNativeFieldVar<TargetField, BaseField> where
    BaseField: PrimeField,
    TargetField: PrimeField,

[src]

pub fn to_bytes<CS>(&self, cs: CS) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<BaseField>,

[src]

Outputs the unique byte decomposition of self in little-endian form.

pub fn to_bytes_strict<CS>(
    &self, 
    cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<BaseField>,

[src]

impl<TargetField, BaseField> ToBytesGadget<BaseField> for AllocatedNonNativeFieldVar<TargetField, BaseField> where
    BaseField: PrimeField,
    TargetField: PrimeField,

[src]

pub fn to_bytes<CS>(&self, cs: CS) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<BaseField>,

[src]

pub fn to_bytes_strict<CS>(
    &self, 
    cs: CS
) -> Result<Vec<UInt8, Global>, SynthesisError> where
    CS: ConstraintSystem<BaseField>,

[src]