cairo-vm-go
cairo-vm-go copied to clipboard
A virtual machine for Cairo written in Go
Note: This PR requires #640 to be merged first.
Fixes: #630
Fixes: #636
Implement the following layouts in the VM: - [x] dex - [x] recursive - [x] starknet - [x] recursive_large_output - [x] recursive_with_poseidon - [x] all_solidity - [x] all_cairo - [...
`Params`: b0: ResOperand, b1: ResOperand, n0: ResOperand, n1: ResOperand, g0_or_no_inv: CellRef, g1_option: CellRef, s_or_r0: CellRef, s_or_r1: CellRef, t_or_k0: CellRef, t_or_k1: CellRef `Description`: Provides the inverse of b (represented by 2...
Refer to the hints from issue #36 This issue is blocked until we have a cairo 1 runner in place
Currently the pipeline of the run command, assumes we are dealing with a Cairo Zero program. This needs to be updated to run cairo 1 programs as well. At the...
Requires the basic implementation of `AddModBuiltin` and `MulModBuiltin` https://github.com/starkware-libs/cairo/blob/95fd09bab0cc44c4f101987c62491454890e3ba4/crates/cairo-lang-runner/src/casm_run/mod.rs#L2087 https://github.com/starkware-libs/cairo/blob/54804c8730dabea31a2b80034fe2c3911e79adf5/crates/cairo-lang-casm/src/hints/mod.rs#L289