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

RC

U64_LIMBS

Functions

generate_trace_rows

input_limb

output_limb