プライバシーのためにZKPに依存しながらDeFiプロトコル(およびその他)を作成することは絶対に可能です-これはまさにMidenが設計したことです。主なトリックは、状態がどのように機能するかを再考し、モノリシック状態を使用する代わりに、アクターモデル(分散システムで何十年も使用されてきたもの)を適応させることです。 次に、共有状態を制御するパブリックアクターと対話できるプライベートアクターを持つことができます。または、半プライベートなアクター(状態は一部のユーザーには知られているが、ネットワーク全体には知られていない)を持ち、これらは完全にプライベートなアクターまたはパブリックアクターの両方と対話することもできます。 これは、匿名の AMM や CLBO からプライベート準拠のステーブルコインに至るまで、多数の DeFi ユースケースをカバーする非常に強力なモデルです。 そしてもう 1 つの良い点: これらの DeFi プロトコルを作成するために、ZKP を理解するエンジニアは必要なく、すべてを Rust で記述できます。 私はFHEが好きです - 本当にクールなテクノロジーで、ZKPでは対処できないいくつかのユースケース(つまり、真にプライベートな共有状態を持つ)を可能にしますが、ネットワークに大きなパフォーマンスオーバーヘッドも伴います。 ZKP の利点は、実際にネットワークの負荷を軽減することです - ローカルで証明されたトランザクションはネットワークによって実行される必要はありません (ZK 証明の検証は非常に安価です) - この概念をエッジ ブロックチェーンと呼びます。FHE を使用すると、すべてのトランザクションがネットワークにとって 100 倍 (または 1000 倍) 高くなります。ASICは確かにここで役立ちますが、これはまた、すべての検証ノードがこれらのASICを実行する必要があり、そうでなければネットワークを追跡できないことも意味します。そして、すべてのノードにASICを要求することは、すべてのビットコインノードにマイナーであることを要求するようなものです。