@brevis_zk の Pico Prism のような zkVM はリアルタイムで証明されつつあります。 現在、証明者は平文で入力を処理しており、TEE はオペレーターによるデータの悪用を避けるためにハードウェア レベルの機密性を追加します。 Automata が検証可能な TEE を使用して zkVM でプライベート証明を可能にする方法は次のとおりです ↓

現在の zkVM セットアップは、証明オペレーターによってプレーンテキスト入力がアクセスされないという信頼の前提の下で動作します。 ユーザーがデータをトラストレスに共有できるように、TEE を統合してデータの機密性と計算の整合性を保証できます。

Pico Prism は、Intel SGX や TDX などのハードウェアで分離されたエンクレーブ内で実行され、プレーンテキストの監視は暗号化されたメモリ内で完全に処理されます。 個人データを共有する前に、誰でもリモート認証で証明者の整合性を検証できます。

認証トラストチェーン全体は、Intel SGXおよびTDXの担保管理を自動化するAutomataのDCAPダッシュボードを通じて有効であり続けます。 オンチェーン DCAP 検証はリアルタイムで更新され、担保の有効期限が切れたときの証明の内訳を防ぎます。