starkware-libs/cairo-vm

cairo-vm 是 Cairo VM 的 Rust 實現。Cairo (CPU Algebraic Intermediate Representation) 是一種用於編寫可驗證程式的程式語言，其中一方可以向另一方證明某項計算已正確執行，而無需該方重新執行相同的程式。