Miden assembly provides a set of instructions for performing common cryptographic operations. These instructions are listed in the table below.
Hashing and Merkle trees
Rescue Prime Optimized is the native hash function of Miden VM. The parameters of the hash function were chosen to provide 128-bit security level against preimage and collision attacks. The function operates over a state of 12 field elements, and requires 7 rounds for a single permutation. However, due to its special status within the VM, computing Rescue Prime Optimized hashes can be done very efficiently. For example, applying a permutation of the hash function can be done in a single VM cycle.
- (20 cycles)
|[A, ...]||[B, ...]|| |
where, computes a 1-to-1 Rescue Prime Optimized hash.
- (1 cycle)
|[C, B, A, ...]||[F, E, D, ...]|| |
where, computes a Rescue Prime Optimized permutation.
- (16 cycles)
|[B, A, ...]||[C, ...]|| |
where, computes a 2-to-1 Rescue Prime Optimized hash.
- (9 cycles)
|[d, i, R, ...]||[V, R, ...]||Verifies that a Merkle tree with root opens to node at depth and index . Merkle tree with root must be present in the advice provider, otherwise execution fails.|
- (29 cycles)
|[d, i, R, V', ...]||[V, R', ...]||Updates a node in the Merkle tree with root at depth and index to value . is the Merkle root of the resulting tree and is old value of the node. Merkle tree with root must be present in the advice provider, otherwise execution fails. At the end of the operation the advice provider will contain both Merkle trees.|
- (16 cycles)
|[R, L, ...]||[M, ...]||Merges two Merkle trees with the provided roots R (right), L (left) into a new Merkle tree with root M (merged). The input trees are retained in the advice provider.|