cairo-vm-go
cairo-vm-go copied to clipboard
NethermindEth
A virtual machine for Cairo written in Go
It's possible to define `main` function in Cairo 1, such that it receives arguments, so we want to add this functionality as well and the possibility to run it from...
Implement this builtin check post run function, which we dont have implemented for now. https://github.com/lambdaclass/cairo-vm/blob/ed3117098dd33c96056880af6fa67f9b2caebfb4/vm/src/vm/runners/cairo_runner.rs#L3700
This is the 2nd check we are missing when ending the run It involves a new field that needs to be added in the layout struct
Check https://github.com/starkware-libs/cairo/blob/main/crates/cairo-lang-runner/README.md for reference and cairo-run command in the rust vm [here](https://github.com/starkware-libs/cairo/blob/102b8f0d2f51bdc4aaa176e2862687e0287a1d3d/crates/bin/cairo-run/src/main.rs#L44). Having this option might indicate that we also need to implement the gas hint for Cairo 1 runner
Reference : https://github.com/NethermindEth/cairo-vm-go/pull/647#discussion_r1743311600