HashKey Capital Insights は、完全準同型暗号化 (#FHE) の課題とパラダイムシフトの可能性の両方を説明する包括的な記事を共有しました。私たちは、他の著名な Web3 FHE プロジェクトとともにこの記事に貢献できることを嬉しく思います。
それを分解して要点をご紹介します。
1⃣
重要なポイント: FHE が暗号化の聖杯であるのには理由があります。これにより、プラットフォーム全体でデータを保護する方法が変わり、データ プライバシーに関して信じられないほどの新時代が到来します。
2⃣
FHE DevEx の主な制限:
1) 簡単なフロントエンド言語
2) 完全に機能する FHE コンパイラー
3) FHE スキームが遅すぎる
3⃣
これらの制限に対する新しいソリューション:
1) Web3 固有の FHE コンパイラは、ハードウェア アクセラレータなしで最高のパフォーマンスを提供します
2) 人気のある Web3 プログラミング言語を活用する新しい FHE ライブラリ
3) Zama のツールキットは、準同型演算をプリコンパイルされたコントラクトとして公開します
4⃣
ZKP と FHE - プライバシー天国でのマッチング。 FHE を使用すると、誰でも暗号化されたデータに対して計算を実行できます。 ZKP を使用すると、基礎となる情報自体を明らかにすることなく、何かが真実であることを証明できます。これらは次のように連携して動作します。
1) 暗号文が暗号化方式の要件を満たしていることを確認する
2) 入力された平文が所定のアプリケーションの条件を満たしていることの証明を提出する
3) バリデーターノードは、FHE 計算を正しく実行したことを証明する必要があります。
5⃣
暗号文の ZKP。 SNARKS や STARKS のような ZKP は格子暗号化に依存しません。 FHEはそうします。これは、FHE が「ポスト量子」であることを意味します。言い換えれば、ZKP だけでは量子コンピューティング攻撃に耐性がありませんが、FHE は耐性があります。
6⃣
ハードウェアの問題。既存のハードウェア上の FHE は非効率的であり、分散型の方法で拡張可能ではありません。 Verifiable FHE は、コンピューティング当事者がトランザクションの誠実な実行を証明するために ZKP を提出できるようにすることで、この問題を解決します。