DeFi parie gros sur «zéro connaissance» - la technologie est-elle prête?

Dans les 36 heures de la semaine dernière, Polygon, zkSync et Scroll ont taquiné leurs propres versions imminentes du "saint graal" de la technologie de couche 2 — la machine virtuelle Ethereum à connaissance nulle (zkEVM). 

Les annonces ont soulevé des sourcils. Blockworks a parlé avec plusieurs programmeurs qui se sont demandé à quel point l'espace est vraiment proche d'un zkEVM fonctionnel.

Les ZkEVM augmenteraient considérablement Ethereum vitesse de transaction de couche 2 sur le statu quo de rollups optimistes. Le co-fondateur de la blockchain Vitalik Buterin a a salué la technologie comme l'avenir de la mise à l'échelle d'Ethereum.

Les cumuls sans connaissance déplacent les transactions hors chaîne pour vérification avant d'envoyer un lot de données à régler sur Ethereum. Le processus s'appuie sur un soi-disant « prouveur » qui peut étiqueter les données comme vraies ou fausses tout en préservant la confidentialité des utilisateurs.

Les prouveurs sont essentiels pour ces types de solutions de mise à l'échelle. Pour certains, les annonces zkEVM de cette semaine ne contenaient pas suffisamment d'indications qu'une équipe ait créé un prouveur fonctionnel.

"Nous n'en sommes pas au point où une équipe dispose d'un prouveur zkEVM qui fonctionne", a déclaré Steven Goldfeder, PDG d'Offchain Labs, le développeur à l'origine du rollup optimiste Arbitrum. "Ce que je pense qu'il se passe, c'est qu'ils sont assez loin de la production."

Sans oublier que les séquenceurs de couche 2 sont toujours centralisés et que la plupart des constructeurs de zkEVM n'ont pas encore rendu leurs prouveurs - le cœur de la technologie - open source.

Polygon, le géant de la couche 2 qui a récemment annoncé un partenariat apporter des jetons non fongibles (NFT) à Meta, a rendu public son code zkEVM. Polygon pense que la clarification de son code place l'entreprise devant Scroll et zkSync, dont aucun n'a publié publiquement son prouveur.

Mais certains se demandent si le code de Polygon est aussi "complet" qu'annoncé. Le code du prouveur Polygon chargé sur GitHub n'est pas entièrement fonctionnel. Des sources familières avec la technologie ont exprimé des doutes sur le code de Polygon, l'une d'entre elles remettant en question la capacité de Polygon à exécuter des preuves dans l'état actuel du programme.

David Schwartz, responsable technique chez Polygon Hermez, a déclaré à Blockworks dans un e-mail que le code était un travail en cours. Les sections de code commentées dans le GitHub du projet ne sont actuellement pas opérationnelles.

"Nous ne cachons rien, ni dans la documentation ni dans le code", a déclaré Schwartz. "Des concurrents comme Starkware ou zkSync n'ouvrent pas du tout leurs réseaux [sans connaissance]."

Starkware, la société à l'origine de StarkNet, un cumul de connaissances zéro avec un prouveur open-source, a souligné que la technologie zkEVM n'est pas simple.

Construire un prouveur est « une tâche herculéenne en termes de mathématiques, d'ingénierie et de logiciels. Nous avons une équipe de 100 personnes et nous y travaillons depuis quatre ans », Eli Ben Sasson, le président de la société, a déclaré à Blockworks lors d'un appel téléphonique d'EthCC. 

Même en supposant que les zkEVM ont des prouveurs fonctionnels, rendre le code du prouveur public rapprocherait les couches 2 de l'idéal décentralisé de la blockchain.

"Si le prouveur est open-source, vous pouvez vérifier ce qui est fait avec les fonds", Dan Yanev, directeur des produits du protocole de marché monétaire de couche 2 Rhino.fi, a déclaré à Blockworks. 

"Ces entreprises subissent des pressions pour avoir quelque chose entre les mains des utilisateurs", a déclaré Yanev à propos des couches 2. 

Pourtant, Yanev a qualifié le prouveur open source de Polygon de "grand pas" pour les zkEVM et reste optimiste sur le fait que les réseaux de couche 2 se décentraliseront à mesure que la technologie mûrira.

D'autre part, Goldfeder, dont la société fonctionne sur des cumuls optimistes, estime que le coût élevé des preuves à connaissance nulle empêchera les zkEVM d'être financièrement viables à long terme.

"La mise à l'échelle doit provenir de solutions de mise à l'échelle, et non d'un financement [en capital-risque]", a déclaré Goldfeder.

Scroll et zkSync n'ont pas renvoyé immédiatement les demandes de commentaires.

Recevez chaque soir les meilleures nouvelles et informations cryptographiques de la journée dans votre boîte de réception. Abonnez-vous à la newsletter gratuite de Blockworks maintenant.