extend_keccak_witness

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

Function extend_keccak_witness 

Source 
pub fn extend_keccak_witness<F: PrimeField>(
    witness: &mut [Vec<F>; 1965],
    message: BigUint,
)
Expand description

Creates a witness for the Keccak hash function Input:

  • message: the message to be hashed

Note: Requires at least one more row after the keccak gadget so that constraints can access the next row in the squeeze