miden-project 0.22.2

Interface for working with Miden projects
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

# We assume that the first word on the operand stack is the procedure digest of the user
# program to be executed, so we store that into procedure local memory, and then dyncall it
@locals(4)
proc invoke_user_script
    loc_storew.0
    locaddr.0
    dyncall
end

begin
    # At program start, initialize the kernel environment
    exec.$kernel::init

    # Execute the user script whose entrypoint digest is on top of the stack
    exec.invoke_user_script
end