Succinct a démontré des connaissances zéro en temps réel prouvant pour les blocs Ethereum, générant des preuves cryptographiques en moins de 12 secondes.
Le ZKVM «Hypercube» SP1 de succinct a produit une preuve pour Ethereum Block 22309250 (143 transactions, 32 millions de gaz) en 10,8 secondes, et les références internes ont montré qu’elle pourrait prouver 93% des 10 000 blocs de file principale récents en moins de 12 secondes, avec une latence moyenne de 10,3 secondes.
La réalisation marque un saut technique pour l’espace de connaissances zéro, avec succinct déploiement d’un système de preuve entièrement nouveau basé sur des polynômes multilinéaires, des noyaux CUDA optimisés pour des opérations telles que Logup GKR et SUMCK, et une architecture cloud à faible latence couvrant des centaines de GPU. La co-fondatrice Uma Roy a caractérisé le jalon à la suite des progrès de l’ingénierie à travers la cryptographie, l’accélération matérielle et les systèmes distribués.
Roy a commenté,
«C’est l’homme de ZK sur le moment de la lune. Le prouvoir en temps réel d’Ethereum a atterri.
Si vous aviez demandé à quelqu’un dans ZK il y a 1 an si cela était possible, il aurait dit que c’était un fil de lune littéral. “
Alors que le jalon de la performance rétrécit l’écart de latence entre la génération de l’épreuve et le temps de bloc, le co-fondateur Ethereum Vitalik Buterin a décrit les limitations restantes.
Les résultats actuels représentent les performances des cas moyens, pas les pires cas. Buterin a souligné que, pour la prouvance en temps réel adapté à la sécurité de la couche 1, le pire des cas prouvant doit également rester dans les heures de bloc.
De plus, les preuves SP1 n’ont pas subi de vérification formelle et les besoins énergétiques planent près de 100 kW par preuve, bien au-dessus des 10 kW que Buterin considère viable pour la preuve à domicile. Il a également noté que l’expansion de la limite de gaz de la couche 1 d’Ethereum par ordre de grandeur reste subordonnée à une nouvelle efficacité de preuve.
Les discussions sur la communauté ont fait surface autour de la décentralisation et de la capacité de prouvance. Comme discuté dans le Forum des magiciens Ethereum, le chercheur Dankrad Odendaal a plaidé pour des objectifs de décentralisation matérielle temporairement relaxants pour les provers.
Odendaal a noté que la preuve des frais généraux avait chuté de plusieurs ordres de grandeur et que d’autres gains peuvent être possibles grâce à des améliorations architecturales ou à un matériel spécialisé.
Il a proposé que la prouvance soit réversible, contrairement à d’autres domaines de mise à l’échelle du protocole qui entraînent des charges permanentes. Si l’évolutivité pousse par rapport à la capacité des proverants, le réseau pourrait revenir à des limites de gaz inférieures sans pénalités de croissance de l’État à long terme.
Odendaal a également noté que la génération d’épreuves peut être parallélisée à travers les infrastructures distribuées, ce qui le rend moins sensible aux risques de centralisation que les nœuds complets. Même sans les frais généraux à un chiffre, la preuve distribuée sur de nombreuses machines pourrait atteindre des objectifs de latence tout en préservant une hypothèse d’honnêteté minoritaire pour l’intégrité du système.
Le déploiement de SP1 dans un contexte en temps réel est l’aboutissement à la fois de l’innovation cryptographique et de la coordination des infrastructures.
La mise en œuvre de succinct s’étend sur les déploiements à métal nu et les charges de travail distribuées réglées par des performances, mais les contraintes d’énergie et de vérification formelle illustrent que la prouvance reste sur une trajectoire, pas encore un critère de terminaison.
Des réductions supplémentaires de latence et de la puissance, ainsi que l’intégration au niveau du protocole, façonneront la capacité d’Ethereum à ancrer l’exécution minimisée par la confiance directement dans sa couche de base.
Mentionné dans cet article
(TagStotranslate) Ethereum
