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...
PR #1721 modified the test programs that returned `Felt252Dict` so that they now return their squashed version. While the PR makes sure that these programs fail in proof_mode (as unsquashed...
Fix make coverage command I think i should execute something like `cargo llvm-cov --html --workspace --features "test_utils, cairo-1-hints"`
# Fix WASM32 compilation for Cairo1-run and cairo-vm ## Description Running the following fails on `main`: ```cargo build --bin cairo1-run --target wasm32-unknown-unknown --release --no-default-features``` There are 4 issues: - `zip`...
Add tracing to the cairo-vm in the Cairo 0 runs and cairo-1-run crate https://crates.io/crates/tracing The idea is to add some tracing, make debugging easier, and get extra info on the...
# TITLE ## Description Description of the pull request changes and motivation. ## Checklist - [ ] Linked to Github Issue - [ ] Unit tests added - [ ]...
`uv` is a compatible `pip` replacement made in Rust, which runs significantly faster. It saves about 70 seconds on my M3 when installing deps. # TITLE ## Description Description of...
The workflow `Make sure all features work (vm)` is already taking close to 50 minutes. As there is no way to partition the workflow into sets of features, this PR...
# Unpin wasm bindgen ## Description Description of the pull request changes and motivation. ## Checklist - [ ] Linked to Github Issue - [ ] Unit tests added -...
# TITLE Skip_pedersen_comparison_when_checking_pie_compatibility ## Description As stated in the doc describing the `check_pie_compatibility` func, we should skip the comparison of additional_data[pedersen]. This adds the needed logic. ## Checklist - [...
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...