Binius hashing circuits - Prove and Verify - SNARK demo
generate random input
sha256 prove verify
keccak prove verify
hash - 0 bytes
transcript - 0 bytes
advice - 0 bytes