miden-client-cli 0.14.7

The official command line client for interacting with the Miden network
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32

# Simple test masm file. This file is associated with `input.toml`
# This file is identical to `success.masm` except for the item being accessed in the input file.
# This script should fail.

begin
    # push the key for the advice map onto the stack ("0x0000000000000000000000000000000000000000000000000000000000000000")
    push.0.0.0.0

    ## load the values associated with the key from the advice map onto the advice stack
    adv.push_mapval

    # Drop the numbers used to access the advice map key
    dropw
    dropw
    dropw
    dropw

    # Pushes 2 words from the advice stack to the operand stack (1 and 2)
    adv_push.2

    # Add the top 2 numbers of the stack and push the result to the stack.
    add

    # Push 22 to the stack.
    # eq consumes the top 2 numbers from the stack, pushes 1 if they are equal,
    # 0 if they are different.
    push.22 eq

    # Pops an element from the stack and checks if is equal to 1.
    assert

end