Trait HasDefaultTranscript

pub trait HasDefaultTranscript: IsField {
    // Required method
    fn get_random_field_element_from_rng(
        rng: &mut impl Rng,
    ) -> FieldElement<Self>;
}

This trait is necessary for sampling a random field element with a uniform distribution.

Required Methods

fn get_random_field_element_from_rng(rng: &mut impl Rng) -> FieldElement<Self>

This function should truncates the sampled bits to the quantity required to represent the order of the base field and returns a field element.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl HasDefaultTranscript for Degree4BabyBearExtensionField

impl<M, const NUM_LIMBS: usize> HasDefaultTranscript for MontgomeryBackendPrimeField<M, NUM_LIMBS>

where M: IsModulus<UnsignedInteger<NUM_LIMBS>> + Clone + Debug,

impl<const MODULUS: u64> HasDefaultTranscript for U64PrimeField<MODULUS>