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 our benchmark pipeline only posts comments when there's a significant performance regression. It would be useful for it to also post in all other cases, specially so we can...
Currently, some functions on the vm rely on the memory structure, so that a change to the structure of the memory implies a change to the logic of the VM's...
- https://github.com/jemalloc/jemalloc - https://github.com/microsoft/mimalloc
No need for the value to be BigInt. https://github.com/lambdaclass/cleopatra_cairo/blob/6091bb8c95b1c10b6c38d9b2562d7ddbecbbf865/src/serde/deserialize_program.rs#L32
https://github.com/lambdaclass/cleopatra_cairo/blob/f021c6feb6d15aa4184f26c3bc3c71c641ad95a9/Makefile#L34 Remove `compare_benchmark_deps` later
Make sure the errors returned in matches make sense with the parts of the logic that fail. Make new error types if necessary
- The rustdoc comments should be polished and expanded in general. - cleopatra is yet green to publish to crate.io and thus docs.rs but perhaps work could be done on...
The implementation of each builtin should be in a different file, instead of having every builtin in builtin_runners.rs
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...