starkware-libs/cairo-vm

cairo-vm là bản triển khai Rust của Cairo VM. Cairo (CPU Algebraic Intermediate Representation) là một ngôn ngữ lập trình để viết các chương trình có thể chứng minh, nơi một bên có thể chứng minh cho bên khác rằng một phép tính nhất định đã được thực hiện chính xác mà không cần bên đó phải thực thi lại cùng một chương trình.