search

0xPolygonMiden / miden-vm

STARK-based virtual machine
MIT License
612 stars 150 forks source link

Syntax to refer to a procedure's MAST root inside the VM #1283

Closed hackaugusto closed 3 months ago

hackaugusto commented 3 months ago

The VM now supports dynamic dispatches via the dynexec and dyncall instructions. To run these instructions one first needs the MAST root of a procedure. To make this a bit easier to use in some contexts, it is benefitial to have syntax to refer to a procedure's MAST root inside the assembly language, so the assembler would dynamically fill the value for the user.

bitwalker commented 3 months ago

Isn't this provided by the procref instruction?

hackaugusto commented 3 months ago

ah, cool, I didn't know we had that already!