miden-project 0.23.1

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

# 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_be.0
    locaddr.0
    dyncall
end

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