starkware-libs/cairo-vm

cairo-vm 是 Cairo VM 的 Rust 实现。Cairo (CPU Algebraic Intermediate Representation) 是一种用于编写可验证程序的编程语言，其中一方可以向另一方证明某项计算已正确执行，而无需该方重新执行相同的程序。