starkware-libs/cairo-vm

cairo-vm adalah implementasi Rust dari Cairo VM. Cairo (CPU Algebraic Intermediate Representation) adalah bahasa pemrograman untuk menulis program yang dapat dibuktikan, di mana satu pihak dapat membuktikan kepada pihak lain bahwa komputasi tertentu dieksekusi dengan benar tanpa perlu pihak tersebut mengeksekusi ulang program yang sama.