Pourquoi Polygon (MATIC) préfère-t-il les chaînes de méfiance pour la sécurité de la couche globale ?
Les utilisateurs de crypto-monnaies se méfient souvent des solutions d'interopérabilité de la blockchain, les camions blindés de la crypto-monnaie, en raison de leur vulnérabilité aux exploits et de la fréquence à laquelle ils sont ciblés en raison de la quantité d'actifs qui y circulent.
Ces craintes n'ont toutefois pas dissuadé Polygon (MATIC) Labs, les créateurs de la populaire solution de mise à l'échelle d'Ethereum, de se lancer dans l'ambitieuse feuille de route consistant à connecter autant de chaînes que possible à Ethereum par le biais de son pont AggLayer unifié. La solution de sécurité de l'équipe pour ce pont unifié a récemment été dévoilée : "Ce nouveau concept peut-il garantir la sécurité des fonds transférés à travers l'AggLayer ?
Comment fonctionnent les preuves pessimistes de Polygon (MATIC)
Introduites le mardi 28 mai, Polygon Labs a décrit les preuves pessimistes comme une "garantie cryptographique" qui permet aux chaînes de partager un pont sans hypothèses de confiance supplémentaires. En termes simples, il s'agit d'une assurance que tout est en ordre sur les chaînes connectées avant que les transferts d'actifs ne soient autorisés.
Le nom de la preuve à connaissance nulle vient de son hypothèse de base : "Toutes les chaînes ne sont pas fiables et ne peuvent pas faire bon ménage les unes avec les autres. Elle contraste fortement avec l'approche de rapprochement optimiste, qui suppose que les nœuds sont honnêtes et que les données transmises sont valides jusqu'à preuve du contraire.
La preuve pessimiste vise à garantir qu'aucune chaîne n'essaie de retirer plus d'actifs qu'elle n'en a en dépôt. Le système de preuve y parvient en vérifiant trois paramètres clés. Ces paramètres comprennent l'état de la chaîne lorsqu'une transaction est initiée, la comptabilité de la chaîne et la comptabilité de toutes les chaînes connectées.
Si tout est vérifié, une preuve valide est générée, permettant à la transaction de se produire. Grâce à cette méthode, Polygon entend s'assurer que la violation d'une chaîne n'entraîne pas une menace à l'échelle du réseau.
En attendant, au-delà de la sécurité, Polygon Labs a estimé que les preuves pessimistes seraient un atout pour l'adoption globale de la couche AggLayer.
Les preuves pessimistes ouvrent la couche AggLayer aux chaînes non ZK?
Comme le souligne Polygon Labs, le code pessimiste est écrit en Rust, un langage de programmation très répandu. Dans le même temps, la société explique que la preuve sera générée à l'aide de SP1 de Succinct Labs, une solution zkVM alimentée par le prouveur Plonky 3 de Polygon. SP1 permet aux développeurs de générer des preuves pour différents mécanismes de consensus.
Comme l'explique Polygon Labs, les capacités de SP1 permettront aux chaînes Non-ZK de rejoindre la couche AggLayer, ce qui pourrait être un avantage significatif pour les objectifs multichaînes du réseau. À l'heure où nous écrivons ces lignes, au moins trois chaînes tirent déjà parti de la solution d'interopérabilité de Polygon pour bénéficier d'une liquidité partagée. Ces chaînes comprennent OKX'S X Layer, Astar zkEVM et Polygon zkEVM.
On the Flipside
L'efficacité des preuves pessimistes dans la prévention des exploits n'a pas encore été mise à l'épreuve.
Pourquoi cela est important
Les exploits de ponts de blockchain ont représenté la plupart des exploits les plus importants de l'histoire de la cryptographie. En tant que pont destiné à connecter plusieurs blockchains, y compris Ethereum, l'AggLayer deviendra probablement une cible pour les pirates qui cherchent à faire un gros coup d'un seul coup. Les preuves pessimistes, cependant, semblent déjouer de tels efforts.
Source : DailyCoin / May 31, 2024