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.
MauroToscano
commented
10 months ago
Cairo1, third draft
Description
Cairo1 support for all programs. Need to be refactored to be merged, and be continued in another PR