Module keccak 

An interpreter for an optimised version of Keccak

Re-exports

pub use column::Absorbs;

pub use column::Sponges;

pub use column::Steps;

Modules

column

This module defines the custom columns used in the Keccak witness, which are aliases for the actual Keccak witness columns also defined here.

constraints

This module contains the constraints for one Keccak step.

environment

This module contains the definition and implementation of the Keccak environment including the common functions between the witness and the constraints environments for arithmetic, boolean, and column operations.

helpers

interpreter

This module defines the Keccak interpreter in charge of triggering the Keccak workflow

witness

This file contains the witness for the Keccak hash function for the zkVM project. It assigns the witness values to the corresponding columns of KeccakWitness in the environment.

Enums

Constraint

All the names for constraints involved in the Keccak circuit

Error

Errors that can occur during the check of the witness

Constants

HASH_BITLENGTH 🔒

Desired output length of the hash in bits

HASH_BYTELENGTH 🔒

Desired output length of the hash in bytes

WORDS_IN_HASH 🔒

Number of words that fit in the hash digest

WORD_LENGTH_IN_BITS 🔒

Length of each word in the Keccak state, in bits

ZKVM_KECCAK_COLS_CURR 🔒

Number of columns required in the curr part of the witness

ZKVM_KECCAK_COLS_NEXT 🔒

Number of columns required in the next part of the witness, corresponding to the output length

Functions

grid_index 🔒

pad_blocks

This function returns a vector of field elements that represent the 5 padding suffixes. The first one uses at most 12 bytes, and the rest use at most 31 bytes.

standardize

Standardizes a Keccak step to a common opcode