Constants§
- CAPACITY_
IN_ BYTES - The number of bytes used as a capacity in the sponge.
- CHI_
SHIFTS_ B_ LEN - CHI_
SHIFTS_ B_ OFF - CHI_
SHIFTS_ SUM_ LEN - CHI_
SHIFTS_ SUM_ OFF - DIM
- Constants for each witness’ index offsets and lengths The dimension of the Keccak state
- IOTA_
STATE_ G_ LEN - IOTA_
STATE_ G_ OFF - KECCAK_
COLS - The number of columns the Keccak circuit uses.
- PIRHO_
DENSE_ E_ LEN - PIRHO_
DENSE_ E_ OFF - PIRHO_
DENSE_ ROT_ E_ LEN - PIRHO_
DENSE_ ROT_ E_ OFF - PIRHO_
EXPAND_ ROT_ E_ LEN - PIRHO_
EXPAND_ ROT_ E_ OFF - PIRHO_
QUOTIENT_ E_ LEN - PIRHO_
QUOTIENT_ E_ OFF - PIRHO_
REMAINDER_ E_ LEN - PIRHO_
REMAINDER_ E_ OFF - PIRHO_
SHIFTS_ E_ LEN - PIRHO_
SHIFTS_ E_ OFF - QUARTERS
- An element of the Keccak state is 64 bits. However, we split the state into quarters of 16 bits to represent XOR and AND using the finite field addition. See the Keccak RFC for more information.
- RATE_
IN_ BYTES - The number of bytes that can be processed by the Keccak permutation. It is the rate of the sponge configuration.
- ROUNDS
- The number of rounds in the Keccak permutation
- SHIFTS
- SHIFTS_
LEN - SPONGE_
BYTES_ LEN - SPONGE_
BYTES_ OFF - SPONGE_
COLS - The number of columns the Sponge circuit uses.
- SPONGE_
NEW_ BLOCK_ LEN - SPONGE_
NEW_ BLOCK_ OFF - SPONGE_
NEW_ STATE_ LEN - SPONGE_
NEW_ STATE_ OFF - SPONGE_
OLD_ STATE_ LEN - SPONGE_
OLD_ STATE_ OFF - SPONGE_
SHIFTS_ LEN - SPONGE_
SHIFTS_ OFF - SPONGE_
XOR_ STATE_ LEN - SPONGE_
XOR_ STATE_ OFF - SPONGE_
ZEROS_ LEN - SPONGE_
ZEROS_ OFF - STATE_
LEN - The number of field elements used to represent the whole Keccak state.
- THETA_
DENSE_ C_ LEN - THETA_
DENSE_ C_ OFF - THETA_
DENSE_ ROT_ C_ LEN - THETA_
DENSE_ ROT_ C_ OFF - THETA_
EXPAND_ ROT_ C_ LEN - THETA_
EXPAND_ ROT_ C_ OFF - THETA_
QUOTIENT_ C_ LEN - THETA_
QUOTIENT_ C_ OFF - THETA_
REMAINDER_ C_ LEN - THETA_
REMAINDER_ C_ OFF - THETA_
SHIFTS_ C_ LEN - THETA_
SHIFTS_ C_ OFF - THETA_
STATE_ A_ LEN - THETA_
STATE_ A_ OFF