Module o1vm::keccak

Implementation of Keccak used by the zkVM.

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.
• folding
• helpers
• interpreter
  This module defines the Keccak interpreter in charge of triggering the Keccak workflow
• trace
• 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

Functions

• 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