Succinct : le projet pionnier qui mène l'innovation des technologies ZK
Succinct est un projet de preuve à connaissance nulle très en vue, dont le produit phare SP1 est considéré comme le zkVM le plus rapide du moment. Ce projet a levé un total de 55 millions de dollars lors de deux tours de financement.
Les principaux avantages de SP1 incluent :
• La vitesse de preuve dépasse celle des autres zkVM jusqu'à 28 fois, avec une réduction significative des coûts.
• Prise en charge de l'écriture de ZKP en Rust, permettant la réutilisation des bibliothèques de code existantes, augmentant l'efficacité du développement de cent fois.
• Conçu pour des applications de niveau production, ayant subi un audit rigoureux et adopté par plusieurs grands projets.
Introduction à SP1
SP1 est une machine virtuelle à connaissance nulle polyvalente (zkVM), permettant aux développeurs d'écrire du code en Rust ou dans d'autres langages pris en charge par la compilation LLVM, générant des preuves à connaissance nulle efficaces pour vérifier l'exécution correcte des programmes.
L'innovation de SP1 réside dans sa capacité à réduire considérablement le seuil de développement des preuves à divulgation nulle de connaissance, tout en maintenant des performances et une flexibilité exceptionnelles. Il rend le développement de ZKP aussi simple que l'écriture d'un logiciel ordinaire, permettant aux infrastructures blockchain ( telles que Rollup, ponts inter-chaînes, oracles, etc. ) d'atteindre la vérifiabilité par le biais d'un code maintenable.
La preuve à divulgation nulle de connaissance (ZKP) permet de prouver la validité d'un calcul sans révéler aucune donnée d'entrée. Cette technologie a de nombreuses applications dans le domaine de la blockchain :
Scalabilité : grâce à Rollup, ZKP peut compresser un grand nombre de transactions en une preuve, allégeant ainsi considérablement la charge de la chaîne principale.
Interopérabilité : ZKP peut vérifier l'état de différentes chaînes, facilitant la communication inter-chaînes.
Confidentialité : ZKP assure la confidentialité des transactions ou des états, protégeant les données des utilisateurs.
Ponts et oracles : ZKP permet la validation sans confiance des données ou calculs hors chaîne sur la chaîne.
Cependant, la complexité du développement traditionnel des ZKP est extrêmement élevée, nécessitant une équipe de cryptographie spécialisée, de longs cycles de développement et des coûts de maintenance élevés. L'apparition de SP1 a complètement changé cette situation.
Caractéristiques de SP1
1. zkVM de haute performance
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, 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 fonctionne sur un cluster GPU, ne prend que 40 secondes pour valider un bloc de la chaîne principale Ethereum, avec des coûts réduits à quelques centimes.
2. Support du développement ZKP en Rust
SP1 permet aux développeurs d'écrire des logiques ZKP en Rust et de réutiliser directement les bibliothèques de l'écosystème Rust existantes. Cela permet aux développeurs d'utiliser directement le code des nœuds de blockchain existants, et avec quelques modifications simples, de générer des ZKP, évitant ainsi les 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", qui a été hautement optimisé pour des opérations cryptographiques courantes ( telles que keccak, sha256, la vérification de signature, etc. ). Ces pré-compilations réduisent considérablement les coûts de calcul et améliorent de manière significative la capacité de SP1 à traiter des charges de travail complexes sur la blockchain. Par exemple, SP1 exécute un client léger ZK Tendermint, réduisant le temps de vérification de 2,2 heures à 4,6 minutes.
4. Sécurité open source
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" et d'optimiser les performances pour des cas d'utilisation spécifiques. SP1 a attiré des développeurs de plusieurs projets renommés pour contribuer à son amélioration et a été audité à plusieurs reprises par des entreprises de sécurité ZK de premier plan, obtenant d'excellents résultats avec "zéro vulnérabilité critique" lors de compétitions d'audit publiques.
5. Coopération étendue
De nombreux projets connus ont adopté SP1 pour construire ZKP, garantissant plus de 1 milliard de dollars d'actifs en chaîne (TVL). Des Rollups aux ponts inter-chaînes, des oracles aux protocoles de confidentialité, SP1 devient une configuration standard des infrastructures blockchain.
Scénarios d'application de SP1
SP1 a réalisé diverses applications dans le domaine de la blockchain :
Rollup : Utiliser SP1 pour construire un ZK Rollup, générer des preuves à connaissance nulle de la transition d'état, se connecter à des chaînes principales comme Ethereum ou Bitcoin, et réaliser un haut débit et des coûts faibles.
Pont inter-chaînes : SP1 peut vérifier le consensus Layer 1 ( tel que Tendermint ou le client léger Ethereum ), construisant un pont inter-chaînes sécurisé et efficace.
Interopérabilité : grâce à SP1, il est possible d'atteindre une détermination rapide et une interopérabilité entre les Rollups.
Oracles : SP1 prend en charge le calcul hors chaîne à grande échelle ( tel que les requêtes d'état historique, l'apprentissage automatique sur 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 et des états privés, 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 vérification sur la chaîne.
La diversité des applications de SP1 démontre son rôle important dans le développement de la technologie blockchain, établissant ainsi une base solide pour l'innovation future.
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.
13 J'aime
Récompense
13
5
Reposter
Partager
Commentaire
0/400
GweiTooHigh
· 07-23 17:39
Cette course de points est presque aussi rapide que ma petite trottinette électrique.
Voir l'originalRépondre0
LucidSleepwalker
· 07-21 17:24
Je ne comprends absolument rien à la technologie, je suis un débutant !
Voir l'originalRépondre0
BearWhisperGod
· 07-21 01:46
Je l'observe depuis longtemps, bull.
Voir l'originalRépondre0
down_only_larry
· 07-21 01:35
Gagnez, gagnez, gagnez ! Le bull a dépassé le BTC.
Voir l'originalRépondre0
blockBoy
· 07-21 01:29
Je ne sais rien faire, je veux juste gagner de l'argent.
Succinct : Créer un zkVM efficace pour mener la nouvelle ère des infrastructures Blockchain.
Succinct : le projet pionnier qui mène l'innovation des technologies ZK
Succinct est un projet de preuve à connaissance nulle très en vue, dont le produit phare SP1 est considéré comme le zkVM le plus rapide du moment. Ce projet a levé un total de 55 millions de dollars lors de deux tours de financement.
Les principaux avantages de SP1 incluent :
• La vitesse de preuve dépasse celle des autres zkVM jusqu'à 28 fois, avec une réduction significative des coûts.
• Prise en charge de l'écriture de ZKP en Rust, permettant la réutilisation des bibliothèques de code existantes, augmentant l'efficacité du développement de cent fois.
• Conçu pour des applications de niveau production, ayant subi un audit rigoureux et adopté par plusieurs grands projets.
Introduction à SP1
SP1 est une machine virtuelle à connaissance nulle polyvalente (zkVM), permettant aux développeurs d'écrire du code en Rust ou dans d'autres langages pris en charge par la compilation LLVM, générant des preuves à connaissance nulle efficaces pour vérifier l'exécution correcte des programmes.
L'innovation de SP1 réside dans sa capacité à réduire considérablement le seuil de développement des preuves à divulgation nulle de connaissance, tout en maintenant des performances et une flexibilité exceptionnelles. Il rend le développement de ZKP aussi simple que l'écriture d'un logiciel ordinaire, permettant aux infrastructures blockchain ( telles que Rollup, ponts inter-chaînes, oracles, etc. ) d'atteindre la vérifiabilité par le biais d'un code maintenable.
La preuve à divulgation nulle de connaissance (ZKP) permet de prouver la validité d'un calcul sans révéler aucune donnée d'entrée. Cette technologie a de nombreuses applications dans le domaine de la blockchain :
Cependant, la complexité du développement traditionnel des ZKP est extrêmement élevée, nécessitant une équipe de cryptographie spécialisée, de longs cycles de développement et des coûts de maintenance élevés. L'apparition de SP1 a complètement changé cette situation.
Caractéristiques de SP1
1. zkVM de haute performance
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, 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 fonctionne sur un cluster GPU, ne prend que 40 secondes pour valider un bloc de la chaîne principale Ethereum, avec des coûts réduits à quelques centimes.
2. Support du développement ZKP en Rust
SP1 permet aux développeurs d'écrire des logiques ZKP en Rust et de réutiliser directement les bibliothèques de l'écosystème Rust existantes. Cela permet aux développeurs d'utiliser directement le code des nœuds de blockchain existants, et avec quelques modifications simples, de générer des ZKP, évitant ainsi les 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", qui a été hautement optimisé pour des opérations cryptographiques courantes ( telles que keccak, sha256, la vérification de signature, etc. ). Ces pré-compilations réduisent considérablement les coûts de calcul et améliorent de manière significative la capacité de SP1 à traiter des charges de travail complexes sur la blockchain. Par exemple, SP1 exécute un client léger ZK Tendermint, réduisant le temps de vérification de 2,2 heures à 4,6 minutes.
4. Sécurité open source
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" et d'optimiser les performances pour des cas d'utilisation spécifiques. SP1 a attiré des développeurs de plusieurs projets renommés pour contribuer à son amélioration et a été audité à plusieurs reprises par des entreprises de sécurité ZK de premier plan, obtenant d'excellents résultats avec "zéro vulnérabilité critique" lors de compétitions d'audit publiques.
5. Coopération étendue
De nombreux projets connus ont adopté SP1 pour construire ZKP, garantissant plus de 1 milliard de dollars d'actifs en chaîne (TVL). Des Rollups aux ponts inter-chaînes, des oracles aux protocoles de confidentialité, SP1 devient une configuration standard des infrastructures blockchain.
Scénarios d'application de SP1
SP1 a réalisé diverses applications dans le domaine de la blockchain :
Rollup : Utiliser SP1 pour construire un ZK Rollup, générer des preuves à connaissance nulle de la transition d'état, se connecter à des chaînes principales comme Ethereum ou Bitcoin, et réaliser un haut débit et des coûts faibles.
Pont inter-chaînes : SP1 peut vérifier le consensus Layer 1 ( tel que Tendermint ou le client léger Ethereum ), construisant un pont inter-chaînes sécurisé et efficace.
Interopérabilité : grâce à SP1, il est possible d'atteindre une détermination rapide et une interopérabilité entre les Rollups.
Oracles : SP1 prend en charge le calcul hors chaîne à grande échelle ( tel que les requêtes d'état historique, l'apprentissage automatique sur 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 et des états privés, 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 vérification sur la chaîne.
La diversité des applications de SP1 démontre son rôle important dans le développement de la technologie blockchain, établissant ainsi une base solide pour l'innovation future.