Struct miden_processor::crypto::RpoRandomCoin

pub struct RpoRandomCoin { /* private fields */ }

A simplified version of the SPONGE_PRG reseedable pseudo-random number generator algorithm described in https://eprint.iacr.org/2011/499.pdf. The simplification is related to to the following facts:

1. A call to the reseed method implies one and only one call to the permutation function. This is possible because in our case we never reseed with more than 4 field elements.
2. As a result of the previous point, we dont make use of an input buffer to accumulate seed material. It is important to note that the current implementation of RPORandomCoin assumes that draw_integers() is called immediately after reseed_with_int().

Trait Implementations

impl RandomCoin for RpoRandomCoin

type BaseField = BaseElement

Base field for random elements which can be generated by this random coin.

type Hasher = Rpo256

Hash function which is used by the random coin to generate random field elements.

fn new(seed: &[<RpoRandomCoin as RandomCoin>::BaseField]) -> RpoRandomCoin

Returns a new random coin instantiated with the provided seed.

fn reseed(&mut self, data: RpoDigest)

Reseeds the coin with the specified data by setting the new seed to hash(seed || data).

fn reseed_with_int(&mut self, value: u64)

Reseeds the coin with the specified value by setting the new seed to hash(seed || value).

fn leading_zeros(&self) -> u32

Returns the number of leading zeros in the seed if it is interpreted as an integer in big-endian byte order.

fn check_leading_zeros(&self, value: u64) -> u32

Computes hash(seed || value) and returns the number of leading zeros in the resulting value if it is interpreted as an integer in big-endian byte order.

fn draw<E>(&mut self) -> Result<E, RandomCoinError>where E: FieldElement<BaseField = BaseElement>,

Returns the next pseudo-random field element.

fn draw_integers( &mut self, num_values: usize, domain_size: usize ) -> Result<Vec<usize, Global>, RandomCoinError>

Returns a vector of unique integers selected from the range [0, domain_size).