cairo-vm
cairo-vm copied to clipboard
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...
# Complete test suite of `BuiltinRunner` `get_memory_segment_addresses` ## Description A few test assertions are added to the test suite related to `get_memory_segment_addresses` for `BuiltinRunner` implementation in order to complete the...
Refactors `MemoryCell` to store a simple `[u64; 4]` to use the cache more appropriately. This structure is now a fixed 32 bytes with 32 bytes alignment, meaning any given cell...
Adds zero segment fields & methods to `MemorySegmentManager` These methods will be used by the new builtin, and are currenlty unused
# Add test coverage for `get_constant_from_var_name` ## Description Add a series of unit tests for `get_constant_from_var_name` hint util method. ## Checklist - [ ] Linked to Github Issue - [X]...
# Add unit test for `apply_ap_tracking_correction` with invalid offset ## Description This pull request adds a new unit test for the `apply_ap_tracking_correction` function in order to cover the scenario where...
## Problem The VM execution should be deterministic regardless of if it is executed on a 16, 32 or 64 bit processor. Having `usize` being used in order to define...
# TITLE ## Description Description of the pull request changes and motivation. ## Checklist - [ ] Linked to Github Issue - [ ] Unit tests added - [ ]...
Remove `#[allow(clippy::format_collect)]` in `CairoPie::serialize_memory` method and fix clippy warnings
Problem: computing the hash of a program is useful to verify its integrity. This hash is also used for different purposes, like when loading a program with the bootloader. Solution:...