Module which defines SHA hashes for byte vectors.
The functions in this module are natively declared both in the Move runtime as in the Move prover's prelude.
Module which defines SHA hashes for byte vectors.
The functions in this module are natively declared both in the Move runtime as in the Move prover's prelude.