pub fn ref_keccak_f1600(state: &mut [u64; 25])
Pure-Rust Keccak-f[1600] permutation of a 25-lane state, matching the in-circuit permutation exactly.
Used for prover-side witness generation and as the test reference.