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...
Currently the entrypoint to the cairo file being run is [hardcoded](https://github.com/lambdaclass/cleopatra_cairo/blob/main/src/serde/deserialize_program.rs#L124) to the `main` function. Since we'd like at Onlydust to leverage your VM to build a fast Cairo test...
Add sha256 to the tests and benchmarks https://github.com/Th0rgal/sphinx/blob/master/src/sphinx/sha256.cairo
WebAssembly does not protect against problems inside the sandbox. If you have C++ code that executed undefined behaviour, it can do any possible thing it likes inside that sandbox, poking...
``` pub fn verify_auto_deductions(&mut self) -> Result { for (i, segment) in self.memory.data.iter().enumerate() { for (j, value) in segment.iter().enumerate() { for (name, builtin) in self.builtin_runners.iter_mut() { match builtin.base() { Some(builtin_base)...
Start with proposal to move alloc from hint to an internal feature of the VM
# TITLE ## Description Description of the pull request changes and motivation. ## Checklist - [ ] Linked to Github Issue - [ ] Unit tests added - [ ]...
Current documentation of `add(&mut self, memory: &mut Memory, size: Option)`: > If size is not None the segment is finalized with the given size is not implemented
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...