Port existing SHA-256 proofs to new invariant infrastructure (#936)
Port existing SHA-256 proofs to new invariant infrastructure (#936)


project-oak/silveroak,project-oak/silveroak,project-oak/silveroak