Succinct lance SP1 : Machine virtuelle à zéro connaissance à performances avancées
Succinct est un projet de zero connaissance très médiatisé, dont le produit phare SP1 est considéré comme le zkVM le plus performant du moment.
SP1 a les caractéristiques suivantes :
• La vitesse de preuve est jusqu'à 28 fois plus rapide que celle des autres zkVM, avec une réduction significative des coûts.
• Prise en charge de l'écriture de preuves à divulgation nulle de connaissance en langage Rust, augmentation de l'efficacité de développement d'un facteur de cent.
• A été audité par plusieurs entreprises de sécurité et adopté par plusieurs projets renommés
Introduction à SP1
SP1 est une Machine virtuelle à connaissance nulle universelle (zkVM), permettant aux développeurs d'écrire du code dans des langages populaires comme Rust et de générer des preuves à connaissance nulle efficaces, pour vérifier l'exécution correcte des programmes.
Son innovation principale réside dans la réduction significative des barrières à la création de preuves à divulgation nulle de connaissance, tout en maintenant des performances et une flexibilité de premier ordre. SP1 rend le développement d'applications à divulgation nulle de connaissance aussi simple que l'écriture d'un logiciel ordinaire, en offrant un soutien à la vérifiabilité pour les infrastructures blockchain ( telles que Rollup, des ponts inter-chaînes, des oracles, etc. ).
La technologie de preuve à connaissance nulle ( ZKP ) peut prouver la validité des calculs sans divulguer les données d'entrée, et a de nombreuses applications dans le domaine de la blockchain :
• Mise à l'échelle via Rollup
• Promouvoir l'interopérabilité inter-chaînes
• Protéger la vie privée des transactions
• Vérifier les données hors chaîne
La complexité, la durée et le coût élevés du développement traditionnel des ZKP ont été complètement transformés par l'apparition de SP1.
Principales caractéristiques de SP1
Performance de pointe dans l'industrie
Dans des charges de travail blockchain réelles, SP1 est 4 à 28 fois plus rapide que d'autres zkVM. La dernière version SP1 Turbo vérifie les blocs de la chaîne principale Ethereum sur un cluster GPU en seulement 40 secondes, avec des coûts réduits à quelques centimes.
Support du développement Rust
SP1 permet d'écrire directement la logique ZKP avec Rust et de réutiliser les bibliothèques de l'écosystème Rust existant. Les développeurs peuvent facilement transformer le code des nœuds de blockchain existants en applications ZKP.
Mécanisme de précompilation
SP1 introduit un mécanisme de précompilation, optimisant fortement les opérations cryptographiques courantes ( telles que keccak, sha256, et la vérification des signatures ), améliorant ainsi considérablement les performances. Par exemple, le temps de validation du client léger ZK Tendermint sous SP1 est réduit de 2,2 heures à 4,6 minutes.
Sécurité open source
SP1 entièrement open source ( sous licence MIT/Apache 2.0 ). Son architecture modulaire permet une précompilation personnalisée, optimisant les performances pour des scénarios spécifiques. SP1 a attiré des développeurs de plusieurs projets renommés pour contribuer à son amélioration.
SP1 a été audité par plusieurs entreprises de sécurité ZK de premier plan et a obtenu un score de zéro vulnérabilités critiques lors d'un concours d'audit public.
Adoption généralisée
Plusieurs projets connus ont adopté SP1 pour construire des ZKP, garantissant plus de 1 milliard de dollars d'actifs en chaîne (TVL). SP1 devient un composant standard de l'infrastructure blockchain.
Cas d'utilisation de SP1
SP1 a de nombreuses applications dans le domaine de la blockchain :
• Rollup : Construire un ZK Rollup, générer des preuves de transition d'état, connecter des chaînes principales comme Ethereum.
• Pont inter-chaînes : valider le consensus entre différentes chaînes, construire un pont inter-chaînes sécurisé et efficace.
• Interopérabilité : réaliser la détermination rapide et l'interopérabilité entre les Rollups
• Oracles : prennent en charge le calcul à grande échelle hors chaîne et génèrent des preuves vérifiables sur la chaîne
• Protection de la vie privée : réaliser des transactions et des états privés
• Agrégation de preuves : agrégation de ZKP similaires, réduisant davantage le coût de vérification sur la chaîne.
SP1 apporte une transformation révolutionnaire à l'écosystème de la blockchain, rendant la technologie de preuve à divulgation nulle plus facile à utiliser, plus efficace et plus répandue.
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.
19 J'aime
Récompense
19
4
Reposter
Partager
Commentaire
0/400
PessimisticLayer
· 07-28 14:26
Performance bull exceptionnel, à attendre avec impatience.
Voir l'originalRépondre0
DevChive
· 07-25 19:19
rust est vraiment bon
Voir l'originalRépondre0
BlockchainThinkTank
· 07-25 19:16
Les bases sont bonnes mais nécessitent une observation.
SP1 : Succinct lance une machine virtuelle à connaissance nulle performante.
Succinct lance SP1 : Machine virtuelle à zéro connaissance à performances avancées
Succinct est un projet de zero connaissance très médiatisé, dont le produit phare SP1 est considéré comme le zkVM le plus performant du moment.
SP1 a les caractéristiques suivantes :
• La vitesse de preuve est jusqu'à 28 fois plus rapide que celle des autres zkVM, avec une réduction significative des coûts. • Prise en charge de l'écriture de preuves à divulgation nulle de connaissance en langage Rust, augmentation de l'efficacité de développement d'un facteur de cent. • A été audité par plusieurs entreprises de sécurité et adopté par plusieurs projets renommés
Introduction à SP1
SP1 est une Machine virtuelle à connaissance nulle universelle (zkVM), permettant aux développeurs d'écrire du code dans des langages populaires comme Rust et de générer des preuves à connaissance nulle efficaces, pour vérifier l'exécution correcte des programmes.
Son innovation principale réside dans la réduction significative des barrières à la création de preuves à divulgation nulle de connaissance, tout en maintenant des performances et une flexibilité de premier ordre. SP1 rend le développement d'applications à divulgation nulle de connaissance aussi simple que l'écriture d'un logiciel ordinaire, en offrant un soutien à la vérifiabilité pour les infrastructures blockchain ( telles que Rollup, des ponts inter-chaînes, des oracles, etc. ).
La technologie de preuve à connaissance nulle ( ZKP ) peut prouver la validité des calculs sans divulguer les données d'entrée, et a de nombreuses applications dans le domaine de la blockchain :
• Mise à l'échelle via Rollup • Promouvoir l'interopérabilité inter-chaînes • Protéger la vie privée des transactions • Vérifier les données hors chaîne
La complexité, la durée et le coût élevés du développement traditionnel des ZKP ont été complètement transformés par l'apparition de SP1.
Principales caractéristiques de SP1
Dans des charges de travail blockchain réelles, SP1 est 4 à 28 fois plus rapide que d'autres zkVM. La dernière version SP1 Turbo vérifie les blocs de la chaîne principale Ethereum sur un cluster GPU en seulement 40 secondes, avec des coûts réduits à quelques centimes.
SP1 permet d'écrire directement la logique ZKP avec Rust et de réutiliser les bibliothèques de l'écosystème Rust existant. Les développeurs peuvent facilement transformer le code des nœuds de blockchain existants en applications ZKP.
SP1 introduit un mécanisme de précompilation, optimisant fortement les opérations cryptographiques courantes ( telles que keccak, sha256, et la vérification des signatures ), améliorant ainsi considérablement les performances. Par exemple, le temps de validation du client léger ZK Tendermint sous SP1 est réduit de 2,2 heures à 4,6 minutes.
SP1 entièrement open source ( sous licence MIT/Apache 2.0 ). Son architecture modulaire permet une précompilation personnalisée, optimisant les performances pour des scénarios spécifiques. SP1 a attiré des développeurs de plusieurs projets renommés pour contribuer à son amélioration.
SP1 a été audité par plusieurs entreprises de sécurité ZK de premier plan et a obtenu un score de zéro vulnérabilités critiques lors d'un concours d'audit public.
Plusieurs projets connus ont adopté SP1 pour construire des ZKP, garantissant plus de 1 milliard de dollars d'actifs en chaîne (TVL). SP1 devient un composant standard de l'infrastructure blockchain.
Cas d'utilisation de SP1
SP1 a de nombreuses applications dans le domaine de la blockchain :
• Rollup : Construire un ZK Rollup, générer des preuves de transition d'état, connecter des chaînes principales comme Ethereum. • Pont inter-chaînes : valider le consensus entre différentes chaînes, construire un pont inter-chaînes sécurisé et efficace. • Interopérabilité : réaliser la détermination rapide et l'interopérabilité entre les Rollups • Oracles : prennent en charge le calcul à grande échelle hors chaîne et génèrent des preuves vérifiables sur la chaîne • Protection de la vie privée : réaliser des transactions et des états privés • Agrégation de preuves : agrégation de ZKP similaires, réduisant davantage le coût de vérification sur la chaîne.
SP1 apporte une transformation révolutionnaire à l'écosystème de la blockchain, rendant la technologie de preuve à divulgation nulle plus facile à utiliser, plus efficace et plus répandue.