Succinct : un projet ZK de premier plan et sa technologie SP1

Succinct est un projet de preuve à divulgation nulle de connaissance de premier plan (ZK), qui a actuellement achevé deux tours de financement, pour un total de 55 millions de dollars. Le produit phare du projet, SP1, est considéré comme la machine virtuelle à divulgation nulle de connaissance (zkVM) la plus rapide actuellement.

Les principaux avantages de SP1 incluent :

• Performance exceptionnelle, la vitesse de preuve est jusqu'à 28 fois plus rapide que d'autres zkVM, avec des coûts considérablement réduits.
• Prise en charge de l'écriture de ZKP en langage Rust, réutilisation des bibliothèques de code existantes, augmentant considérablement l'efficacité du développement.
• Adapté aux scénarios d'application de niveau production, ayant subi un audit de sécurité rigoureux, et adopté par plusieurs projets renommés.

Introduction au SP1

SP1 est une machine virtuelle zkVM polyvalente qui permet aux développeurs d'écrire du code standard en Rust ou dans d'autres langages compatibles avec la compilation LLVM, générant ainsi des preuves à connaissance nulle efficaces pour vérifier l'exécution correcte des programmes.

L'innovation clé de SP1 réside dans la réduction significative des barrières à la création de ZKP, tout en maintenant des performances et une flexibilité de premier ordre. Cela rend le développement de ZKP aussi simple que l'écriture de logiciels ordinaires, permettant à l'infrastructure blockchain ( comme Rollup, les ponts inter-chaînes, et les oracles, d'atteindre la vérifiabilité via un code maintenable.

La technologie ZKP a des applications vastes dans le domaine de la blockchain, y compris :

• Extensibilité : compresser un grand nombre de transactions en une seule preuve grâce à Rollup, afin de réduire la charge sur la chaîne principale.
• Interopérabilité : vérifier l'état de différentes chaînes, faciliter la communication inter-chaînes.
• Protection de la vie privée : garantir la confidentialité des transactions ou des états, protéger les données des utilisateurs.
• Ponts et oracles : validation sans confiance sur chaîne des données ou calculs hors chaîne.

L'apparition de SP1 a complètement changé la situation complexe, chronophage et coûteuse du développement traditionnel de ZKP.

Principales caractéristiques de SP1

1. zkVM de performance supérieure

Dans des charges de travail blockchain réelles, SP1 est 4 à 28 fois plus rapide que les autres zkVM, se rapprochant des performances des circuits dédiés optimisés manuellement. La dernière version SP1 Turbo )v4.0.0( vérifie les blocs du réseau principal Ethereum sur un cluster GPU en seulement 40 secondes, à un coût très bas.

2. Prise en charge de ZKP écrit en Rust

SP1 permet aux développeurs d'écrire la logique ZKP en Rust et de réutiliser directement les bibliothèques de l'écosystème Rust existantes. Les développeurs peuvent utiliser directement le code des nœuds de blockchain existants, et avec quelques modifications simples, ils peuvent générer des ZKP, simplifiant considérablement le processus de développement.

3. Mécanisme de précompilation

SP1 introduit un mécanisme de "précompilation" qui optimise fortement les opérations cryptographiques courantes, réduisant ainsi de manière significative les coûts de calcul. Par exemple, le temps de validation du client léger ZK Tendermint sur SP1 est réduit de 2,2 heures à 4,6 minutes.

4. Open source et sécurité

SP1 est entièrement open source sous la licence MIT/Apache 2.0, ), dont l'architecture modulaire permet aux développeurs de personnaliser les "précompilés" et d'optimiser les performances pour des cas d'utilisation spécifiques. SP1 a été audité par plusieurs entreprises de sécurité ZK de premier plan et a obtenu un score de zéro vulnérabilité critique lors de concours d'audit publics.

5. Collaboration étendue

De nombreux projets connus ont adopté SP1 pour construire des ZKP, garantissant plus de 1 milliard de dollars d'actifs en chaîne (TVL). SP1 devient une composante essentielle de l'infrastructure blockchain, avec des applications dans les domaines des Rollups, des ponts inter-chaînes, des oracles et des protocoles de confidentialité.

Scénarios d'application de SP1

SP1 a de nombreuses applications dans le domaine de la blockchain :

• Rollup : Construire un ZK Rollup, générer des preuves de connaissance zéro pour la transition d'état, connecter la chaîne principale pour réaliser un haut débit et des coûts bas.
• Pont inter-chaînes : valider le consensus Layer 1, construire un pont inter-chaînes sécurisé et efficace.
• Interopérabilité : Permettre une détermination rapide et interopérabilité entre les Rollups.
• Oracles : supportent le calcul à grande échelle hors chaîne et génèrent des preuves vérifiables sur chaîne, réduisant ainsi les coûts de Gas.
• Protection de la vie privée : réaliser des transactions et des états privés, protéger les données des utilisateurs.
• Agrégation : Regrouper des ZKP similaires pour réduire davantage le coût de vérification sur la chaîne.

L'apparition de SP1 a apporté une transformation révolutionnaire à l'infrastructure blockchain, ouvrant la voie à davantage d'applications innovantes.