ContextQMD
Back to Aptos Core

Module `0x1::hash`

third_party/move/move-stdlib/docs/hash.md

latest1.7 KB
Original Source

<a id="0x1_hash"></a>

Module 0x1::hash

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.

<pre><code></code></pre>

<a id="0x1_hash_sha2_256"></a>

Function sha2_256

<pre><code><b>public</b> <b>fun</b> <a href="hash.md#0x1_hash_sha2_256">sha2_256</a>(data: <a href="vector.md#0x1_vector">vector</a>&lt;u8&gt;): <a href="vector.md#0x1_vector">vector</a>&lt;u8&gt; </code></pre> <details> <summary>Implementation</summary> <pre><code><b>native</b> <b>public</b> <b>fun</b> <a href="hash.md#0x1_hash_sha2_256">sha2_256</a>(data: <a href="vector.md#0x1_vector">vector</a>&lt;u8&gt;): <a href="vector.md#0x1_vector">vector</a>&lt;u8&gt;; </code></pre> </details>

<a id="0x1_hash_sha3_256"></a>

Function sha3_256

<pre><code><b>public</b> <b>fun</b> <a href="hash.md#0x1_hash_sha3_256">sha3_256</a>(data: <a href="vector.md#0x1_vector">vector</a>&lt;u8&gt;): <a href="vector.md#0x1_vector">vector</a>&lt;u8&gt; </code></pre> <details> <summary>Implementation</summary> <pre><code><b>native</b> <b>public</b> <b>fun</b> <a href="hash.md#0x1_hash_sha3_256">sha3_256</a>(data: <a href="vector.md#0x1_vector">vector</a>&lt;u8&gt;): <a href="vector.md#0x1_vector">vector</a>&lt;u8&gt;; </code></pre> </details> <details> <summary>Specification</summary> <pre><code><b>aborts_if</b> [abstract] <b>false</b>; <b>ensures</b> [abstract] len(result) == 32; </code></pre> </details>