We generate the bit-sliced keccak permutation with a python script. Currently, there is nothing that prevents a drift between what the script generates and what is committed to the repo.
We could emit the generator output into its own module and then diff it in CI to make sure it stays consistent.
We generate the bit-sliced keccak permutation with a python script. Currently, there is nothing that prevents a drift between what the script generates and what is committed to the repo.
We could emit the generator output into its own module and then diff it in CI to make sure it stays consistent.