Crate p3_keccak_air

An 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

Total number of Keccak-f rounds.

NUM_ROUNDS_MIN_1

Number of Keccak-f rounds minus one.

RC

U64_LIMBS

Number of limbs needed to represent a 64-bit word.

Functions

generate_trace_rows

input_limb

output_limb