De flesta zkVMs ser bra ut på pappret. SP1 byggdes för den verkliga världen. Succinct använde inte Risc0, zkSync eller Polygons zkVM och av goda skäl. SP1 är inte en copycat. Det är en zkVM från grunden som är byggd för att driva nästa generations pålitliga infrastruktur. Här är varför det är viktigt: Varför bygga en ny zkVM? @SuccinctLabs kunde ha valt befintliga zkVMs. Risc0, Kairo eller till och med zkEVMs. Men det gjorde de inte och här är varför: De flesta zkVM:er är inte tillräckligt allmänna Många har inte stöd för rekursion direkt Vissa är tätt kopplade till anpassade DSL:er (t.ex. Kairo) Andra saknar transparens eller är djupt inbäddade i större sammanslagningsstaplar Kortfattad behövde något mer: → En zkVM som kan köra vilket program som helst, var som helst, och bevisa det effektivt. Det är SP1. Vad är SP1? SP1 är en högpresterande, modulär zkVM inbyggd i Rust som stöder: - Beräkning för generell användning - Effektiv rekursion - Bevisad portabilitet till andra kedjor Och viktigast av allt, flexibilitet med öppen källkod Den är utformad utifrån de första principerna och bygger på några grundläggande idéer: • ZK måste vara tillgängligt. • Bevisgenerering måste vara komponerbar och verifierbar över hela kedjan. • Utvecklare ska inte behöva lära sig kryptografi för att använda ZK. SP1 bygger på en anpassad ISA (instruction set architecture) och inte en kopia av EVM, vilket gör den mycket mer effektiv och utbyggbar. Och den används redan för att driva cross-chain light-klienter, EigenLayer AVS:er och mer. Vad gör SP1 annorlunda? Jämfört med andra zkVM:er sticker SP1 ut på några stora sätt: Designad för verklig provning Inte optimerad för nollkunskapsspel eller rollup-tävlingar, optimerad för verifiering med flera kedjor. Extremt modulär Du kan modifiera SP1, byta komponenter och ansluta till olika provkurvor eller rekursionsstrategier. Utvecklarupplevelse som är inbyggd i Rust Skriv ZK-program i säkra, effektiva Rust, inte exotiska DSL:er. Inbyggt stöd för rekursiva bevis Avgörande för skalbarhet och komponerbarhet vid verifiering av många händelser utanför kedjan i kedjan. Varför är detta viktigt nu? Kryptos framtid är flera kedjor. Det innebär fler ljusklienter, fler bryggor och fler delade provsystem. Men att bevisa tillståndet för en kedja på en annan på ett säkert sätt kräver zkVM:er som är optimerade inte bara för genomströmning, utan för flexibilitet och portabilitet. SP1 gör just det. → Det är inte bara en ZK-primitiv – det är bevismotorn bakom pålitlig interop. I nästa inlägg bryter vi ner Succinct Prover Network: hur det kör ZK-beräkning off-chain och vad detta låser upp för utvecklare och kedjor. Tagga gigachads som kan vara intresserade av detta 👇 - @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_
Inom krypto har vi blivit bra på att skala upp. Sammanslagningar. DA-lager. Delade sekvenserare. Men när det gäller interoperabilitet är vi fortfarande fast i det förflutna. Vi förlitar oss på multisigs, betrodda orakel och osäkra bryggor för att skicka meddelanden mellan kedjor trots att vi vet att de är den mjukaste attackytan inom krypto. @SuccinctLabs är att skära igenom den röran. Inte genom att bygga ytterligare ett meddelandelager eller L2... Men genom att introducera en ny primitiv: → Ett universellt testlager som gör det möjligt för vilken kedja som helst att verifiera beräkningar från vilken annan kedja som helst med hjälp av ZK. Detta vänder upp och ner på modellen helt och hållet. Istället för att lita på 3:e part för att intyga att något hände på en annan kedja... Kortfattad ger kedjor kraften att bevisa det för sig själva. Så här gör du: Den kortfattade stapeln I sin kärna är Succinct en modulär ZK-infrastrukturstack gjord av: - SP1 zkVM – En högpresterande zkVM med öppen källkod byggd från grunden. Optimerad för verklig provning för allmänna ändamål, särskilt lätta klienter och verifiering över kedjan. - Universal Prover Network – SP1 driver ett bevislager som kan köra godtyckliga beräkningar utanför kedjan och producera kortfattade bevis som kan verifieras var som helst. - Succinct Gateway – Ett API som är inriktat på utvecklare och som abstraherar all ZK-komplexitet och låter team köra tillförlitlig beräkning utanför kedjan utan att ändra sitt protokoll eller smarta kontrakt. Och det här är inte vaporware. Succinct arbetar redan med: Base, Arbitrum och Optimism → för att köra pålitliga L2 light-klienter Solana → Ethereum överbryggar → med hjälp av zk-beprövade blockhuvuden EigenLayer AVS-projekt → som kräver provning utanför kedjan Tesen är enkel: Beräkningen bör ske utanför kedjan. Verifieringen bör ske i kedjan. Noll kunskap gör det möjligt och skalbart. @SuccinctLabs CT lägger grunden för en värld där: 1. Broar behöver inga orakel 2. L2:er behöver inte centraliserade sequencer-bevakare 3. Bitcoin kan tala till Ethereum via bevis, inte förtroende Detta är början på en ny kryptoprimitiv. I nästa inlägg går vi igenom SP1 zkVM och varför det är den viktigaste pusselbiten. Tagga gigachads som kan vara intresserade av detta 👇 - @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_
Visa original
7,67 tn
52
Innehållet på den här sidan tillhandahålls av tredje part. Om inte annat anges är OKX inte författare till den eller de artiklar som citeras och hämtar inte någon upphovsrätt till materialet. Innehållet tillhandahålls endast i informationssyfte och representerar inte OKX:s åsikter. Det är inte avsett att vara ett godkännande av något slag och bör inte betraktas som investeringsrådgivning eller en uppmaning att köpa eller sälja digitala tillgångar. I den mån generativ AI används för att tillhandahålla sammanfattningar eller annan information kan sådant AI-genererat innehåll vara felaktigt eller inkonsekvent. Läs den länkade artikeln för mer detaljer och information. OKX ansvarar inte för innehåll som finns på tredje parts webbplatser. Innehav av digitala tillgångar, inklusive stabila kryptovalutor och NFT:er, innebär en hög grad av risk och kan fluktuera kraftigt. Du bör noga överväga om handel med eller innehav av digitala tillgångar är lämpligt för dig mot bakgrund av din ekonomiska situation.