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...
Check: https://github.com/filecoin-project/neptune/blob/master/.circleci/config.yml
# Merge after #471 # Refactor Memory methods to handle Temporary segment cases * Refactor `Memory.get` method to get values from Temporary Segments * Refactor `Memory.insert` method to insert values...
# Chenge Relocatable.segment_index field type to isize * Change `Relocatable.segment_index` field type from `usize` to `isize`, so we can deal with TemporarySegments * Change `Builtiins.base` field type from `usize` to...
Add method [relocate_value](https://github.com/starkware-libs/cairo-lang/blob/b614d1867c64f3fb2cf4a4879348cfcf87c3a5a7/src/starkware/cairo/lang/vm/memory_dict.py#L145) to Memory. This method should also be called on the return value of Memory.get(). Adding this method will break the current Memory.get() signature (as relocate_value() may return...
# Binary search implementation ## Description Implement binary search for hint search sorted lower and fix a bug in operations_with_data_structures.cairo Resolves #315 ## Checklist - [x] Linked to Github Issue
# Extend unit tests ## Description Add some unit tests to the hints module to increase coverage ## Checklist - [ ] Linked to Github Issue - [x] Unit tests...
# Remove ExecScopeProxy ## Description Removes the remaining proxy ## Checklist - [ ] Linked to Github Issue - [ ] Unit tests added - [ ] Integration tests added....
# Add unit tests and refactor cairo run ## Description Small error refactor on cairo run and add test for write output ## Checklist - [x] Unit tests added
# Avoid unnecessary clones ## Description Modify `VirtualMachine::load_data`, `MemorySegmentManager::load_data`, `Memory::insert` and `Memory::insert_value` to avoid unnecessary `.clone()` invocations. ## Checklist - [ ] Linked to Github Issue - [ ] Unit...
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...