gnark_std_sha2

This example runs the SHA2 circuit from the std library of gnark.

But it's faulty since Commit returns a compile-time random number.