De la preuve par minute à la sécurité par slot : que signifie la validation en temps réel avec zkEVM ?

Rédaction : Tia, Techub News

Lorsque “la réalisation du zkEVM permet une validation en temps réel, réduisant le délai de preuve de 16 minutes à 16 secondes” est mentionnée à plusieurs reprises, elle est souvent comprise comme une simple amélioration des performances. Cependant, dans le système zk, le temps n'est pas un indicateur neutre.

La variation d'échelle des retards détermine directement si le zkEVM peut entrer dans le chemin critique temporel du système, modifiant ainsi son rôle dans l'architecture.

16 secondes ne signifie pas seulement « plus rapide », mais c'est la première fois que la preuve zk est introduite à une échelle de temps proche du slot de bloc. Cette étape a un impact fondamentalement différent sur L2 zkEVM et L1 zkEVM.

Sur L2 zkEVM : de la « finalité rétroactive » à un état de confiance au niveau de slot

Dans L2 zkEVM, la fonction de preuve zk est de prouver à Ethereum L1 la validité d'une transition d'état L2.

Un retard de preuve d'environ 16 minutes signifie une contrainte réelle :

Bien que L2 possède une finalité immédiate en théorie, en pratique, sa confirmation de sécurité est toujours retardée de plusieurs cycles de blocs.

Cela a conduit les blocs L2 à être dans un état de « confirmation douce » pendant une longue période :

Pour les utilisateurs, l'expérience est immédiate.

Il faut encore attendre pour L1 et les systèmes externes.

Lorsque le délai de preuve a chuté à environ 16 secondes, cette structure a subi une transformation qualitative.

Tout d'abord, les preuves zk peuvent être générées en roulant par slot, plutôt que de combler massivement à travers de nombreux blocs historiques.

Cela signifie que les blocs de L2 possèdent enfin une signification de sécurité temporelle proche de celle de L1, et ne sont plus simplement des états intermédiaires en attente de confirmation finale.

Deuxièmement, cela affecte directement le modèle de confiance des systèmes inter-domaines.

Les ponts inter-chaînes, le dépôt CEX et le système de règlement peuvent s'appuyer sur les résultats de vérification zk sur L1 en temps réel, sans avoir besoin de mettre en place des fenêtres d'attente supplémentaires ou un contrôle de risque manuel.

Plus important encore, le zkEVM égalise pour la première fois l'expérience utilisateur avec l'Optimistic Rollup. La voie zk n'est plus seulement une “couche de règlement sécurisée mais lente”, mais commence à devenir un environnement d'exécution capable de prendre en charge des applications en temps réel.

Concernant L1 zkEVM : zk approche pour la première fois l'échelle temporelle du consensus.

L1 zkEVM n'est pas un Rollup, mais une reconstruction potentielle de la méthode de validation d'exécution de L1.

L'hypothèse de consensus actuelle d'Ethereum est la suivante : chaque validateur doit réexécuter l'EVM et vérifier personnellement que les transitions d'état dans le bloc sont correctes. La capacité d'exécution devient ainsi une partie de la sécurité du consensus et constitue une contrainte stricte pour l'évolutivité du système.

L'idée de L1 zkEVM est de changer cela : il n'est plus nécessaire que les validateurs exécutent l'EVM, il leur suffit de vérifier une preuve zk.

La validité du bloc passe de “J'ai calculé” à “J'ai vérifié un fait cryptographique.”

Mais cette conception a une condition préalable : les preuves zk doivent être suffisamment rapides pour entrer dans le chemin critique du consensus.

Si la génération de la preuve prend plusieurs minutes, elle ne peut servir que de vérification a posteriori ; ce n'est que lorsque le délai de la preuve se rapproche du temps de slot que le zk peut avoir la possibilité de participer à cette évaluation en temps réel de « l'efficacité du bloc ».

Ainsi, la signification de 16 secondes ne réside pas dans le fait que c'est « suffisamment rapide », mais dans le fait que le zkEVM n'est plus exclu du design de consensus sur l'échelle temporelle pour la première fois.

C'est aussi pourquoi la discussion sur le L1 zkEVM est fortement axée sur la sécurité 128 bits, la théorie des preuves et les hypothèses cryptographiques à long terme. Une fois que zk entre dans le chemin de consensus, son niveau de sécurité est équivalent à celui des fonctions de hachage et des algorithmes de signature.

D'un point de vue plus macro, cela se situe sur la même ligne logique que les directions que l'Ethereum est en train de promouvoir, telles que la snarkification et Beam Chain.

La couche de consensus vise la simplicité, la stabilité et la vérification formalisable ; la couche d'exécution peut être complexe, parallèle et externalisée ; tandis que la correction est compressée et prouvée par zk.

Résumé

Ainsi, « la preuve de délai passant de 16 minutes à 16 secondes » n'est pas une simple avancée en performance, elle marque l'évolution de zkEVM d'un « outil de sécurité de preuve postérieure » à une « infrastructure pouvant participer à la définition de la finalité en temps réel ».

Et une fois que l'échelle temporelle de zk approche du slot, les composants qui sont centraux dans le système et ceux qui ne sont que des accessoires seront souvent réécrits.