Trait snarkvm_marlin::fiat_shamir::traits::FiatShamirRng

pub trait FiatShamirRng<TargetField: PrimeField, BaseField: PrimeField>: RngCore {
    fn new() -> Self;
    fn absorb_nonnative_field_elements(
        &mut self, 
        elements: &[TargetField], 
        ty: OptimizationType
    );
    fn absorb_native_field_elements<T: ToConstraintField<BaseField>>(
        &mut self, 
        elements: &[T]
    );
    fn absorb_bytes(&mut self, elements: &[u8]);
    fn squeeze_nonnative_field_elements(
        &mut self, 
        num: usize, 
        ty: OptimizationType
    ) -> Result<Vec<TargetField>, FiatShamirError>;
    fn squeeze_native_field_elements(
        &mut self, 
        num: usize
    ) -> Result<Vec<BaseField>, FiatShamirError>;
    fn squeeze_128_bits_nonnative_field_elements(
        &mut self, 
        num: usize
    ) -> Result<Vec<TargetField>, FiatShamirError>;
}

Trait for a Fiat-Shamir RNG.

Required methods

fn new() -> Self

Initializes an RNG.

fn absorb_nonnative_field_elements(
    &mut self,
    elements: &[TargetField],
    ty: OptimizationType
)

Takes in field elements.

fn absorb_native_field_elements<T: ToConstraintField<BaseField>>(
    &mut self,
    elements: &[T]
)

Takes in field elements.

fn absorb_bytes(&mut self, elements: &[u8])

Takes in bytes.

fn squeeze_nonnative_field_elements(
    &mut self,
    num: usize,
    ty: OptimizationType
) -> Result<Vec<TargetField>, FiatShamirError>

Takes out field elements.

fn squeeze_native_field_elements(
    &mut self,
    num: usize
) -> Result<Vec<BaseField>, FiatShamirError>

Takes in field elements.

fn squeeze_128_bits_nonnative_field_elements(
    &mut self,
    num: usize
) -> Result<Vec<TargetField>, FiatShamirError>

Takes out field elements of 128 bits.

Implementors

impl<TargetField: PrimeField, BaseField: PrimeField, D: Digest> FiatShamirRng<TargetField, BaseField> for FiatShamirChaChaRng<TargetField, BaseField, D>

fn new() -> Self

fn absorb_nonnative_field_elements(
    &mut self,
    elems: &[TargetField],
    _: OptimizationType
)

fn absorb_native_field_elements<T: ToConstraintField<BaseField>>(
    &mut self,
    src: &[T]
)

fn absorb_bytes(&mut self, elements: &[u8])

fn squeeze_nonnative_field_elements(
    &mut self,
    num: usize,
    _: OptimizationType
) -> Result<Vec<TargetField>, FiatShamirError>

fn squeeze_native_field_elements(
    &mut self,
    num: usize
) -> Result<Vec<BaseField>, FiatShamirError>

fn squeeze_128_bits_nonnative_field_elements(
    &mut self,
    num: usize
) -> Result<Vec<TargetField>, FiatShamirError>

impl<TargetField: PrimeField, BaseField: PrimeField, S: AlgebraicSponge<BaseField>> FiatShamirRng<TargetField, BaseField> for FiatShamirAlgebraicSpongeRng<TargetField, BaseField, S>

fn new() -> Self

fn absorb_nonnative_field_elements(
    &mut self,
    elems: &[TargetField],
    ty: OptimizationType
)

fn absorb_native_field_elements<T: ToConstraintField<BaseField>>(
    &mut self,
    src: &[T]
)

fn absorb_bytes(&mut self, elems: &[u8])

fn squeeze_nonnative_field_elements(
    &mut self,
    num: usize,
    _: OptimizationType
) -> Result<Vec<TargetField>, FiatShamirError>

fn squeeze_native_field_elements(
    &mut self,
    num: usize
) -> Result<Vec<BaseField>, FiatShamirError>

fn squeeze_128_bits_nonnative_field_elements(
    &mut self,
    num: usize
) -> Result<Vec<TargetField>, FiatShamirError>