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...
Old version: astral-sh/setup-uv@v5 New version: astral-sh/setup-uv@v6 https://github.com/astral-sh/setup-uv/releases/tag/v6.3.0
# Make `VirtualMachine::get_traceback_entries` pub ## Description Made `VirtualMachine::get_traceback_entries` so it can be used in `starknet-foundry` [backtrace feature](https://foundry-rs.github.io/starknet-foundry/snforge-advanced-features/debugging.html#backtrace) ## Checklist - [ ] Linked to Github Issue - [ ] Unit...
# Add docs/SPECS.md ## Description Adds the SPECS.md which serves as a detailed guide to understand the projects requirements and design Co-authored-by: @JulianGCalderon ## Checklist - [ ] Linked to...
**Describe the bug** Running `make test-extensive_hints` fails because some CASM files used for tests are not found. For example: ``` error: couldn't read `vm/src/tests/../../../cairo_programs/cairo-1-contracts/fib.casm`: No such file or directory (os...
With the recent update of rust's toolchain to 1.87.0, clippy has lowered the enum's variant maximum allowed size to 128 bytes. One of the variants of `CairoRunError` enum, `VmException`, is...
- Unify `make deps` and `make deps-macos` - Native already [does this](https://github.com/lambdaclass/cairo_native/blob/0a05bbacfec0364f8f620c8ef244710875b2290e/Makefile#L131-L137) - Update README to match `deps` command usage
The VM is well-documented in several aspects but the documentation is often hard to find and not cross-referenced, and in some cases outdated. To consolidate docs we should: - [...
Stav/try
# TITLE ## Description Description of the pull request changes and motivation. ## Checklist - [ ] Linked to Github Issue - [ ] Unit tests added - [ ]...
**Describe the bug** Currently there is a mismatch between the sha256 finalize hint from cairo-lang and the string representation in cairo-vm. In cairo-lang the hint is this: https://github.com/starkware-libs/cairo-lang/blob/master/src/starkware/cairo/common/cairo_sha256/sha256_utils.cairo#L476-L492 While in...
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...