優れた AI アプリは、実証済みの推論と出力と同じくらい強力です。 では、DeepProve で AI モデルを検証するにはどうすればよいのか疑問に思われるかもしれません。 仕組みは次のとおりです。🧵

2/ DeepProve は、量子化を使用して AI モデル (ONYX ファイルから) の検証を開始します。 この前処理 (1 回限りのセットアップ) 中に、モデルの浮動小数点が整数に変換されます。 また、証明者/検証者キーも生成します。

3/ DeepProve は 2 つのプロセスを並行して実行します。 1. AIモデルの推論(ただし、ニューラルネットワークのノードごとに整数を含む)(「実行トレース」) 2. ノードごとに、計算が正しく行われたことを証明し、それを単一の簡潔な ZK 証明に変換します。

4/ 次に、以下を使用して検証が完了します。 → モデルの入力と出力 → モデルのコミットメント (基になるデータを明らかにせずにモデルを一意に表す) → 検証キー

5/ 簡単に言うと、DeepProve は次のように機能します。 1. 1 回限りのセットアップを完了する 2. 証明を生成する 3. どこでもAI推論を検証