veri
Search
Home
Discover
Organizations
Projects
Funds
veri
Back to Projects
Get Listed
Subscribe on TG
Cairo-VM
Lorem ipsum dolor sit amet, consectetur adipiscing elit. Vestibulum luctus felis in nisi tincidunt, vitae facilisis enim tempor.
lambdaclass.github.io
Category: Developer Tooling
Docs
Overview
Organization
Description
Cairo-VM is a Rust implementation of the Cairo virtual machine, supporting the execution of Cairo programs that can generate proofs of execution. It provides significant performance improvements over the original Python implementation.
