mirror of
https://github.com/anoma/juvix.git
synced 2024-12-22 14:21:30 +03:00
ad76c7a583
This PR implements generic support for Cairo VM builtins. The calling convention in the generated CASM code is changed to allow for passing around the builtin pointers. Appropriate builtin initialization and finalization code is added. Support for specific builtins (e.g. Poseidon hash, range check, Elliptic Curve operation) still needs to be implemented in separate PRs. * Closes #2683
6 lines
268 B
Bash
Executable File
6 lines
268 B
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
BASE=`basename "$1" .json`
|
|
|
|
juvix-cairo-vm "$@" --print_output --proof_mode --trace_file ${BASE}.trace --air_public_input=${BASE}_public_input.json --air_private_input=${BASE}_private_input.json --memory_file=${BASE}_memory.mem --layout=all_cairo
|