Module o1vm::interpreters::keccak::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.

The actual witness generation code makes use of the code which is already present in Kimchi, to avoid code duplication and reduce error-proneness.

For a pseudo code implementation of Keccap-f, see https://keccak.team/keccak_specs_summary.html

Structs

• Env
  This struct contains all that needs to be kept track of during the execution of the Keccak step interpreter