「Web サーバーのバックエンドと同じように通常の Rust を記述し、そのビジネス ロジックを zkVM に配置して検証可能にします。」 - @pumatheuma、@SuccinctLabs の共同創設者 VAP (検証可能なアプリケーション) を使用すると、Web2 開発と遅延モデル (オフチェーン リクエスト処理、高速マッチング、安価なインフラストラクチャ) を維持しながら、プログラムが実際に宣言された入力で実行され、そのルールに従っていたという簡潔な証拠を添付します。証明はオンチェーン(またはゲートウェイ)で検証されるため、決済または状態の更新は、正確なプログラムID、入力、および制約がチェックアウトされた場合にのみ発生します。 再実行、回線の手作業によるコーディング、暗号化の専門知識は必要なく、zkVM ターゲットにコンパイルされた標準コードだけです。 その結果、ビジネスルールの正確性と否認防止、入力の整合性、オプションのプライバシー(データを公開せずにプロパティを証明)、同じ証明をどこでも確認できるための信頼のポータビリティなど、Web3の保証を備えたWeb2 DXが実現しました。 Uma Roy のエピソード全体を見て、VAP とリアルタイム証明によって「通常のコードを記述し、検証可能性を得る」ことが本番システムにとってどのように実用的な道となるかをご覧ください。