Traits

  • This trait contains helper functions for arithmetic operations used in the Keccak circuit
  • This trait contains helper functions for boolean operations used in the Keccak circuit
  • This trait contains helper functions for the lookups used in the Keccak circuit using the zkVM lookup tables