Skip to main content

Module witness

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

Constantsยง

SPARSE_RC ๐Ÿ”’

Functionsยง

extend_keccak_witness
Creates a witness for the Keccak hash function Input:
field ๐Ÿ”’
layout_round ๐Ÿ”’
layout_sponge ๐Ÿ”’

Type Aliasesยง

Layout ๐Ÿ”’