Kimchi

プログラムの正しい実行を証明するための汎用ゼロ知識証明システム

CairoはStarkWareのフレームワークで、計算の証明を提供する。Cairo 言語でプログラムを書き、そのバイトコードコンパイルを Stark の証明器に渡すことができる。オリジナルの Cairo 実装は Python で書かれています。このモジュールでは、Kimchi zk-SNARKを使って文を証明できるRust版Cairoを提案する。この証明システムをTurshiと呼びます。