
## miden::core::crypto::hashes::sha512
| Procedure | Description |
| ----------- | ------------- |
| hash_bytes | Computes SHA512 hash of data stored in memory.<br /><br />Input:  [ptr, len_bytes, ...]<br />Output: [DIGEST_U32[16], ...]<br /> |
