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...
Speeds up the build checks by sharding the workspace-level feature check and by running each crate-level feature check on its own job. ## Checklist - [ ] Linked to Github...
Problem: when using `allow-missing-builtins` for a program, some builtins requested by the program may not be part of the layout. This results in an incorrect configuration of the initial stack...
# Feature: deserialize CairoPie from ZIP archives ## Description Problem: the Python VM generates Cairo PIEs as ZIP archives containing several JSON files and the memory as a binary file....
This PR makes all macros in the `test_utils` module public to allow for easier testing of hints (and other features) living in other crates/repositories. Fixes #1595. ## Checklist - [x]...
**Is your feature request related to a problem? Please describe.** The current implementation of `cairo1-run` crate as a CLI restricts its usability in other projects that could benefit from its...
In cairo_vm, setting the layout to dynamic sets the builtin's ratios to None & sets all other layout parameters to a constant value. In cairo_lang, setting the layout to dynamic...
Looking at the cairo_lang code, when the public inputs are generated ([reference](https://github.com/starkware-libs/cairo-lang/blob/ab6d079f0265f903630aac9287e93d9e7cfb6fcf/src/starkware/cairo/lang/vm/cairo_run.py#L517)) the layout params are set to None by default even if the layout is dynamic. If we run...
# TITLE ## Description This PR adds support to pass Sierra programs directly to cairo1-run. Useful in cases when you already have Sierra representations. ## Checklist - [ ] Linked...
# Update Logo ## Description Upload new logo and update readme.
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...