Module kimchi::circuits::polynomials::keccak::witness

Keccak witness computation

Structs

• Chi
  Values involved in Chi permutation step
• Iota
  Values involved in Iota permutation step
• PiRho
  Values involved in PiRho permutation step
• Rotation
• Theta
  Values involved in Theta permutation step

Functions

• extend_keccak_witness
  Creates a witness for the Keccak hash function Input: