Skip to main content

keccak_f1600

binius_circuits::keccak::permutation

Function keccak_f1600 

Source 
pub fn keccak_f1600(b: &CircuitBuilder, state: &mut [Wire; 25])
Expand description

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

§Arguments

  • b - The circuit builder to use.
  • state - The 25-word state to permute.

§Chips

This is a ChipGadget. A circuit that calls register_chip with KeccakF1600 before building turns every permutation under it into a chip call, including the ones keccak256_varlen and fixed_length::keccak256 reach.