Struct Blake2s 

pub struct Blake2s {
    pub length: usize,
    pub message: Vec<Wire>,
    pub digest: [Wire; 8],
}

BLAKE2s hash function circuit for a fixed-length message.

This struct is a complete circuit that verifies a message of a fixed, compile-time-known length produces a specific 256-bit digest.

The message bytes are packed little-endian into 64-bit words.

Fields

length: usize

Message size in bytes this circuit supports.

message: Vec<Wire>

Witness wires for the input message, packed little-endian into 64-bit words.

digest: [Wire; 8]

Witness wires for the expected 256-bit digest, as 8 32-bit words.

Implementations

impl Blake2s

pub fn new_witness(builder: &mut CircuitBuilder, length: usize) -> Self

Creates a new BLAKE2s circuit with witness variables.

The message length is fixed at circuit construction time, so it shapes the circuit rather than being a witness value itself.

Arguments

• builder - Circuit builder to add constraints to.
• length - The exact message size, in bytes, this circuit will verify.

Returns

A struct holding the witness wires for the message and the expected digest.

pub fn populate_message(&self, witness: &mut WitnessFiller<'_>, message: &[u8])

Populates the message witness wires.

Arguments

• witness - Witness filler to populate.
• message - The message bytes to hash.

Panics

• If message.len() does not equal the circuit’s fixed message length.

pub fn populate_digest( &self, witness: &mut WitnessFiller<'_>, digest: &[u8; 32], )

Populates the expected-digest witness wires.

Arguments

• witness - Witness filler to populate.
• digest - The expected 32-byte BLAKE2s digest.