Succinct SP1 : le zkVM le plus rapide actuellement
Succinct est un projet ZK de premier plan, dont le produit phare SP1 est actuellement le zkVM le plus rapide. Le projet a obtenu un financement de 55 millions de dollars.
SP1 a les caractéristiques suivantes :
• Performance de pointe, prouvant une vitesse jusqu'à 28 fois supérieure à celle des autres zkVM, avec des coûts considérablement réduits.
• 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.
• Prend en charge les applications de niveau production, a été audité par des professionnels et adopté par plusieurs grands projets.
I. Introduction à SP1
SP1 est une machine virtuelle à connaissance nulle générique (zkVM), permettant aux développeurs d'utiliser Rust ou d'autres langages prenant en charge la compilation LLVM pour écrire du code ordinaire, générant 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 du seuil de développement des preuves à divulgation nulle de connaissance, tout en maintenant d'excellentes performances et flexibilité. Cela rend le développement de ZKP aussi simple que l'écriture de logiciels ordinaires, permettant aux infrastructures blockchain ( telles que Rollup, ponts inter-chaînes, oracles, etc. ) de réaliser la vérifiabilité par le biais d'un code maintenable.
Les preuves à divulgation nulle d'information ( ZKP ) peuvent prouver la validité d'un calcul sans révéler aucune donnée d'entrée. Cette technologie est largement utilisée dans le domaine de la blockchain, y compris pour l'extension, l'interopérabilité, la protection de la vie privée, ainsi que pour les ponts et les oracles.
Cependant, le développement traditionnel des ZKP est très complexe, nécessitant une équipe de cryptographes professionnels, de longs cycles de développement et des coûts de maintenance élevés. L'apparition de SP1 a complètement changé cette situation.
Deuxièmement, les caractéristiques de SP1
1. Performance exceptionnelle
Dans les charges de travail réelles de la blockchain ( comme la validation des clients légers, Rollup, etc. ), SP1 est de 4 à 28 fois plus rapide que d'autres zkVM, avec des performances pouvant même rivaliser avec des circuits dédiés optimisés manuellement. La dernière version SP1 Turbo (v4.0.0), lorsqu'elle fonctionne sur un cluster GPU, valide les blocs de la chaîne principale Ethereum en seulement 40 secondes, à un coût aussi bas que quelques centimes.
2. Support du développement Rust
SP1 permet aux développeurs d'écrire la logique ZKP en Rust et de réutiliser directement les bibliothèques écologiques Rust existantes. Les développeurs peuvent utiliser le code des nœuds de blockchain existants avec des modifications simples pour générer des ZKP, ce qui évite le tracas d'écrire des circuits complexes depuis le début.
3. Mécanisme de pré-compilation
SP1 a introduit un mécanisme de "précompilation", fortement optimisé pour des opérations cryptographiques courantes ( telles que keccak, sha256, vérification de signature, etc. ). Ces précompilations réduisent considérablement la charge de calcul et améliorent de manière significative l'efficacité du traitement des charges de travail complexes sur la blockchain par SP1. Par exemple, SP1 exécute le client léger ZK Tendermint, réduisant le temps de validation de 2,2 heures à 4,6 minutes.
4. Open source et sécurité
SP1 est un projet entièrement open source ( sous licence MIT/Apache 2.0 ). Son architecture modulaire permet aux développeurs de personnaliser les "précompilations" pour optimiser les performances de cas d'utilisation spécifiques. SP1 a attiré des développeurs de plusieurs projets renommés pour collaborer à son amélioration.
De plus, le SP1 a été audité à plusieurs reprises 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 publiques.
5. Partenaires variés
De nombreux projets renommés ont adopté SP1 pour construire des ZKP, garantissant 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 configuration standard des infrastructures blockchain.
Trois, les cas d'application de SP1
SP1 a de nombreuses applications dans le domaine de la blockchain :
Rollup : Utilisation de SP1 pour construire un ZK Rollup, générant des preuves à connaissance nulle pour les transitions d'état, se connectant à des chaînes principales comme Ethereum ou Bitcoin, permettant un haut débit et des coûts réduits.
Pont inter-chaînes : SP1 peut vérifier le consensus Layer 1 ( tel que Tendermint ou client léger Ethereum ), construisant un pont inter-chaînes sécurisé et efficace.
Interopérabilité : Grâce à SP1, les Rollups peuvent réaliser une détermination rapide et une interopérabilité entre eux.
Oracle : SP1 prend en charge le calcul à grande échelle hors chaîne ( tel que les requêtes d'état historique, l'apprentissage automatique sur chaîne ), et génère des preuves vérifiables sur chaîne, réduisant considérablement les coûts de Gas.
Confidentialité : SP1 permet des transactions privées et des états, protégeant la sécurité des données des utilisateurs.
Agrégation : SP1 peut agréger des ZKP similaires, réduisant ainsi davantage le coût de validation sur la chaîne.
Voir l'original
Cette page peut inclure du contenu de tiers fourni à des fins d'information uniquement. Gate ne garantit ni l'exactitude ni la validité de ces contenus, n’endosse pas les opinions exprimées, et ne fournit aucun conseil financier ou professionnel à travers ces informations. Voir la section Avertissement pour plus de détails.
25 J'aime
Récompense
25
9
Reposter
Partager
Commentaire
0/400
LeekCutter
· 07-29 03:45
C'est juste un programmeur, il fait du Trading des cryptomonnaies.
Voir l'originalRépondre0
SchrodingerWallet
· 07-28 07:18
Avec ce multiplicateur de 28, on peut pulvériser des dizaines de zkvm.
Voir l'originalRépondre0
RugpullTherapist
· 07-26 04:26
Le magicien zkVM a encore fait des siennes.
Voir l'originalRépondre0
ZkProofPudding
· 07-26 04:25
28 fois plus rapide, c'est un peu incroyable.
Voir l'originalRépondre0
GateUser-c802f0e8
· 07-26 04:25
28x, c'est vraiment impressionnant.
Voir l'originalRépondre0
SoliditySlayer
· 07-26 04:20
le rouille est vraiment bon
Voir l'originalRépondre0
SnapshotBot
· 07-26 04:13
Ce gars est parti To the moon.
Voir l'originalRépondre0
NFTArtisanHQ
· 07-26 04:02
intersection fascinante des esthétiques de la connaissance nulle et des paradigmes de scalabilité... tout simplement à couper le souffle
Voir l'originalRépondre0
Hash_Bandit
· 07-26 04:00
vingt-huit fois plus rapide hein ? tout comme le minage ASIC contre GPU en '13... optimisation de hashrate impressionnante, je ne vais pas mentir
SP1 : La performance actuelle du zkVM est 28 fois supérieure à celle de ses concurrents.
Succinct SP1 : le zkVM le plus rapide actuellement
Succinct est un projet ZK de premier plan, dont le produit phare SP1 est actuellement le zkVM le plus rapide. Le projet a obtenu un financement de 55 millions de dollars.
SP1 a les caractéristiques suivantes :
• Performance de pointe, prouvant une vitesse jusqu'à 28 fois supérieure à celle des autres zkVM, avec des coûts considérablement réduits.
• 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.
• Prend en charge les applications de niveau production, a été audité par des professionnels et adopté par plusieurs grands projets.
I. Introduction à SP1
SP1 est une machine virtuelle à connaissance nulle générique (zkVM), permettant aux développeurs d'utiliser Rust ou d'autres langages prenant en charge la compilation LLVM pour écrire du code ordinaire, générant 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 du seuil de développement des preuves à divulgation nulle de connaissance, tout en maintenant d'excellentes performances et flexibilité. Cela rend le développement de ZKP aussi simple que l'écriture de logiciels ordinaires, permettant aux infrastructures blockchain ( telles que Rollup, ponts inter-chaînes, oracles, etc. ) de réaliser la vérifiabilité par le biais d'un code maintenable.
Les preuves à divulgation nulle d'information ( ZKP ) peuvent prouver la validité d'un calcul sans révéler aucune donnée d'entrée. Cette technologie est largement utilisée dans le domaine de la blockchain, y compris pour l'extension, l'interopérabilité, la protection de la vie privée, ainsi que pour les ponts et les oracles.
Cependant, le développement traditionnel des ZKP est très complexe, nécessitant une équipe de cryptographes professionnels, de longs cycles de développement et des coûts de maintenance élevés. L'apparition de SP1 a complètement changé cette situation.
Deuxièmement, les caractéristiques de SP1
1. Performance exceptionnelle
Dans les charges de travail réelles de la blockchain ( comme la validation des clients légers, Rollup, etc. ), SP1 est de 4 à 28 fois plus rapide que d'autres zkVM, avec des performances pouvant même rivaliser avec des circuits dédiés optimisés manuellement. La dernière version SP1 Turbo (v4.0.0), lorsqu'elle fonctionne sur un cluster GPU, valide les blocs de la chaîne principale Ethereum en seulement 40 secondes, à un coût aussi bas que quelques centimes.
2. Support du développement Rust
SP1 permet aux développeurs d'écrire la logique ZKP en Rust et de réutiliser directement les bibliothèques écologiques Rust existantes. Les développeurs peuvent utiliser le code des nœuds de blockchain existants avec des modifications simples pour générer des ZKP, ce qui évite le tracas d'écrire des circuits complexes depuis le début.
3. Mécanisme de pré-compilation
SP1 a introduit un mécanisme de "précompilation", fortement optimisé pour des opérations cryptographiques courantes ( telles que keccak, sha256, vérification de signature, etc. ). Ces précompilations réduisent considérablement la charge de calcul et améliorent de manière significative l'efficacité du traitement des charges de travail complexes sur la blockchain par SP1. Par exemple, SP1 exécute le client léger ZK Tendermint, réduisant le temps de validation de 2,2 heures à 4,6 minutes.
4. Open source et sécurité
SP1 est un projet entièrement open source ( sous licence MIT/Apache 2.0 ). Son architecture modulaire permet aux développeurs de personnaliser les "précompilations" pour optimiser les performances de cas d'utilisation spécifiques. SP1 a attiré des développeurs de plusieurs projets renommés pour collaborer à son amélioration.
De plus, le SP1 a été audité à plusieurs reprises 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 publiques.
5. Partenaires variés
De nombreux projets renommés ont adopté SP1 pour construire des ZKP, garantissant 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 configuration standard des infrastructures blockchain.
Trois, les cas d'application de SP1
SP1 a de nombreuses applications dans le domaine de la blockchain :
Rollup : Utilisation de SP1 pour construire un ZK Rollup, générant des preuves à connaissance nulle pour les transitions d'état, se connectant à des chaînes principales comme Ethereum ou Bitcoin, permettant un haut débit et des coûts réduits.
Pont inter-chaînes : SP1 peut vérifier le consensus Layer 1 ( tel que Tendermint ou client léger Ethereum ), construisant un pont inter-chaînes sécurisé et efficace.
Interopérabilité : Grâce à SP1, les Rollups peuvent réaliser une détermination rapide et une interopérabilité entre eux.
Oracle : SP1 prend en charge le calcul à grande échelle hors chaîne ( tel que les requêtes d'état historique, l'apprentissage automatique sur chaîne ), et génère des preuves vérifiables sur chaîne, réduisant considérablement les coûts de Gas.
Confidentialité : SP1 permet des transactions privées et des états, protégeant la sécurité des données des utilisateurs.
Agrégation : SP1 peut agréger des ZKP similaires, réduisant ainsi davantage le coût de validation sur la chaîne.