Ziren 2.0 est lancé et se trouve au cœur de la pile du réseau GOAT.
GOAT affirme que chaque transition d’état de son zkEVM est prouvée par Ziren, tandis que son bridge BitVM3 est conçu pour finaliser les transactions à partir de ces preuves. Ziren 2.0 représente donc une avancée importante pour le réseau.
CE QUI A CHANGÉ
Ziren 2.0 remplace son cœur de génération de preuves par un système jagged-over-WHIR, reconstruit au fil de 1 690 commits.
Le nouveau système combine les vérifications des règles des circuits, utilise les données à leur taille réelle sans remplissage et s’appuie sur des engagements fondés sur le hachage. Les programmes existants se compilent sans modification en Rust, C et Go.
LES CHIFFRES
- 8,6 secondes pour générer une preuve d’un bloc moyen du réseau principal Ethereum avec quatre GPU
- Coût moyen : 0,0061 $ par preuve, selon Ethproofs (3 nov.)
- Taille finale de la preuve : environ 284 Kio
- Vérification native : environ 25 millisecondes
- Un bloc de 358 millions de cycles : 51,3 secondes sur un GPU, 16,7 sur quatre
- Quinze blocs consécutifs du réseau principal prouvés à l’aide de Reth et Geth
LE VOLET SÉCURITÉ
Le déterminisme est vérifié par machine dans Lean : 57 circuits, 104 théorèmes, tous démontrés. L’article fait état de plus de 100 bits de solidité interactive par étape de génération de preuve et de 93,5 bits de sécurité composite pour un bloc entier.
CE QUE CELA SIGNIFIE POUR GOAT
- Des preuves plus rapides et moins coûteuses comptent pour un réseau qui prouve chaque transition d’état
- Des preuves compactes et de taille fixe sont rapides à vérifier, ce qui convient à un bridge fondé sur les preuves
- Des benchmarks publics et des vérifications de sécurité consultables
- Un vérificateur fondé sur le hachage en cours de développement pour les protocoles de type BitVM
- Les programmes existants restent compatibles
L’approche fondée sur le hachage soutient également le projet post-quantique de GOAT, où elle doit remplacer une couche d’encapsulation exposée, fondée sur les couplages.
Ces benchmarks portent sur des blocs Ethereum, et non sur la charge de travail propre à GOAT. BitVM3 est toujours en développement et les chiffres proviennent de la documentation de ZKM, tandis qu’Ethproofs fournit une liste publique de benchmarks.
Détails : docs.zkm.io
GOAT affirme que chaque transition d’état de son zkEVM est prouvée par Ziren, tandis que son bridge BitVM3 est conçu pour finaliser les transactions à partir de ces preuves. Ziren 2.0 représente donc une avancée importante pour le réseau.
CE QUI A CHANGÉ
Ziren 2.0 remplace son cœur de génération de preuves par un système jagged-over-WHIR, reconstruit au fil de 1 690 commits.
Le nouveau système combine les vérifications des règles des circuits, utilise les données à leur taille réelle sans remplissage et s’appuie sur des engagements fondés sur le hachage. Les programmes existants se compilent sans modification en Rust, C et Go.
LES CHIFFRES
- 8,6 secondes pour générer une preuve d’un bloc moyen du réseau principal Ethereum avec quatre GPU
- Coût moyen : 0,0061 $ par preuve, selon Ethproofs (3 nov.)
- Taille finale de la preuve : environ 284 Kio
- Vérification native : environ 25 millisecondes
- Un bloc de 358 millions de cycles : 51,3 secondes sur un GPU, 16,7 sur quatre
- Quinze blocs consécutifs du réseau principal prouvés à l’aide de Reth et Geth
LE VOLET SÉCURITÉ
Le déterminisme est vérifié par machine dans Lean : 57 circuits, 104 théorèmes, tous démontrés. L’article fait état de plus de 100 bits de solidité interactive par étape de génération de preuve et de 93,5 bits de sécurité composite pour un bloc entier.
CE QUE CELA SIGNIFIE POUR GOAT
- Des preuves plus rapides et moins coûteuses comptent pour un réseau qui prouve chaque transition d’état
- Des preuves compactes et de taille fixe sont rapides à vérifier, ce qui convient à un bridge fondé sur les preuves
- Des benchmarks publics et des vérifications de sécurité consultables
- Un vérificateur fondé sur le hachage en cours de développement pour les protocoles de type BitVM
- Les programmes existants restent compatibles
L’approche fondée sur le hachage soutient également le projet post-quantique de GOAT, où elle doit remplacer une couche d’encapsulation exposée, fondée sur les couplages.
Ces benchmarks portent sur des blocs Ethereum, et non sur la charge de travail propre à GOAT. BitVM3 est toujours en développement et les chiffres proviennent de la documentation de ZKM, tandis qu’Ethproofs fournit une liste publique de benchmarks.
Détails : docs.zkm.io