Succinct est un projet ZK de premier plan ayant levé 55 millions de dollars, dont le produit phare SP1 est considéré comme le zkVM le plus rapide actuellement.
SP1 a les caractéristiques suivantes :
Performances exceptionnelles, vitesse de preuve pouvant être jusqu'à 28 fois supérieure à celle des autres zkVM, coût réduit à une fraction de l'original.
Permet aux développeurs d'utiliser Rust pour écrire des ZKP, réutilisant les bibliothèques de code existantes et augmentant considérablement l'efficacité du développement.
Prend en charge des scénarios d'application de niveau production, a été audité en toute sécurité par des organismes d'audit réputés et a été adopté par plusieurs projets connus.
Introduction à SP1
SP1 est une machine virtuelle à connaissance nulle générique (zkVM), qui permet aux développeurs d'écrire du code ordinaire en utilisant Rust ou d'autres langages prenant en charge la compilation LLVM, afin de générer 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 de développement pour les preuves à divulgation nulle de connaissance (ZKP), tout en maintenant des performances et une flexibilité de premier ordre. Cela rend le développement ZKP aussi simple que l'écriture de logiciels ordinaires, permettant à l'infrastructure blockchain (comme les Rollups, les ponts inter-chaînes, les oracles, etc.) d'atteindre la vérifiabilité grâce à un code maintenable.
La technologie de preuve à connaissance nulle (ZKP) peut prouver la validité d'un calcul sans révéler aucune donnée d'entrée. Cette capacité a de nombreuses applications dans le domaine de la blockchain, y compris l'évolutivité, l'interopérabilité entre chaînes, la protection de la vie privée, les ponts et les oracles.
Cependant, la complexité du développement traditionnel des ZKP a toujours été un grand problème. L'apparition de SP1 a complètement changé cette situation.
Principales caractéristiques de SP1
Performance exceptionnelle
SP1 est 4 à 28 fois plus rapide que d'autres zkVM sur des charges de travail blockchain réelles (comme la validation de clients légers, Rollup, etc.), et ses performances peuvent 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, ne nécessite que 40 secondes pour valider un bloc du réseau principal Ethereum, avec des coûts aussi bas que quelques centimes.
Prise en charge du développement en langage Rust
SP1 permet aux développeurs d'utiliser Rust pour écrire des logiques ZKP et de réutiliser directement les bibliothèques de l'écosystème Rust existantes. Cela simplifie considérablement le processus de développement, permettant aux développeurs d'utiliser directement le code des nœuds de blockchain existants pour le modifier et générer des ZKP, évitant ainsi le tracas d'écrire des circuits complexes depuis le début.
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, vérification de signatures, etc.). Ces précompilations réduisent considérablement le coût de calcul et améliorent significativement l'efficacité du traitement des charges de travail complexes de la blockchain par SP1.
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 la "précompilation", optimisant ainsi les performances pour des cas d'utilisation spécifiques. SP1 a été audité plusieurs fois par plusieurs entreprises de sécurité ZK de premier plan et a obtenu d'excellents résultats avec "zéro vulnérabilité critique" lors de compétitions d'audit publiques.
Partenaires étendus
Plusieurs projets renommés ont adopté SP1 pour construire des ZKP, garantissant plus de 1 milliard de dollars d'actifs on-chain (TVL). Des Rollups aux ponts inter-chaînes, des oracles aux protocoles de confidentialité, SP1 devient une composante importante de l'infrastructure blockchain.
Cas d'utilisation de SP1
SP1 a de nombreuses applications dans le domaine de la blockchain :
Rollup : Utiliser SP1 pour construire ZK Rollup, générer des preuves zéro connaissance de la transformation d'état, relier la chaîne principale pour réaliser un haut débit et des coûts bas.
Pont inter-chaînes : SP1 peut vérifier le consensus de Layer 1, construisant un pont inter-chaînes sécurisé et efficace.
Interopérabilité : Grâce à SP1, une interopérabilité rapide et déterministe peut être réalisée entre les Rollups.
Oracles : SP1 prend en charge le calcul à grande échelle hors chaîne et génère des preuves vérifiables sur la chaîne, réduisant ainsi considérablement les coûts en 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 les coûts de vérification sur la chaîne.
Dans l'ensemble, le SP1, en tant que projet zkVM à haute performance et à forte convivialité, apporte un soutien important au développement des infrastructures blockchain.
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.
16 J'aime
Récompense
16
7
Partager
Commentaire
0/400
DataBartender
· Il y a 17h
rust s'envole rapidement
Voir l'originalRépondre0
GasGuzzler
· Il y a 18h
Faites sortir un livre blanc et vous aurez des gains.
Voir l'originalRépondre0
alpha_leaker
· 08-04 12:11
Enfin, je peux utiliser Rust, c'est génial.
Voir l'originalRépondre0
MEV_Whisperer
· 08-02 21:07
La vitesse est beaucoup plus rapide qu'auparavant. J'attends avec impatience.
SP1 : Projet de zkVM de premier plan avec une accélération de 28 fois lève 55 millions de dollars.
Succinct : le projet zkVM le plus rapide SP1
Succinct est un projet ZK de premier plan ayant levé 55 millions de dollars, dont le produit phare SP1 est considéré comme le zkVM le plus rapide actuellement.
SP1 a les caractéristiques suivantes :
Introduction à SP1
SP1 est une machine virtuelle à connaissance nulle générique (zkVM), qui permet aux développeurs d'écrire du code ordinaire en utilisant Rust ou d'autres langages prenant en charge la compilation LLVM, afin de générer 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 de développement pour les preuves à divulgation nulle de connaissance (ZKP), tout en maintenant des performances et une flexibilité de premier ordre. Cela rend le développement ZKP aussi simple que l'écriture de logiciels ordinaires, permettant à l'infrastructure blockchain (comme les Rollups, les ponts inter-chaînes, les oracles, etc.) d'atteindre la vérifiabilité grâce à un code maintenable.
La technologie de preuve à connaissance nulle (ZKP) peut prouver la validité d'un calcul sans révéler aucune donnée d'entrée. Cette capacité a de nombreuses applications dans le domaine de la blockchain, y compris l'évolutivité, l'interopérabilité entre chaînes, la protection de la vie privée, les ponts et les oracles.
Cependant, la complexité du développement traditionnel des ZKP a toujours été un grand problème. L'apparition de SP1 a complètement changé cette situation.
Principales caractéristiques de SP1
SP1 est 4 à 28 fois plus rapide que d'autres zkVM sur des charges de travail blockchain réelles (comme la validation de clients légers, Rollup, etc.), et ses performances peuvent 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, ne nécessite que 40 secondes pour valider un bloc du réseau principal Ethereum, avec des coûts aussi bas que quelques centimes.
SP1 permet aux développeurs d'utiliser Rust pour écrire des logiques ZKP et de réutiliser directement les bibliothèques de l'écosystème Rust existantes. Cela simplifie considérablement le processus de développement, permettant aux développeurs d'utiliser directement le code des nœuds de blockchain existants pour le modifier et générer des ZKP, évitant ainsi le tracas d'écrire des circuits complexes depuis le début.
SP1 a introduit un mécanisme de "précompilation" qui a été hautement optimisé pour des opérations cryptographiques courantes (telles que keccak, sha256, vérification de signatures, etc.). Ces précompilations réduisent considérablement le coût de calcul et améliorent significativement l'efficacité du traitement des charges de travail complexes de la blockchain par SP1.
SP1 est un projet entièrement open source, sous licence MIT/Apache 2.0. Son architecture modulaire permet aux développeurs de personnaliser la "précompilation", optimisant ainsi les performances pour des cas d'utilisation spécifiques. SP1 a été audité plusieurs fois par plusieurs entreprises de sécurité ZK de premier plan et a obtenu d'excellents résultats avec "zéro vulnérabilité critique" lors de compétitions d'audit publiques.
Plusieurs projets renommés ont adopté SP1 pour construire des ZKP, garantissant plus de 1 milliard de dollars d'actifs on-chain (TVL). Des Rollups aux ponts inter-chaînes, des oracles aux protocoles de confidentialité, SP1 devient une composante importante de l'infrastructure blockchain.
Cas d'utilisation de SP1
SP1 a de nombreuses applications dans le domaine de la blockchain :
Rollup : Utiliser SP1 pour construire ZK Rollup, générer des preuves zéro connaissance de la transformation d'état, relier la chaîne principale pour réaliser un haut débit et des coûts bas.
Pont inter-chaînes : SP1 peut vérifier le consensus de Layer 1, construisant un pont inter-chaînes sécurisé et efficace.
Interopérabilité : Grâce à SP1, une interopérabilité rapide et déterministe peut être réalisée entre les Rollups.
Oracles : SP1 prend en charge le calcul à grande échelle hors chaîne et génère des preuves vérifiables sur la chaîne, réduisant ainsi considérablement les coûts en 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 les coûts de vérification sur la chaîne.
Dans l'ensemble, le SP1, en tant que projet zkVM à haute performance et à forte convivialité, apporte un soutien important au développement des infrastructures blockchain.