La plupart des zkVM ont fière allure sur le papier. SP1 a été conçu pour le monde réel. Succinct n’a pas utilisé Risc0, zkSync ou zkVM de Polygon et pour une bonne raison. SP1 n’est pas une copie. Il s’agit d’un zkVM de base conçu pour alimenter la prochaine génération d’infrastructure sans confiance. Voici pourquoi c’est important : Pourquoi créer une nouvelle zkVM ? @SuccinctLabs auriez pu choisir des zkVM existantes. Risc0, Cairo, ou encore zkEVMs. Mais ils ne l’ont pas fait et voici pourquoi : La plupart des zkVM ne sont pas assez polyvalentes Beaucoup ne prennent pas en charge la récursivité prête à l’emploi Certains sont étroitement couplés à des DSL personnalisés (par exemple, Le Caire) D’autres manquent de transparence ou sont profondément ancrées dans des piles de cumul plus importantes Succinct avait besoin de quelque chose de plus : → Une zkVM qui pourrait exécuter n’importe quel programme, n’importe où, et le prouver efficacement. C’est SP1. Qu’est-ce que SP1 ? SP1 est une zkVM modulaire performante construite en Rust qui prend en charge : - Calcul à usage général - Récursivité efficace - Preuve de portabilité vers d’autres chaînes Et surtout, la flexibilité de l’open source Il est conçu à partir de principes de base autour de quelques idées de base : • ZK doit être accessible. • La génération de preuves doit être composable et vérifiable sur toutes les chaînes. • Les développeurs ne devraient pas avoir à apprendre la cryptographie pour utiliser ZK. SP1 est construit sur une architecture ISA (jeu d’instructions) personnalisée et non sur une copie d’EVM, ce qui le rend beaucoup plus performant et extensible. Et il est déjà utilisé pour alimenter les clients légers inter-chaînes, les AVS EigenLayer, etc. Qu’est-ce qui différencie SP1 ? Comparé à d’autres zkVM, SP1 se distingue de plusieurs manières : Conçu pour l’expérimentation dans le monde réel Non optimisé pour les jeux à connaissance nulle ou la compétition de rollup, optimisé pour la vérification multi-chaînes. Extrêmement modulaire Vous pouvez modifier SP1, permuter des composants et vous connecter à différentes courbes d’étalonnage ou stratégies de récursivité. Expérience de développeur native Rust Écrivez des programmes ZK en Rust sûr et efficace, pas en DSL exotiques. Prise en charge intégrée des preuves récursives Crucial pour l’évolutivité et la composabilité dans la vérification de nombreux événements hors chaîne sur la chaîne. Pourquoi c’est important maintenant L’avenir de la crypto est multi-chaîne. Cela signifie plus de clients légers, plus de ponts et plus de systèmes d’essai partagés. Mais pour prouver l’état d’une chaîne sur une autre en toute sécurité, il faut des zkVM optimisées non seulement pour le débit, mais aussi pour la flexibilité et la portabilité. C’est exactement ce que fait SP1. → Il ne s’agit pas seulement d’une primitive ZK, mais du moteur d’expérimentation de l’interopérabilité sans confiance. Dans le prochain billet, nous détaillons le réseau Succinct Prover : comment il exécute le calcul ZK hors chaîne, et ce que cela débloque pour les développeurs et les chaînes. Marquage des gigachads qui pourraient être intéressés par ce 👇 - @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_