La plupart des zkVM semblent ... | DOLAK1NG OKX Feed

La plupart des zkVM semblent excellentes sur le papier. SP1 a été conçu pour le monde réel. Succinct n'a pas utilisé Risc0, zkSync ou le zkVM de Polygon et pour une bonne raison. SP1 n'est pas un copieur. C'est un zkVM construit de zéro pour alimenter la prochaine génération d'infrastructures sans confiance. Voici pourquoi cela compte : Pourquoi construire un nouveau zkVM ? @SuccinctLabs aurait pu choisir des zkVM existants. Risc0, Cairo, ou même des zkEVM. Mais ils ne l'ont pas fait et voici pourquoi : La plupart des zkVM ne sont pas assez polyvalents. Beaucoup ne supportent pas la récursivité dès le départ. Certains sont étroitement liés à des DSL personnalisés (par exemple, Cairo). D'autres manquent de transparence ou sont profondément intégrés dans des piles de rollup plus grandes. Succinct avait besoin de quelque chose de plus : → Un zkVM capable d'exécuter n'importe quel programme, n'importe où, et de le prouver efficacement. C'est SP1. Qu'est-ce que SP1 ? SP1 est un zkVM performant et modulaire construit en Rust qui supporte : - Calcul général - Récursivité efficace - Portabilité des preuves vers d'autres chaînes Et surtout, flexibilité open-source. Il est conçu à partir de principes fondamentaux autour de quelques idées clés : • ZK doit être accessible. • La génération de preuves doit être composable et vérifiable entre les chaînes. • Les développeurs ne devraient pas avoir à apprendre la cryptographie pour utiliser ZK. SP1 est construit sur une ISA (architecture de jeu d'instructions) personnalisée, pas une copie de l'EVM, ce qui le rend beaucoup plus performant et extensible. Et il est déjà utilisé pour alimenter des clients légers inter-chaînes, des AVS EigenLayer, et plus encore. Qu'est-ce qui rend SP1 différent ? Comparé à d'autres zkVM, SP1 se distingue de plusieurs grandes manières : Conçu pour la preuve dans le monde réel. Pas optimisé pour des jeux de connaissance nulle ou la compétition de rollup, optimisé pour la vérification multi-chaînes. Extrêmement modulaire. Vous pouvez modifier SP1, échanger des composants et vous brancher sur différentes courbes de preuve ou stratégies de récursivité. Expérience développeur native Rust. Écrivez des programmes ZK en Rust sûr et efficace, pas dans des DSL exotiques. Support intégré pour les preuves récursives. Crucial pour l'évolutivité et la composabilité dans la vérification de nombreux événements hors chaîne sur chaîne. Pourquoi cela compte maintenant. L'avenir de la crypto est multi-chaînes. Cela signifie plus de clients légers, plus de ponts, et plus de systèmes de preuve partagés. Mais prouver l'état d'une chaîne sur une autre de manière sécurisée nécessite des zkVM qui sont optimisés non seulement pour le débit, mais pour la flexibilité et la portabilité. SP1 fait exactement cela. → Ce n'est pas juste un primitif ZK — c'est le moteur de preuve derrière l'interopérabilité sans confiance. Dans le prochain post, nous décomposons le Succinct Prover Network : comment il exécute des calculs ZK hors chaîne, et ce que cela débloque pour les développeurs et les chaînes. Taguant des Gigachads qui pourraient être intéressés par cela 👇 - @SamuelXeus - @TheDeFISaint - @hmalviya9 - @poopmandefi - @ayyeandy - @DigiTektrades - @zerokn0wledge_ - @LadyofCrypto1 - @milesdeutscher - @1CryptoMama - @Deebs_DeFi - @RubiksWeb3hub - @stacy_muur - @TheDeFinvestor - @splinter0n - @izu_crypt - @belizardd - @eli5_defi - @the_smart_ape - @ViktorDefi - @cryppinfluence - @CryptoGirlNova - @Haylesdefi - @DeRonin_ - @0xAndrewMoh - @defiinfant - @DeFiMinty - @Louround_ - @0xSalazar - @crypthoem - @CryptoShiro_

Dans la crypto, nous sommes devenus bons en scalabilité. Rollups. Couches DA. Séquenceurs partagés. Mais en ce qui concerne l'interopérabilité, nous sommes encore coincés dans le passé. Nous comptons sur des multisigs, des oracles de confiance et des ponts peu sécurisés pour passer des messages entre les chaînes, malgré le fait que nous savons qu'ils constituent la surface d'attaque la plus vulnérable dans la crypto. @SuccinctLabs s'attaque à ce désordre. Non pas en construisant une autre couche de messagerie ou L2... Mais en introduisant un nouveau primitif : → Une couche de preuve universelle qui permet à n'importe quelle chaîne de vérifier des calculs d'une autre chaîne, en utilisant ZK. Cela renverse complètement le modèle. Au lieu de faire confiance à des tiers pour attester qu'un événement s'est produit sur une autre chaîne... Succinct donne aux chaînes le pouvoir de le prouver elles-mêmes. Voici comment : La pile Succinct Au cœur de Succinct se trouve une pile d'infrastructure ZK modulaire composée de : - SP1 zkVM – Un zkVM open-source haute performance construit de zéro. Optimisé pour la preuve générale en conditions réelles, en particulier pour les clients légers et la vérification inter-chaînes. - Réseau de Preuve Universel – SP1 alimente une couche de preuve qui peut exécuter des calculs arbitraires hors chaîne et produire des preuves succinctes qui peuvent être vérifiées n'importe où. - Passerelle Succinct – Une API orientée développeur qui abstrait toute la complexité ZK et permet aux équipes d'exécuter des calculs sans confiance hors chaîne sans modifier leur protocole ou leurs contrats intelligents. Et ce n'est pas un vaporware. Succinct travaille déjà avec : Base, Arbitrum et Optimism → pour exécuter des clients légers L2 sans confiance Solana → ponts Ethereum → utilisant des en-têtes de blocs prouvés par zk Projets EigenLayer AVS → qui nécessitent des preuves hors chaîne La thèse est simple : Le calcul doit se faire hors chaîne. La vérification doit se faire sur chaîne. Le Zero knowledge rend cela possible et évolutif. @SuccinctLabs ct pose les bases d'un monde où : 1. Les ponts n'ont pas besoin d'oracles 2. Les L2 n'ont pas besoin de surveillants de séquenceurs centralisés 3. Bitcoin peut communiquer avec Ethereum via la preuve, pas la confiance C'est le début d'un nouveau primitif crypto. Dans le prochain post, nous décomposerons SP1 zkVM et pourquoi c'est la partie la plus importante du puzzle. Taguant des Gigachads qui pourraient être intéressés par cela 👇 - @SamuelXeus - @TheDeFISaint - @hmalviya9 - @poopmandefi - @ayyeandy - @DigiTektrades - @zerokn0wledge_ - @LadyofCrypto1 - @milesdeutscher - @1CryptoMama - @Deebs_DeFi - @RubiksWeb3hub - @stacy_muur - @TheDeFinvestor - @splinter0n - @izu_crypt - @belizardd - @eli5_defi - @the_smart_ape - @ViktorDefi - @cryppinfluence - @CryptoGirlNova - @Haylesdefi - @DeRonin_ - @0xAndrewMoh - @defiinfant - @DeFiMinty - @Louround_ - @0xSalazar - @crypthoem - @CryptoShiro_

7,7 k

Le contenu de cette page est fourni par des tiers. Sauf indication contraire, OKX n’est pas l’auteur du ou des articles cités et ne revendique aucun droit d’auteur sur le contenu. Le contenu est fourni à titre d’information uniquement et ne représente pas les opinions d’OKX. Il ne s’agit pas d’une approbation de quelque nature que ce soit et ne doit pas être considéré comme un conseil en investissement ou une sollicitation d’achat ou de vente d’actifs numériques. Dans la mesure où l’IA générative est utilisée pour fournir des résumés ou d’autres informations, ce contenu généré par IA peut être inexact ou incohérent. Veuillez lire l’article associé pour obtenir davantage de détails et d’informations. OKX n’est pas responsable du contenu hébergé sur des sites tiers. La détention d’actifs numériques, y compris les stablecoins et les NFT, implique un niveau de risque élevé et leur valeur peut considérablement fluctuer. Examinez soigneusement votre situation financière pour déterminer si le trading ou la détention d’actifs numériques vous convient.