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...
Some hint integration benchmarks take considerably longer than others, their number of iterations could be reduced to avoid long benchmark times, which becomes an issue once they get added to...
Currently, integration tests for various hint modules are not included among the programs benchmarked by the CI, leading to possible undetected performance regressions to happen
Constants should be extracted from identifiers and passed on to HintProcessor::execute_hint so they can be used inside hints Bonus: Replace hardcoded values in hints with the corresponding constant. Bonus: Add...
Currently, our Cairo programs are compatible with Cairo v0.9.1. Update them so they are compatible with Cairo's last version v0.10.X
The test `relocate_memory_with_gap` fails when the memory is generated with the `memory!`macro. The only thing that is different with all the other use cases is that there is a gap...
# TITLE ## Description Description of the pull request changes and motivation. ## Checklist - [ ] Linked to Github Issue - [ ] Unit tests added - [ ]...
Removes methods that were needed to make `cairo-rs-py` compatible with `cairo-lang` and are no longer needed
The fresh run daily workflow is currently failing as compiling the hyperthreading crate requires bench files to be compiled due to the usage of `include_bytes` macro. As the hyperthreading crate...
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...