starkware-libs/cairo-vm

cairo-vm は Cairo VM の Rust 実装です。Cairo (CPU Algebraic Intermediate Representation) は、ある当事者が別の当事者に対して、特定の計算が正しく実行されたことを、その当事者が同じプログラムを再実行することなく証明できる、証明可能なプログラムを書くためのプログラミング言語です。