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...
Running `make test` failed for ubuntu-22.04 system on commit bf7d70795b8264dfa8bbf9435f3ab23c1a10e291
![github-actions[bot] avatar](https://avatars.githubusercontent.com/in/15368?v=4 "github-actions[bot] avatar"){kind=avatar}
Running `make test` failed for macos system on commit bf7d70795b8264dfa8bbf9435f3ab23c1a10e291
Following are the missing hints as reported by the hint accountant 👇
# Add Hyper Threading benchmarks workflow ## Description Description of the pull request changes and motivation. ## Checklist - [ ] Linked to Github Issue - [ ] Unit tests...
# Bump cairo to 2.6.3 ## Description We're updating Scarb and Cairo lang and blockifier to support 2.6.3 in Dojo. Due to the fact that Katana supports `starknet_in_rust` as an...
Store data and metadata inline as a single `[u64; 4]` with `32` bytes alignment, fitting a whole number of cells per cache line to reduce evictions and double sharing and...
In `vm/src/types/program.rs`: ```rust pub fn serialize(&self) -> Result { let program_serializer: ProgramSerializer = ProgramSerializer::from(self); let bytes: Vec = serde_json::to_vec(&program_serializer)?; Ok(bytes) } pub fn deserialize( program_serializer_bytes: &[u8], entrypoint: Option, ) ->...
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...
Do it after #1674 is completed. Once we have the crate to execute the cairo-vm in parallel, we need to create a Github CI that compares the execution of the...
# Simplify `get_offset_value_reference` and add unit tests ## Description - The logical test on `base_addr` and `offset` to know if we should return null is implicitly already provided by the...
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...