Cracks Succincts Vérification ZK Arbitrum : Que s'est-il passé ?

Succinct vient d'atteindre un point de contrôle majeur : ils ont réussi à prouver de véritables blocs Arbitrum on-chain en utilisant des preuves à connaissance nulle. Nous parlons de blocs Arbitrum complets, tant des contrats EVM (Solidity) que du nouveau runtime Stylus (Rust/C) dans une seule preuve. C'est le genre de chose qui ne fonctionne que si l'infrastructure est réellement solide.

Pour réaliser cela, Succinct a dû intégrer un certain travail lourd dans son système de preuve SP1 :

• Opérations d'accès mémoire qui n'augmentent pas la taille de la preuve
• Transpilation WASM vers RISC-V (réécriture de WebAssembly dans un format que ZK peut réellement gérer)

Le timing coïncide avec leur partenariat d'août avec Tandem pour une livraison exclusive d'Arbitrum ZK. Donc, ce jalon n'est pas seulement une démonstration—c'est la première véritable preuve que la pile Arbitrum + Succinct compile réellement.

Pourquoi c'est important : Si les preuves ZK des blocs Arbitrum deviennent fiables et évolutives, cela constitue un autre vecteur pour la vérification inter-chaînes et les protocoles de clients légers. Arbitrum bénéficie d'une interopérabilité plus rapide, Succinct valide la viabilité technique de leur approche.