Analyse succincte de Succinct SP1 : le zkVM le plus rapide

Succinct, un projet ZK de premier plan, a levé 5500 dollars grâce à deux tours de financement menés par Paradigm.

Le produit phare de ce projet ZK de premier plan est le SP1, qui est également le zkVM le plus rapide actuellement.

• Performance de pointe, vitesse de preuve jusqu’à 28 fois plus rapide que d’autres zkVM, coût réduit à quelques centimes.

• Prise en charge de l’écriture de ZKP en Rust, réutilisation des bibliothèques de code existantes, augmentation de l’efficacité de développement de 100 fois.

• Prise en charge des cas d’utilisation de niveau production, auditée par des experts, adoptée par de grands projets tels que Polygon et Celestia.

Qu’est-ce que le SP1 ?

SP1 est une machine virtuelle à connaissance nulle (zkVM) polyvalente qui permet aux développeurs d’écrire du code ordinaire en Rust (ou dans tout autre langage prenant en charge la compilation LLVM) et de générer des preuves à connaissance nulle efficaces pour vérifier l’exécution correcte des programmes.

En termes simples, SP1 permet aux développeurs de créer rapidement des applications de calcul vérifiables avec une sécurité cryptographique en utilisant des langages de programmation familiers, sans avoir à étudier en profondeur des théories cryptographiques complexes.

L’innovation clé de SP1 réside dans le fait qu’elle réduit considérablement le seuil de développement des preuves à divulgation nulle de connaissance, tout en maintenant des performances et une flexibilité de premier ordre. Elle rend les ZKP aussi simples à écrire que des logiciels ordinaires, permettant ainsi aux infrastructures blockchain (comme Rollup, ponts inter-chaînes, oracles, etc.) d’atteindre la vérifiabilité grâce à un code maintenable.

La preuve à divulgation nulle d’information (ZKP ) peut prouver la validité d’un calcul sans révéler aucune donnée d’entrée. Cette capacité a d’innombrables cas d’application dans la blockchain :

• Scalabilité : Grâce aux Rollup, les ZKP peuvent compresser un grand nombre de transactions en une seule preuve, réduisant ainsi considérablement la charge sur la chaîne principale.
• Interopérabilité : ZKP peut vérifier l’état de différentes chaînes, facilitant la communication inter-chaînes.
• Vie privée : ZKP garantit la confidentialité des transactions ou des états, protégeant les données des utilisateurs.
• Ponts et oracles : ZKP permet la vérification sans confiance des données ou des calculs hors chaîne sur la chaîne. Cependant, la complexité du développement traditionnel de ZKP peut être qualifiée de “cauchemar”. Cela nécessite une équipe de cryptographie spécialisée, des années de cycles de développement et des coûts de maintenance élevés.

L’apparition du SP1 a complètement changé cette situation.

Les caractéristiques de SP1.

1. Le zkVM le plus rapide et le plus puissant actuellement

Il est de 4 à 28 fois plus rapide que d’autres zkVM sur des charges de travail blockchain réelles (comme la validation de clients légers, Rollup, etc.), et peut même rivaliser avec des circuits spécialisés optimisés manuellement. Sa dernière version SP1 Turbo (v4.0.0), lorsqu’elle est exécutée sur un cluster GPU, ne prend que 40 secondes pour valider des blocs de la chaîne principale Ethereum, à un coût aussi bas que quelques centimes.

2. Prise en charge de l’écriture de ZKP en Rust

SP1 permet aux développeurs d’écrire une logique ZKP dans Rust et de réutiliser directement les bibliothèques Rust existantes (par exemple, revm, reth, alloy, etc.).

Les développeurs peuvent simplement modifier légèrement le code des nœuds de blockchain existants pour générer des ZKP, évitant ainsi le tracas d’écrire des circuits complexes depuis le début.

3. Précompilation : l’arme secrète de la performance

SP1 a introduit un mécanisme de “précompilation”, optimisé pour des opérations cryptographiques courantes (comme keccak, sha256, vérification de signature, etc.). Ces précompilations réduisent considérablement les coûts de calcul, permettant à SP1 de traiter des charges de travail complexes sur la blockchain de manière plus efficace. Par exemple, SP1 exécute le client léger ZK Tendermint, réduisant directement le temps de vérification de 2,2 heures à 4,6 minutes.

4.100% Open source, sécurité du code

SP1 est 100 % open source (licence MIT/Apache 2.0). Son architecture modulaire permet aux développeurs de personnaliser les “précompilations” pour optimiser les performances dans des cas d’utilisation spécifiques. Contrairement aux zkVM fermés traditionnels, SP1 embrasse les contributions de la communauté et a attiré des développeurs de équipes telles que Polygon, Celestia, Sovereign Labs, etc. pour l’améliorer.

De plus, SP1 a été audité plusieurs fois par de nombreuses entreprises de sécurité ZK de premier plan et a obtenu d’excellents résultats avec “zéro vulnérabilité critique” lors des compétitions d’audit public.

5.Partenaire de qualité

Polygon, Celestia, Avail, Taiko et d’autres ont tous adopté le SP1 de Succinct pour construire des ZKP, sécurisant plus d’un milliard de dollars d’actifs on-chain (TVL). Des rollups aux ponts inter-chaînes, des oracles aux protocoles de confidentialité, SP1 est en train de devenir la norme pour l’infrastructure blockchain.

Trois. Scénarios d’application de SP1

SP1 a réalisé de nombreux cas d’utilisation sur la blockchain :

• Rollup : Construire un ZK Rollup avec SP1, générer des preuves de connaissance zéro pour la transition d’état, se connecter à des chaînes principales telles qu’Ethereum ou Bitcoin, réaliser un haut débit et des coûts bas. Par exemple, OP Succinct utilise SP1 pour fournir un moteur de preuve de niveau production pour OP Stack.
• Pont inter-chaînes : SP1 peut vérifier le consensus de Layer 1 (comme Tendermint ou le client léger d’Ethereum), construisant un pont inter-chaînes sécurisé et efficace. Par exemple, le Blobstream SP1 vérifie la racine des données de Celestia sur Ethereum, tandis que le Vector SP1 relaye la racine Merkle d’Avail vers Ethereum.
• Interopérabilité : Grâce à SP1, une détermination rapide et une interopérabilité peuvent être réalisées entre les Rollups, soutenant des projets tels que AggLayer de Polygon.
• Oracles : SP1 prend en charge le calcul à grande échelle hors chaîne (comme les requêtes d’état historique, l’apprentissage automatique sur la chaîne) et génère des preuves vérifiables sur la chaîne, réduisant considérablement les coûts de Gas.
• Confidentialité : SP1 permet des transactions privées et un statut, protégeant la sécurité des données des utilisateurs.
• Agrégation : SP1 peut agréger des ZKP similaires, réduisant ainsi le coût de la validation sur la chaîne, des projets comme Nebra explorent cette direction.