Struct Blake2sChannelGeneric 

pub struct Blake2sChannelGeneric<const IS_M31_OUTPUT: bool> { /* private fields */ }

A channel that can be used to draw random elements from a Blake2sHash digest.

Implementations

impl<const IS_M31_OUTPUT: bool> Blake2sChannelGeneric<IS_M31_OUTPUT>

pub const POW_PREFIX: u32 = 0x12345678

pub const fn digest(&self) -> Blake2sHash

pub const fn update_digest(&mut self, new_digest: Blake2sHash)

Trait Implementations

impl<const IS_M31_OUTPUT: bool> Channel for Blake2sChannelGeneric<IS_M31_OUTPUT>

fn verify_pow_nonce(&self, n_bits: u32, nonce: u64) -> bool

Verifies that H(H(POW_PREFIX, [0_u8; 12], digest, n_bits), nonce) has at least n_bits many leading zeros.

const BYTES_PER_HASH: usize = BLAKE_BYTES_PER_HASH

fn mix_felts(&mut self, felts: &[SecureField])

fn mix_u32s(&mut self, data: &[u32])

fn mix_u64(&mut self, value: u64)

fn draw_secure_felt(&mut self) -> SecureField

fn draw_secure_felts(&mut self, n_felts: usize) -> Vec<SecureField>

Generates a uniform random vector of SecureField elements.

fn draw_u32s(&mut self) -> Vec<u32>

Returns a vector of random u32s.

impl<const IS_M31_OUTPUT: bool> Clone for Blake2sChannelGeneric<IS_M31_OUTPUT>

fn clone(&self) -> Blake2sChannelGeneric<IS_M31_OUTPUT>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<const IS_M31_OUTPUT: bool> Debug for Blake2sChannelGeneric<IS_M31_OUTPUT>

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

Formats the value using the given formatter.

impl<const IS_M31_OUTPUT: bool> Default for Blake2sChannelGeneric<IS_M31_OUTPUT>

fn default() -> Blake2sChannelGeneric<IS_M31_OUTPUT>

Returns the “default value” for a type.