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...
# Add implementation for `run_for_steps` and `run_until_steps` on `CairoRunner` ## Description Solving issue #477. ## Checklist - [x] Linked to Github Issue - [x] Unit tests added - [ ]...
We have to add the functionality analogous to the original Cairo VM. The original implementations can be seen here https://github.com/starkware-libs/cairo-lang/blob/master/src/starkware/cairo/lang/vm/cairo_runner.py In a nuthsell, `run_for_steps` runs the VM for a fixed...
In order to have a more compelte interface Add`VirtualMachine.get_builtin(builtin: &str) -> &dyn BuiltinRunner` method. Then used it to replace the VirtualMachine.get_range_check_builtin.
Refactor `VirtualMachine.get_range(addr: &MaybeRelocatable` to `VirtualMachine.get_range(addr: &Relocatable`
Would allow Rust developers to opt out of the current Python impl. of `starknet-devnet` which is a Flask wrapper for the standard Python Cairo VM
# [REFACTOR] Abstract the representation of field elements. Phase 2 Issue: #268 Waiting for PR #427 ## Description * Add multiple FieldElement methods * Refactor Memory.get_integer to return a FieldElement....
# More documentation for HintProcessor trait ## Description Adds documentation about HintProcessor trait and its implementation. Closes #437 ## Checklist - [x] Linked to Github Issue - [ ] Unit...
# Abstract the representation of field elements. Phase 1 Issue: #268 * Create `FieldElement` struct * Refactor `MaybeRelocatable(Int(BigInt))` to `MaybeRelocatable(Int(FieldElement))` * Refactor VmCore module to work with FieldElements instead of...
This documentation should be a rigorous specification of the components of a hint processor. This should describe the trait that the processor needs to implement, the interfaces the VM provides...
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...