Module witness

Source
Expand description

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: