pub fn hash_public_inputs(public_inputs: &[u8]) -> [u8; 32] {
    hash_public_inputs_with_fn(public_inputs, sha256_hash)
}
Hashes the public inputs in the same format as the Plonk and Groth16 verifiers.
Uses `Sha256`.
crates/verifier/src/utils.rs