De fleste zkVM-er ser bra ut ... | DOLAK1NG OKX Feed

De fleste zkVM-er ser bra ut på papiret. SP1 ble bygget for den virkelige verden. Succinct brukte ikke Risc0, zkSync eller Polygons zkVM og med god grunn. SP1 er ikke en copycat. Det er en grunnleggende zkVM bygget for å drive neste generasjon av tillitsløs infra. Her er grunnen til at det betyr noe: Hvorfor bygge en ny zkVM? @SuccinctLabs kunne ha valgt eksisterende zkVM-er. Risc0, Kairo eller til og med zkEVM-er. Men det gjorde de ikke, og her er grunnen: De fleste zkVM-er er ikke generelle nok Mange støtter ikke rekursjon ut av esken Noen er tett kombinert med tilpassede DSL-er (f.eks. Kairo) Andre mangler gjennomsiktighet eller er dypt innebygd i større samlestabler Succinct trengte noe mer: → En zkVM som kan kjøre hvilket som helst program, hvor som helst, og bevise det effektivt. Det er SP1. Hva er SP1? SP1 er en høytytende, modulær zkVM innebygd i Rust som støtter: - Generell beregning - Effektiv rekursjon - Sikker portabilitet til andre kjeder Og avgjørende fleksibilitet med åpen kildekode Den er utformet fra første prinsipper rundt noen få kjerneideer: • ZK må være tilgjengelig. • Bevisgenerering må være komponerbar og verifiserbar på tvers av kjeder. • Utviklere skal ikke måtte lære kryptografi for å bruke ZK. SP1 er bygget på en tilpasset ISA (instruksjonssettarkitektur) ikke en kopi av EVM, noe som gjør den langt mer effektiv og utvidbar. Og den brukes allerede til å drive lysklienter på tvers av kjeder, EigenLayer AVS-er og mer. Hva gjør SP1 annerledes? Sammenlignet med andre zkVM-er skiller SP1 seg ut på noen få store måter: Designet for å bevise i den virkelige verden Ikke optimalisert for nullkunnskapsspill eller rollup-konkurranse, optimalisert for verifisering av flere kjeder. Ekstremt modulær Du kan modifisere SP1, bytte komponenter og koble til forskjellige testkurver eller rekursjonsstrategier. Rust-native utvikleropplevelse Skriv ZK-programmer i trygge, effektive Rust, ikke eksotiske DSL-er. Innebygd støtte for rekursive bevis Avgjørende for skalerbarhet og komponerbarhet for å verifisere mange hendelser utenfor kjeden på kjeden. Hvorfor dette er viktig nå Kryptos fremtid er flerkjeder. Det betyr flere lette klienter, flere broer og flere delte prøvesystemer. Men å bevise tilstanden til en kjede på en annen på en sikker måte krever zkVM-er som er optimalisert ikke bare for gjennomstrømning, men for fleksibilitet og portabilitet. SP1 gjør nettopp det. → Det er ikke bare en ZK-primitiv – det er bevismotoren bak tillitsløs interop. I neste innlegg bryter vi ned Succinct Prover Network: hvordan det kjører ZK-beregning utenfor kjeden, og hva dette låser opp for utviklere og kjeder. Tagging av gigachads som kan være interessert i dette 👇 - @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_

I krypto har vi blitt gode på å skalere. Oppsummeringer. DA-lag. Delte sequencere. Men når det gjelder interoperabilitet, sitter vi fortsatt fast i fortiden. Vi er avhengige av multisigs, pålitelige orakler og usikre broer for å sende meldinger mellom kjeder til tross for at vi vet at de er den mykeste angrepsflaten i krypto. @SuccinctLabs skjærer gjennom det rotet. Ikke ved å bygge et nytt meldingslag eller L2 ... Men ved å introdusere en ny primitiv: → Et universelt bevislag som gjør det mulig for enhver kjede å verifisere beregninger fra en hvilken som helst annen kjede ved hjelp av ZK. Dette snur modellen helt. I stedet for å stole på at 3rd parter bekrefter at noe skjedde på en annen kjede ... Kortfattet gir kjeder makten til å bevise det selv. Slik gjør du det: Den kortfattede stabelen I kjernen er Succinct en modulær ZK-infrastrukturstabel laget av: - SP1 zkVM – En høyytelses, åpen kildekode zkVM bygget fra bunnen av. Optimalisert for reell, generell testing, spesielt lette klienter og verifisering på tvers av kjeder. - Universal Prover Network – SP1 driver et bevislag som kan kjøre vilkårlige beregninger utenfor kjeden og produsere kortfattede bevis som kan verifiseres hvor som helst. - Kortfattet gateway – En utviklervendt API som abstraherer all ZK-kompleksiteten og lar team kjøre tillitsløs beregning utenfor kjeden uten å endre protokollen eller smarte kontrakter. Og dette er ikke vaporware. Succinct jobber allerede med: Base, Arbitrum og Optimism → for å kjøre tillitsløse L2-lysklienter Solana → Ethereum-broer → ved hjelp av zk-utprøvde blokkoverskrifter EigenLayer AVS-prosjekter → som krever off-chain testing Oppgaven er enkel: Beregning bør skje utenfor kjeden. Verifisering bør skje på kjeden. Null kunnskap gjør det mulig og skalerbart. @SuccinctLabs CT legger grunnlaget for en verden der: 1. Broer trenger ikke orakler 2. L2-er trenger ikke sentraliserte sequencer-overvåkere 3. Bitcoin kan snakke med Ethereum via bevis, ikke tillit Dette er begynnelsen på en ny kryptoprimitiv. I neste innlegg bryter vi ned SP1 zkVM og hvorfor det er den viktigste delen av puslespillet. Tagging av gigachads som kan være interessert i dette 👇 - @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,68k

Innholdet på denne siden er levert av tredjeparter. Med mindre annet er oppgitt, er ikke OKX forfatteren av de siterte artikkelen(e) og krever ingen opphavsrett til materialet. Innholdet er kun gitt for informasjonsformål og representerer ikke synspunktene til OKX. Det er ikke ment å være en anbefaling av noe slag og bør ikke betraktes som investeringsråd eller en oppfordring om å kjøpe eller selge digitale aktiva. I den grad generativ AI brukes til å gi sammendrag eller annen informasjon, kan slikt AI-generert innhold være unøyaktig eller inkonsekvent. Vennligst les den koblede artikkelen for mer detaljer og informasjon. OKX er ikke ansvarlig for innhold som er vert på tredjeparts nettsteder. Beholdning av digitale aktiva, inkludert stablecoins og NFT-er, innebærer en høy grad av risiko og kan svinge mye. Du bør nøye vurdere om handel eller innehav av digitale aktiva passer for deg i lys av din økonomiske tilstand.