cairo-vm
cairo-vm copied to clipboard
lambdaclass
cairo-vm is a Rust 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 that...
# Implement New Executable API This PR is a really early draft of the new executable API. I've created a new structure `CairoRunner2`, and have been copied code from the...
# TITLE ## Description Description of the pull request changes and motivation. ## Checklist - [ ] Linked to Github Issue - [ ] Unit tests added - [ ]...
**Describe the bug** Consider the following example: ``` func hash_full_transcript_and_get_Z_4_LIMBS{poseidon_ptr: PoseidonBuiltin*}( limbs_ptr: felt*, n: felt ) -> (_s0: felt, _s1: felt, _s2: felt) { alloc_locals; local BASE = 2 **...
**Is your feature request related to a problem? Please describe.** When trying to install the cairo vm with the install script, *install.sh*, I'm prompted with ```bash Detected OS: Arch Detected...
# TITLE ## Description Fixes a bug where `fill_memory` would return an error if the number of elements to fill is 0. See also the python implementation of `fill_memory` in...
- [compute_doubling_slope hint](https://github.com/starkware-libs/cairo-lang/blob/8276ac35830148a397e1143389f23253c8b80e93/src/starkware/cairo/common/secp256r1/ec.cairo#L30-L39) - [try_get_point_from_x hint](https://github.com/starkware-libs/cairo-lang/blob/8276ac35830148a397e1143389f23253c8b80e93/src/starkware/cairo/common/secp256r1/ec.cairo#L371-L393)
**Describe the bug** This simple cairo code ``` from starkware.cairo.common.cairo_builtins import UInt384, ModBuiltin from starkware.cairo.common.modulo import run_mod_p_circuit from starkware.cairo.lang.compiler.lib.registers import get_fp_and_pc func add{range_check96_ptr: felt*, add_mod_ptr: ModBuiltin*, mul_mod_ptr: ModBuiltin*}( x: UInt384*,...
**Describe the bug** It's possible to initialize the runner with `self.execution_base != (1, 0)` as the `initialize_segments` function just adds segments without constraint on already existing segments ``` pub fn...
## Why Currently, the cairo vm has a hard-coded reference to the current starknet prime number ``` pub fn prime(&self) -> &str { _ = self; PRIME_STR } ``` which...
Metadata
Owner
Metadata
cairo-vm is a Rust 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 that...