lambdaclass / cairo-vm

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 a certain computation was executed correctly without the need for this party to re-execute the same program.
https://lambdaclass.github.io/cairo-vm
Apache License 2.0
488 stars 133 forks source link

New Crate to Benchmark Cairo-VM Performance in Hyper-Threading Contexts #1674

Closed pefontana closed 4 months ago

pefontana commented 4 months ago

The idea is to develop a new crate specifically designed to assess the performance of the Cairo-VM within hyper-threading environments This crate should be able to execute all programs located within the cairo_programs/benchmarks directory concurrently (See Rayon library (Rayon documentation. Allowing for dynamic adjustment of the number of threads of the execution. This feature is crucial for evaluating how varying thread numbers impact the VM's performance metrics. The goal is to achieve a deeper understanding of the Cairo-VM's scalability and efficiency across different multi-threading configurations.