DApp Store | Hub Web3 pour les événements et les jeux

Rubriques tendance

Bobbin Threadbare

blockchains, preuves à divulgation nulle de connaissance, machines virtuelles. travailler sur @0xMiden

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.

6/ b) est le plus subtil et le plus difficile à comprendre. C'est là que ZK échoue. Pour comprendre pourquoi, considérons l'application de confidentialité la plus simple : zcash (pas de defi). Lorsque vous soumettez une transaction zcash protégée, vous produisez une preuve qui dit, en gros, "J'envoie des pièces de sorte que mon solde reste >0 après cette transaction." Eh bien, si vous agrégerez 1000 de ces transactions et que vous regardez l'état de la chaîne en tant qu'extérieur, que savez-vous de l'état ? Rien. Maintenant, imaginez essayer de faire du DeFi par-dessus cela. Comment faites-vous du DeFi si votre transaction ne peut littéralement pas voir ou interagir avec les actifs de quelqu'un d'autre ? Une multitude d'équipes ont essayé de résoudre ce problème au cours de la dernière décennie, y compris Aztec, Aleo, et probablement pas mal d'autres que je ne peux pas rappeler en ce moment. Le défi fondamental auquel chacune de ces équipes doit faire face est le défi décrit ci-dessus. En gros, comment concevoir des ZKPs pour permettre à des informations sélectives d'être vues par le monde extérieur (par exemple, combien de garanties soutiennent un prêt) ? Maintenant, considérez être un développeur DeFi. Vous devez non seulement concevoir votre protocole DeFi, mais vous devez le faire 1) d'une manière partiellement entravée, et 2) vous devez comprendre comment fonctionnent les ZKPs. Qui veut être le développeur construisant un système DeFi qui a des chiffres à 9 ou 10 chiffres avec tous ces risques supplémentaires ? C'est des choses effrayantes. Beaucoup des équipes zk DeFi ont travaillé pour essayer de rendre ces choses plus compréhensibles, mais la réalité sous-jacente est juste extrêmement difficile à gérer. De plus, cela nécessite de reconstruire chaque primitive DeFi depuis le début. Le défi fondamental ici est que le DeFi tel que nous le connaissons actuellement *nécessite la capacité de raisonner sur un état partagé globalement.* Peut-être qu'il existe un moyen de reconstruire le DeFi depuis le début avec un raisonnement sélectif, mais je suis extrêmement sceptique à ce sujet. Et démontrer cette affirmation au monde entier d'une manière que tout le monde croira sera une entreprise de dix ans étant donné combien de risques techniques il y a avec des dizaines de circuits zk sur mesure. Alors, qu'est-ce que FHE ? FHE vous permet de calculer sur des données chiffrées. Cela a été considéré comme le Saint Graal de la cryptographie pendant des décennies. Penser à un DeFi privé utilisant FHE comme construction cryptographique principale est en fait assez simple. Vous y pensez de la même manière que si c'était transparent ! C'est juste que, magiquement, tout n'est pas transparent, mais vous pouvez quand même calculer dessus de toute façon. Oui, c'est de la magie.

Meilleurs

Classement

Favoris