Crate p3_keccak_air

And AIR for the Keccak-f permutation. Assumes the field size is between 2^16 and 2^32.

Structs

• KeccakAir
  Assumes the field size is at least 16 bits.
• KeccakCols
  Note: The ordering of each array is based on the input mapping. As the spec says,

Constants

• NUM_KECCAK_COLS
• NUM_ROUNDS
• RC
• U64_LIMBS

Functions

• generate_trace_rows
• input_limb
• output_limb