README.md

A custom CLI wrapper for the Cairo VM with Juvix support. The code is based on cairo-vm-cli.

The easiest way to provide the right options to run Juvix programs compiled to Cairo VM bytecode is to use this script: run_cairo_vm.sh

Once you have both juvix-cairo-vm and run_cairo_vm.sh on path:

• compile Program.juvix to Program.json with juvix compile cairo Program.juvix,
• run with run_cairo_vm.sh Program.json or run_cairo_vm.sh Program.json --program_input input.json