Rollups zijn niet de eindbestemming voor ZK. Ze zijn gewoon de openingsact. Succinct bouwt iets veel uitgebreiders: → Een ZK Coprocessor die werkt op alle blockchains, L1s, L2s, appchains, alt-VMs. Waarom is dit belangrijk? Omdat, ondanks alle hype rond ZK-rollups, het grootste potentieel van zero-knowledge proofs niet schaling is, maar bewijsbaarheid. Zie SP1 als de motor. De ZK Coprocessor is de auto. Samen vormen ze een bewijs systeem dat elke keten of protocol in staat stelt om offchain berekeningen uit te besteden en deze vertrouwensloos te verifiëren. Je zou kunnen: Complexe logica offchain uitvoeren (zoals light clients, fraud proofs of ML-inferentie) Het bewijzen op SP1 Het native onchain verifiëren met nul vertrouwensveronderstellingen Geen afhankelijkheid meer van multisigs. Geen ondoorzichtige bruggen meer. Geen blinde vlekken in vertrouwen meer. Dus hoe werkt het eigenlijk? @SuccinctLabs heeft een SDK gebouwd waarmee ontwikkelaars in Rust kunnen schrijven, compileren naar SP1 en een volledig ZK-programma kunnen verzenden voor gebruik onchain. Ze hebben al geïntegreerd met: • Solana • Ethereum • Bitcoin • Cosmos • Polkadot • EigenLayer • Celestia Dit is de basis voor cross-chain bewijsbaarheid, en het is live. Wat dit nog groter maakt? In tegenstelling tot andere zkVMs, is SP1 zelfbewijzend. Wat betekent dat het kan: • Zichzelf recursief bewijzen • Bewijzen binnen zichzelf verifiëren • En de basislaag worden voor gegeneraliseerde bewijsbaarheid Recursief bewijzen + coprocessor model = modulaire ZK-infrastructuur voor de hele industrie. Succinct probeert niet te concurreren met rollups. Ze bouwen de bewijslaag onder hen allemaal. En dat verandert alles. Taggen van Gigachads die mogelijk geïnteresseerd zijn in dit 👇 - @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_
DOLAK1NG
DOLAK1NG19 jul 2025
De meeste zkVM's zien er op papier geweldig uit. SP1 is gebouwd voor de echte wereld. Succinct heeft geen gebruik gemaakt van Risc0, zkSync of Polygon's zkVM en dat heeft goede redenen. SP1 is geen copycat. Het is een van de grond af aan gebouwde zkVM die de volgende generatie van trustless infrastructuur aandrijft. Hier is waarom dat belangrijk is: Waarom een nieuwe zkVM bouwen? @SuccinctLabs had bestaande zkVM's kunnen kiezen. Risc0, Cairo, of zelfs zkEVM's. Maar dat deden ze niet en hier is waarom: De meeste zkVM's zijn niet algemeen genoeg. Veel ondersteunen geen recursie direct uit de doos. Sommige zijn nauw verbonden met aangepaste DSL's (bijv. Cairo). Andere missen transparantie of zijn diep ingebed in grotere rollup-stacks. Succinct had iets meer nodig: → Een zkVM die elk programma, overal kan draaien en het efficiënt kan bewijzen. Dat is SP1. Wat is SP1? SP1 is een performante, modulaire zkVM gebouwd in Rust die ondersteunt: - Algemeen-doelberekening - Efficiënte recursie - Bewijsportabiliteit naar andere ketens En cruciaal open-source flexibiliteit. Het is ontworpen vanuit de eerste principes rond een paar kernideeën: • ZK moet toegankelijk zijn. • Bewijs generatie moet samenstelbaar en verifieerbaar zijn over ketens. • Ontwikkelaars hoeven geen cryptografie te leren om ZK te gebruiken. SP1 is gebouwd op een aangepaste ISA (instructiesetarchitectuur) en niet een kopie van EVM, waardoor het veel performanter en uitbreidbaar is. En het wordt al gebruikt om cross-chain light clients, EigenLayer AVS's en meer aan te drijven. Wat maakt SP1 anders? In vergelijking met andere zkVM's valt SP1 op een paar grote manieren op: Ontworpen voor real-world bewijzen. Niet geoptimaliseerd voor zero-knowledge games of rollup concurrentie, geoptimaliseerd voor multi-chain verificatie. Extreem modulair. Je kunt SP1 aanpassen, componenten verwisselen en aansluiten op verschillende bewijs curves of recursiestrategieën. Rust-native ontwikkelaarservaring. Schrijf ZK-programma's in veilige, efficiënte Rust, niet in exotische DSL's. Ingebouwde ondersteuning voor recursieve bewijzen. Cruciaal voor schaalbaarheid en samenstelbaarheid bij het verifiëren van veel off-chain gebeurtenissen on-chain. Waarom dit nu belangrijk is. De toekomst van crypto is multi-chain. Dat betekent meer light clients, meer bruggen en meer gedeelde bewijs systemen. Maar het veilig bewijzen van de staat van de ene keten op een andere vereist zkVM's die niet alleen geoptimaliseerd zijn voor doorvoer, maar ook voor flexibiliteit en portabiliteit. SP1 doet precies dat. → Het is niet alleen een ZK-primitief — het is de bewijsengine achter trustless interop. In de volgende post ontleden we het Succinct Prover Network: hoe het ZK-berekeningen off-chain uitvoert en wat dit ontgrendelt voor ontwikkelaars en ketens. Taggen van Gigachads die mogelijk geïnteresseerd zijn in dit 👇 - @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_
11,08K