Module kimchi::circuits::polynomials::keccak

Keccak hash module

Modules

• circuitgates
  Keccak gadget
• constants
• gadget
  Keccak gadget
• witness
  Keccak witness computation

Structs

• Keccak
  Naive Keccak structure

Constants

• OFF
  Creates the 5x5 table of rotation bits for Keccak modulo 64 | x \ y | 0 | 1 | 2 | 3 | 4 | | —– | – | – | – | – | – | | 0 | 0 | 36 | 3 | 41 | 18 | | 1 | 1 | 44 | 10 | 45 | 2 | | 2 | 62 | 6 | 43 | 15 | 61 | | 3 | 28 | 55 | 25 | 21 | 56 | | 4 | 27 | 20 | 39 | 8 | 14 | Note that the order of the indexing is [y][x] to match the encoding of the witness algorithm
• RC
  Contains the 24 round constants for Keccak