Function kimchi::circuits::polynomials::keccak::witness::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