Succinct SP1 : Machine virtuelle à zéro connaissance polyvalente puissante
Succinct est un projet ZK de premier plan très en vue, dont le produit phare SP1 est considéré comme le zkVM le plus rapide actuellement.
SP1, en tant que machine virtuelle à preuve zéro générique, permet aux développeurs d'écrire du code ordinaire en Rust ou dans d'autres langages prenant en charge la compilation LLVM, afin de générer des preuves à zéro connaissance efficaces pour vérifier l'exécution correcte des programmes. Cela réduit considérablement le seuil de développement des preuves à zéro connaissance, permettant aux développeurs de construire des applications de calcul vérifiables dotées de la sécurité cryptographique aussi simplement que s'ils écrivaient un logiciel ordinaire.
Principales caractéristiques de SP1
Performance exceptionnelle : Sous des charges de travail blockchain réelles, la performance du SP1 est de 4 à 28 fois plus rapide que d'autres zkVM, proche des circuits dédiés optimisés manuellement. La dernière version SP1 Turbo (v4.0.0) valide les blocs du réseau principal Ethereum sur un cluster GPU en seulement 40 secondes, à un coût extrêmement bas.
Prise en charge du langage Rust : SP1 prend en charge l'écriture de la logique ZKP en Rust et permet la réutilisation directe des bibliothèques de l'écosystème Rust existantes. Cela permet aux développeurs de transformer rapidement le code des nœuds de blockchain existants en programmes générant des ZKP.
Mécanisme de précompilation : SP1 a introduit un mécanisme de précompilation, optimisant fortement les opérations cryptographiques courantes, réduisant ainsi considérablement les coûts de calcul. Par exemple, le temps de validation du client léger ZK Tendermint exécuté par SP1 a été réduit de 2,2 heures à 4,6 minutes.
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, optimisant ainsi 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 d'un concours d'audit public.
Partenaires diversifiés : Plusieurs projets renommés tels que une chaîne, un niveau de disponibilité des données et une solution d'extension ont tous adopté SP1 pour construire des ZKP, garantissant la sécurité d'un grand nombre d'actifs en chaîne.
Cas d'application de SP1
SP1 a de nombreuses applications dans le domaine de la blockchain :
Solution d'extension : utilisée pour construire des ZK Rollup, générer des preuves de connaissance zéro pour la transformation d'état, connectant la chaîne principale pour réaliser un haut débit et des coûts bas.
Pont inter-chaînes : Vérifier le consensus entre différentes blockchains, construire un pont inter-chaînes sûr et efficace.
Interopérabilité : réaliser une détermination rapide et une interopérabilité entre les Rollups.
Oracle : prend en charge le calcul à grande échelle hors chaîne et génère des preuves vérifiables sur la chaîne, réduisant les coûts de Gas.
Protection de la vie privée : réaliser des transactions et des statuts privés, protéger la sécurité des données des utilisateurs.
Service d'agrégation : Agrège des ZKP similaires pour réduire davantage les coûts de vérification on-chain.
L'émergence de SP1 a favorisé l'application généralisée de la technologie de preuve à divulgation nulle de connaissance dans l'infrastructure blockchain, allant de l'extensibilité à la communication inter-chaînes, de la protection de la vie privée à la validation des données, apportant des changements révolutionnaires à l'ensemble du secteur.
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.
23 J'aime
Récompense
23
2
Partager
Commentaire
0/400
RektRecorder
· 07-23 06:56
zkvm a enfin fait une percée.
Voir l'originalRépondre0
PessimisticLayer
· 07-23 06:55
Peut-être qu'il faut encore tester les performances.
SP1 : Machine virtuelle générale à haute performance Succinct
Succinct SP1 : Machine virtuelle à zéro connaissance polyvalente puissante
Succinct est un projet ZK de premier plan très en vue, dont le produit phare SP1 est considéré comme le zkVM le plus rapide actuellement.
SP1, en tant que machine virtuelle à preuve zéro générique, permet aux développeurs d'écrire du code ordinaire en Rust ou dans d'autres langages prenant en charge la compilation LLVM, afin de générer des preuves à zéro connaissance efficaces pour vérifier l'exécution correcte des programmes. Cela réduit considérablement le seuil de développement des preuves à zéro connaissance, permettant aux développeurs de construire des applications de calcul vérifiables dotées de la sécurité cryptographique aussi simplement que s'ils écrivaient un logiciel ordinaire.
Principales caractéristiques de SP1
Performance exceptionnelle : Sous des charges de travail blockchain réelles, la performance du SP1 est de 4 à 28 fois plus rapide que d'autres zkVM, proche des circuits dédiés optimisés manuellement. La dernière version SP1 Turbo (v4.0.0) valide les blocs du réseau principal Ethereum sur un cluster GPU en seulement 40 secondes, à un coût extrêmement bas.
Prise en charge du langage Rust : SP1 prend en charge l'écriture de la logique ZKP en Rust et permet la réutilisation directe des bibliothèques de l'écosystème Rust existantes. Cela permet aux développeurs de transformer rapidement le code des nœuds de blockchain existants en programmes générant des ZKP.
Mécanisme de précompilation : SP1 a introduit un mécanisme de précompilation, optimisant fortement les opérations cryptographiques courantes, réduisant ainsi considérablement les coûts de calcul. Par exemple, le temps de validation du client léger ZK Tendermint exécuté par SP1 a été réduit de 2,2 heures à 4,6 minutes.
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, optimisant ainsi 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 d'un concours d'audit public.
Partenaires diversifiés : Plusieurs projets renommés tels que une chaîne, un niveau de disponibilité des données et une solution d'extension ont tous adopté SP1 pour construire des ZKP, garantissant la sécurité d'un grand nombre d'actifs en chaîne.
Cas d'application de SP1
SP1 a de nombreuses applications dans le domaine de la blockchain :
Solution d'extension : utilisée pour construire des ZK Rollup, générer des preuves de connaissance zéro pour la transformation d'état, connectant la chaîne principale pour réaliser un haut débit et des coûts bas.
Pont inter-chaînes : Vérifier le consensus entre différentes blockchains, construire un pont inter-chaînes sûr et efficace.
Interopérabilité : réaliser une détermination rapide et une interopérabilité entre les Rollups.
Oracle : prend en charge le calcul à grande échelle hors chaîne et génère des preuves vérifiables sur la chaîne, réduisant les coûts de Gas.
Protection de la vie privée : réaliser des transactions et des statuts privés, protéger la sécurité des données des utilisateurs.
Service d'agrégation : Agrège des ZKP similaires pour réduire davantage les coûts de vérification on-chain.
L'émergence de SP1 a favorisé l'application généralisée de la technologie de preuve à divulgation nulle de connaissance dans l'infrastructure blockchain, allant de l'extensibilité à la communication inter-chaînes, de la protection de la vie privée à la validation des données, apportant des changements révolutionnaires à l'ensemble du secteur.