Struct KeccakPreimage 

pub struct KeccakPreimage(/* private fields */);

Keccak256 preimage structure representing the raw input data to be hashed.

This structure encapsulates the raw bytes that will be passed to the Keccak256 hash function, providing utilities for:

• Converting between bytes and field element representations
• Computing the Keccak256 digest
• Generating precompile commitments for verification
• Handling the data packing format used by the VM

Implementations

impl KeccakPreimage

pub fn new(bytes: Vec<u8>) -> Self

Creates a new KeccakPreimage from a vector of bytes.

pub fn into_inner(self) -> Vec<u8>

Consumes the preimage and returns the inner byte vector.

pub fn as_felts(&self) -> Vec<Felt>

Converts the preimage bytes to field elements using u32 packing.

Each field element contains a u32 value representing 4 bytes in little-endian format. The last chunk is padded with zeros if the byte length is not a multiple of 4.

Produces the same u32‑packed format expected by RPO hashing in MASM wrappers.

pub fn input_commitment(&self) -> Word

Computes the RPO hash of the input data in field element format.

This creates a cryptographic commitment to the input data that can be used for verification purposes. The input is first converted to field elements using the same packing format as the VM.

pub fn digest(&self) -> KeccakFeltDigest

Computes the Keccak256 hash of the preimage bytes.

Returns the digest formatted as 8 field elements, each containing a u32 value in little-endian byte order. This matches the format expected by the VM and can be directly used on the operand stack.

pub fn precompile_commitment(&self) -> PrecompileCommitment

Computes the precompile commitment: RPO(RPO(input) || RPO(keccak_hash)) with tag [event_id, len_bytes, 0, 0].

Generated by the PrecompileVerifier at verification time and validated against commitments tracked during execution by the EventHandler. The double RPO hash binds input and output together, preventing tampering.

Trait Implementations

impl AsRef<[u8]> for KeccakPreimage

fn as_ref(&self) -> &[u8]

Converts this type into a shared reference of the (usually inferred) input type.

impl Clone for KeccakPreimage

fn clone(&self) -> KeccakPreimage

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for KeccakPreimage

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

Formats the value using the given formatter.

impl From<KeccakPreimage> for PrecompileRequest

fn from(preimage: KeccakPreimage) -> Self

Converts to this type from the input type.

impl From<Vec<u8>> for KeccakPreimage

fn from(bytes: Vec<u8>) -> Self

Converts to this type from the input type.

impl PartialEq for KeccakPreimage

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Eq for KeccakPreimage

impl StructuralPartialEq for KeccakPreimage