Module permutation 

Structs

KeccakF1600

keccak_f1600 as a gadget, so that a circuit can make it a chip.

Constants

R

RC

Functions

idx

keccak_f1600

Perform the Keccak f[1600] permutation in place on a 25-lane state.

keccak_permutation_round

ref_keccak_f1600

Pure-Rust Keccak-f[1600] permutation of a 25-lane state, matching the in-circuit permutation exactly.