Expand description

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.

Structs

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