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 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 don’t make use of an input buffer to accumulate seed material.

Implementations

impl RpoRandomCoin

pub fn new(seed: [BaseElement; 4]) -> RpoRandomCoin

Returns a new RpoRandomCoin initialize with the specified seed.

pub fn from_parts(state: [BaseElement; 12], current: usize) -> RpoRandomCoin

Returns an RpoRandomCoin instantiated from the provided components.

Panics

Panics if current is smaller than 4 or greater than or equal to 12.

pub fn into_parts(self) -> ([BaseElement; 12], usize)

Returns components of this random coin.

Trait Implementations

impl Clone for RpoRandomCoin

fn clone(&self) -> RpoRandomCoin

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for RpoRandomCoin

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Deserializable for RpoRandomCoin

fn read_from<R>(source: &mut R) -> Result<RpoRandomCoin, DeserializationError>

where R: ByteReader,

Reads a sequence of bytes from the provided source, attempts to deserialize these bytes into Self, and returns the result.

fn read_from_bytes(bytes: &[u8]) -> Result<Self, DeserializationError>

Attempts to deserialize the provided bytes into Self and returns the result.

impl FeltRng for RpoRandomCoin

fn draw_element(&mut self) -> BaseElement

Draw, uniformly at random, a base field element.

fn draw_word(&mut self) -> [BaseElement; 4]

Draw, uniformly at random, a Word.

impl PartialEq for RpoRandomCoin

fn eq(&self, other: &RpoRandomCoin) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

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 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, nonce: u64 ) -> Result<Vec<usize>, RandomCoinError>

Returns a vector of integers selected from the range [0, domain_size) after it reseeds the coin with a nonce.

impl Serializable for RpoRandomCoin

fn write_into<W>(&self, target: &mut W)

where W: ByteWriter,

Serializes self into bytes and writes these bytes into the target.

fn to_bytes(&self) -> Vec<u8>

Serializes self into a vector of bytes.

fn get_size_hint(&self) -> usize

Returns an estimate of how many bytes are needed to represent self.

impl Copy for RpoRandomCoin

impl Eq for RpoRandomCoin

impl StructuralPartialEq for RpoRandomCoin