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...
This reduces `Program` cloning for building the `CairoRunner` by 86% according to our Criterion benchmarks. Running transactions 68000-68500 with Pathfinder shows a 7% improvement. ## Checklist - [ ] Linked...
# TITLE ## Description Description of the pull request changes and motivation. ## Checklist - [ ] Linked to Github Issue - [ ] Unit tests added - [ ]...
Re-exports `bincode::enc::write::{Writer, SliceWriter}` and implements two ad-hoc writers for common use cases, `VecWriter` and `BufWriter`, for writing to memory and an arbitrary `std::io::Write` (in a buffered fashion), the latter enabled...
# TITLE ## Description Description of the pull request changes and motivation. ## Checklist - [ ] Linked to Github Issue - [ ] Unit tests added - [ ]...
# Add non squashed Felt252Dict tests ## Description PR #1721 modified felt tests so that the work with `SquashedFelt252Dict`. This PR adds the same tests with the difference that they...
# Change coverage command ## Description This PR changes make coverage command so that it executes the following command: `cargo llvm-cov --html --workspace --features "test_utils, cairo-1-hints"` ## Checklist - [x]...
Context: integration of the OS + bootloader with the Stone prover. Problem: The 0x prefix was removed from public memory hex values in fe72ee0e95cf9f1761cfdc0759af12a68294c081. This is incompatible with the Stone...
# Remove duplicate function `get_val` from Cairo1HintProcessor ## Description The function `get_val` is a duplicate of `res_operand_get_val`, both only used in the `Cairo1HintProcessor` to fetch values from hint parameters. `get_val`...
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...