Il est absolument possible d'écrire des protocoles DeFi (et bien plus encore) tout en s'appuyant sur des ZKPs pour la confidentialité - c'est exactement ce pour quoi Miden a été conçu. Le principal défi est de réimaginer le fonctionnement de l'état et, au lieu d'utiliser un état monolithique, d'adapter le Modèle d'Acteur (quelque chose utilisé dans les systèmes distribués depuis des décennies). Nous pouvons alors avoir des acteurs privés qui peuvent interagir avec des acteurs publics contrôlant l'état partagé. Ou nous pourrions avoir des acteurs semi-privés (l'état est connu d'un certain ensemble d'utilisateurs, mais pas de l'ensemble du réseau) et ceux-ci peuvent également interagir à la fois avec des acteurs entièrement privés ou des acteurs publics. C'est un modèle très puissant qui couvre un grand nombre de cas d'utilisation DeFi - des AMM anonymes et des CLBOs, aux stablecoins conformes privés. Et une autre chose agréable : pour écrire ces protocoles DeFi, nous n'avons pas besoin d'ingénieurs qui comprennent les ZKPs - vous pouvez tout écrire en Rust. J'aime bien la FHE - une technologie vraiment cool et elle permet quelques cas d'utilisation que les ZKPs ne peuvent pas traiter (c'est-à-dire avoir un état partagé véritablement privé) - mais cela entraîne également un énorme surcoût en termes de performance pour le réseau. La beauté des ZKPs est qu'ils réduisent en fait la charge du réseau - une transaction prouvée localement n'a pas besoin d'être exécutée par le réseau (la vérification des preuves ZK est très bon marché) - nous appelons ce concept la blockchain Edge. Alors qu'avec la FHE, chaque transaction devient 100x (ou 1000x) plus coûteuse pour le réseau. Les ASICs aideront ici, c'est sûr, mais cela signifie aussi que chaque nœud de validation devra faire fonctionner ces ASICs sinon il ne pourra pas suivre le réseau. Et exiger que chaque nœud ait un ASIC, c'est un peu comme exiger que chaque nœud Bitcoin soit un mineur.