Trait ark_r1cs_std::bits::ToBytesGadget

pub trait ToBytesGadget<F: Field> {
    fn to_bytes(&self) -> Result<Vec<UInt8<F>>, SynthesisError>;

    fn to_non_unique_bytes(&self) -> Result<Vec<UInt8<F>>, SynthesisError> { ... }
}

Specifies constraints for conversion to a little-endian byte representation of self.

Required Methods

fn to_bytes(&self) -> Result<Vec<UInt8<F>>, SynthesisError>

Outputs a canonical, little-endian, byte decomposition of self.

This is the correct default for 99% of use cases.

Provided Methods

fn to_non_unique_bytes(&self) -> Result<Vec<UInt8<F>>, SynthesisError>

Outputs a possibly non-unique byte decomposition of self.

If you’re not absolutely certain that your usecase can get away with a non-canonical representation, please use self.to_bytes(cs) instead.

Implementations on Foreign Types

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

fn to_bytes(&self) -> Result<Vec<UInt8<F>>, SynthesisError>

impl<F: Field> ToBytesGadget<F> for Vec<UInt8<F>>

fn to_bytes(&self) -> Result<Vec<UInt8<F>>, SynthesisError>

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

fn to_bytes(&self) -> Result<Vec<UInt8<F>>, SynthesisError>

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

fn to_bytes(&self) -> Result<Vec<UInt8<F>>, SynthesisError>

Implementors

impl<BF, P> ToBytesGadget<<P as CubicExtConfig>::BasePrimeField> for CubicExtVar<BF, P>where
    BF: FieldVar<P::BaseField, P::BasePrimeField>,
    for<'a> &'a BF: FieldOpsBounds<'a, P::BaseField, BF>,
    P: CubicExtVarConfig<BF>,

impl<BF, P> ToBytesGadget<<P as QuadExtConfig>::BasePrimeField> for QuadExtVar<BF, P>where
    BF: FieldVar<P::BaseField, P::BasePrimeField>,
    for<'b> &'b BF: FieldOpsBounds<'b, P::BaseField, BF>,
    P: QuadExtVarConfig<BF>,

impl<ConstraintF: Field> ToBytesGadget<ConstraintF> for UInt16<ConstraintF>

impl<ConstraintF: Field> ToBytesGadget<ConstraintF> for UInt32<ConstraintF>

impl<ConstraintF: Field> ToBytesGadget<ConstraintF> for UInt64<ConstraintF>

impl<ConstraintF: Field> ToBytesGadget<ConstraintF> for UInt128<ConstraintF>

impl<F: PrimeField> ToBytesGadget<F> for FpVar<F>

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

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

impl<P, F> ToBytesGadget<<<P as CurveConfig>::BaseField as Field>::BasePrimeField> for ProjectiveVar<P, F>where
    P: SWModelParameters,
    F: FieldVar<P::BaseField, <P::BaseField as Field>::BasePrimeField>,
    for<'a> &'a F: FieldOpsBounds<'a, P::BaseField, F>,

impl<P, F> ToBytesGadget<<<P as CurveConfig>::BaseField as Field>::BasePrimeField> for AffineVar<P, F>where
    P: TEModelParameters,
    F: FieldVar<P::BaseField, <P::BaseField as Field>::BasePrimeField>,
    for<'b> &'b F: FieldOpsBounds<'b, P::BaseField, F>,

impl<P: Bls12Config> ToBytesGadget<<P as Bls12Config>::Fp> for ark_r1cs_std::groups::curves::short_weierstrass::bls12::G1PreparedVar<P>

impl<P: Bls12Config> ToBytesGadget<<P as Bls12Config>::Fp> for ark_r1cs_std::groups::curves::short_weierstrass::bls12::G2PreparedVar<P>

impl<P: MNT4Config> ToBytesGadget<<P as MNT4Config>::Fp> for ark_r1cs_std::groups::curves::short_weierstrass::mnt4::G1PreparedVar<P>

impl<P: MNT4Config> ToBytesGadget<<P as MNT4Config>::Fp> for ark_r1cs_std::groups::curves::short_weierstrass::mnt4::G2PreparedVar<P>

impl<P: MNT6Config> ToBytesGadget<<P as MNT6Config>::Fp> for ark_r1cs_std::groups::curves::short_weierstrass::mnt6::G1PreparedVar<P>

impl<P: MNT6Config> ToBytesGadget<<P as MNT6Config>::Fp> for ark_r1cs_std::groups::curves::short_weierstrass::mnt6::G2PreparedVar<P>

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

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