cairo-vm_in_go
cairo-vm_in_go copied to clipboard
lambdaclass
cairo-vm_in_go is a Go implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another t...
`EndRun` should check that there is only one execution scope at the end of execution, or else return an error with `Every enter_scope() requires a corresponding exit_scope().`
There's no reason to have duplicated programs for proof mode compilation using symlinks, we can just can have them all in the `cairo_programs` directory and just compile accordingly with a...
- `UINT256_GET_SQUARE_ROOT` - `UINT256_MUL_INV_MOD_P` - `INV_MOD_P_UINT256`
linked to https://github.com/lambdaclass/cairo-vm_in_go/issues/201 issue once https://github.com/lambdaclass/cairo-vm_in_go/pull/225 has been merged then `EC_MUL_INNER` can be implemented
This ticket seems long, but the first three hints are really really short - `IMPORT_SECP256R1_ALPHA` - `IMPORT_SECP256R1_N` - `IS_ZERO_PACK_V2` - `IS_ZERO_INT` - `IS_ZERO_PACK_EXTERNAL_SECP_V1` - `IS_ZERO_PACK_EXTERNAL_SECP_V2` - `IS_ZERO_PACK_ED25519`
- `NONDET_N_GREATER_THAN_10` - `NONDET_N_GREATER_THAN_2` - `DI_BIT` - `A_B_BITAND_1` - `SPLIT_XX`
- `UINT384_SQRT` - `UINT384_SIGNED_NN` - `UINT384_GET_SQUARE_ROOT` - `UINT384_DIV`
Metadata
Owner
Metadata
cairo-vm_in_go is a Go implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another t...