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...
# TITLE ## Description Description of the pull request changes and motivation. ## Checklist - [ ] Linked to Github Issue - [ ] Unit tests added - [ ]...
# Configurable entrypoint ## Description As described in #180, it might be useful to be able to run another function than the `main` function as an entrypoint. ## Checklist -...
# Set integration tests ## Description * add `set_integration_tests` * add `set_integration_benchmark` * Fix documentation and complete `set_add.cairo` program ## Checklist - [ ] Linked to Github Issue - [...
- [x] Remove exec scopes from VM: Moved to CairoRunner - [x] Create ExecScopesProxy: Only allows adding and removing scopes + modifying actual scope - [x] Replace ExecScopes with ExecScopesProxy...
Aims to create a Proxy for Memory that would only allow access to methods, in order to prevent hints from changing VM behavior. Depends on #365
- [x] Refactor ExecScopes to hold Any instead of PyValueType - [x] Remove all instances of PyValueType - [x] Make generic` insert_value `for ExecScopeProxy (replacing `insert_int `and `insert_list`) - [x]...
This PR aims to remove DictManager from the VM structure, and instead create it and store it inside the current execution scope when needed. - [x] Remove DictManager from VM...
Our current hint handling has a few issues: - It exposes the whole VM state, limiting how much of the inner workings of the VM we can change further down...
Constant values from cairo are being hardcoded when used in hints (you can check keccak_hints for reference). In the future if this constants change in cairo, they could make the...
* `value` in `compare_bytes_in_word_nondet`: ``` This works fine, but it should be checked for a performance improvement. One option is to try to convert n_bytes into usize, with failure to...
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...