- Le co-fondateur d'Ethereum, Vitalik Buterin, a récemment laissé un casse-tête aux participants de l'industrie de la cryptographie.
- Agrippés à la paille, plusieurs membres de la communauté cryptographique ont répondu avec des blagues pleines d'esprit.
- L'énigme de Buterin est liée à un nouveau système de preuve qui promet de révolutionner la génération de preuves.
Hein?
C'est très probablement la première réaction des quelque 2,5 millions de personnes (y compris les robots ?) qui ont vu le message X criblé d'équations du co-fondateur d'Ethereum, Vitalik Buterin, du dimanche 28 avril, sur les nouvelles mathématiques facilitant la vérification cryptographique. La source de la confusion ? Aucune des équations ne semblait être en accord avec les lois mathématiques largement connues.
Le casse-tête de Buterin
« 2+2 = 0 », « 2*6 = 11 ». Ce sont quelques-unes des équations que Buterin a partagées dimanche, ajoutant : « Si vous l’utilisez, il devient beaucoup plus facile de faire des preuves de choses. Si vous savez, vous savez.
Mais personne ne semblait le savoir, laissant certains opter pour des réponses spirituelles et comiques à l’énigme mathématique.
Partage d'une capture d'écran d'une tentative d'obtenir la réponse du créateur de ChatGPT 4 DeGods NFT, Rohun « Frank » Vora commenté« bruh même gpt ne sait pas. »
Intervenant, « 0xWatchmen » affirmé« Je n'ai aucune connaissance de ce que cela essaie de prouver. »
Alors, Buterin a-t-il créé de nouvelles mathématiques, ou était-il simplement en train de troller ses partisans ? La réponse à ces deux questions est non. Alors, à quoi servent toutes ces équations étranges ?
Buterin parle de Binius : un changeur de jeu pour les preuves ZK ?
Il s'avère que le tweet de dimanche de Buterin était une préparation pour un nouvel ajout à son blog. Le lundi 29 avril, Buterin a publié le article de blog « Binius : des preuves très efficaces sur les champs binaires. » Le co-fondateur d’Ethereum a orienté le concept vers la création de preuves cryptographiques plus efficaces.
Comme la plupart des autres techniques de preuve, Binius utilise une structure mathématique spécialisée qui explique les équations d’aspect contre-intuitif partagées par Buterin. La structure mathématique spécialisée de Binius est appelée champs binaires. Avec les champs binaires, Buterin explique que Binius tente de mener l'évolution de la technologie de preuve « à sa conclusion logique, en construisant des systèmes de preuve qui fonctionnent encore plus rapidement en fonctionnant directement sur les zéros et les uns ».
Le concept Binius a ses racines dans un article de décembre 2023 par Benjamin E. Diamond et Jim Posen. Diamond est cryptographe chez Irreducible (anciennement Ulvetanna), une startup axée sur l'accélération de l'évolution de ZK. Posen est le directeur de la technologie et co-fondateur de l'entreprise.
Du côté inverse
- Même si Buterin a encouragé d'autres personnes à explorer Binius, il a également laissé échapper qu'il s'agissait d'un concept complexe qu'il lui a fallu un certain temps pour comprendre.
Pourquoi c'est important
Des experts de premier plan dans le domaine de la cryptographie suggèrent que les implémentations de ZK ouvriront de nouvelles frontières pour l'industrie, mais les premiers utilisateurs sont confrontés à des défis de coût et d'efficacité. Binius est le dernier système éprouvé qui promet de relever ces défis. Le succès et l'adoption du système entraîneraient également des effets positifs en termes de coût et de rapidité pour les utilisateurs des chaînes ZK.
Lisez ceci pour en savoir plus sur les développements ZK :
Voici comment le nouveau nœud Polygon (MATIC) améliore la mise à l'échelle de zkEVM
Découvrez les raisons de la récente baisse des prix d’Ethereum :
Pourquoi Ethereum perd les gains du week-end suscités par les espoirs de l'ETF