Majoritatea zkVM-urilor arată grozav pe hârtie.
SP1 a fost construit pentru lumea reală.
Succinct nu a folosit Risc0, zkSync sau zkVM de la Polygon și din motive întemeiate.
SP1 nu este o copie.
Este un zkVM de la zero, construit pentru a alimenta următoarea generație de infrastructură fără încredere.
Iată de ce contează:
De ce să construiți un nou zkVM?
@SuccinctLabs fi putut alege zkVM-urile existente. Risc0, Cairo sau chiar zkEVM-uri.
Dar nu au făcut-o și iată de ce:
Majoritatea zkVM-urilor nu sunt suficient de generale
Mulți nu susțin recursivitatea din cutie
Unele sunt strâns cuplate cu DSL-uri personalizate (de exemplu, Cairo)
Altele sunt lipsite de transparență sau sunt adânc încorporate în stive mai mari
Succint avea nevoie de ceva mai mult:
→ Un zkVM care ar putea rula orice program, oriunde, și să-l dovedească eficient.
Acesta este SP1.
Ce este SP1?
SP1 este un zkVM performant, modular, construit în Rust, care acceptă:
- Calcul de uz general
- Recursivitate eficientă
- Dovedit portabilitatea la alte lanțuri
Și, în mod crucial, flexibilitate open-source
Este conceput pe baza principiilor de bază în jurul câtorva idei de bază:
• ZK trebuie să fie accesibil.
• Generarea de dovezi trebuie să poată fi compusă și verificabilă între lanțuri.
• Dezvoltatorii nu ar trebui să învețe criptografia pentru a folosi ZK.
SP1 este construit pe un ISA personalizat (arhitectura setului de instrucțiuni), nu pe o copie a EVM, făcându-l mult mai performant și extensibil.
Și este deja folosit pentru a alimenta clienți ușori cross-chain, AVS EigenLayer și multe altele.
Ce face SP1 diferit?
În comparație cu alte zkVM-uri, SP1 iese în evidență în câteva moduri mari:
Proiectat pentru demonstrarea în lumea reală
Nu este optimizat pentru jocuri zero-knowledge sau competiții rollup, optimizat pentru verificarea pe mai multe lanțuri.
Extrem de modular
Puteți modifica SP1, puteți schimba componente și vă puteți conecta la diferite curbe de demonstrare sau strategii de recursivitate.
Experiență de dezvoltator nativă Rust
Scrieți programe ZK în Rust sigur și eficient, nu DSL-uri exotice.
Suport încorporat pentru demonstrații recursive
Esențial pentru scalabilitate și compoziție în verificarea multor evenimente off-chain on-chain.
De ce contează acest lucru acum
Viitorul criptomonedelor este multi-lanț.
Asta înseamnă mai mulți clienți ușori, mai multe punți și mai multe sisteme de testare partajate.
Dar dovedirea stării unui lanț pe altul în siguranță necesită zkVM-uri care sunt optimizate nu doar pentru randament, ci și pentru flexibilitate și portabilitate.
SP1 face exact asta.
→ Nu este doar o primitivă ZK - este motorul de verificare din spatele interoperabilității fără încredere.
În următoarea postare, detaliem Succinct Prover Network: cum rulează calculul ZK off-chain și ce deblochează acest lucru pentru dezvoltatori și lanțuri.
Etichetarea Gigachads care ar putea fi interesați de acest lucru 👇
- @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_
În criptomonede, am devenit buni la scalare.
Rollup-uri. Straturi DA. Secvențiere partajate.
Dar când vine vorba de interoperabilitate, suntem încă blocați în trecut.
Ne bazăm pe multisig-uri, oracole de încredere și punți nesigure pentru a transmite mesaje între lanțuri, în ciuda faptului că știm că sunt cea mai ușoară suprafață de atac din cripto.
@SuccinctLabs taie prin această mizerie.
Nu prin construirea unui alt strat de mesagerie sau L2...
Dar prin introducerea unei noi primitive:
→ Un strat de testare universal care permite oricărui lanț să verifice calculul din orice alt lanț, folosind ZK.
Acest lucru răstoarnă complet modelul.
În loc să aveți încredere în terțe părți pentru a atesta că s-a întâmplat ceva pe un alt lanț ...
Succinct oferă lanțurilor puterea de a dovedi acest lucru pentru ei înșiși.
Iată cum:
Stiva succintă
În esență, Succinct este o stivă modulară de infrastructură ZK formată din:
- SP1 zkVM – Un zkVM open-source de înaltă performanță, construit de la zero. Optimizat pentru verificarea în lumea reală, de uz general, în special pentru clienții ușori și verificarea între lanțuri.
- Universal Prover Network – SP1 alimentează un strat de testare care poate rula calcule arbitrare în afara lanțului și poate produce dovezi succinte care pot fi verificate oriunde.
- Succinct Gateway – Un API orientat către dezvoltatori care abstracționează toată complexitatea ZK și permite echipelor să ruleze calcule fără încredere în afara lanțului fără a-și modifica protocolul sau contractele inteligente.
Și acesta nu este vaporware.
Succinct lucrează deja cu:
Base, Arbitrum și Optimism → să ruleze clienți L2 light fără încredere
Solana → Ethereum face legături → folosind anteturi de bloc dovedite de zk
Proiectele AVS EigenLayer → care necesită dovedire off-chain
Teza este simplă:
Calculul ar trebui să se întâmple în afara lanțului.
Verificarea ar trebui să fie în lanț.
Zero cunoștințe face acest lucru posibil și scalabil.
@SuccinctLabs ct pune bazele unei lumi în care:
1. Podurile nu au nevoie de oracole
2. L2-urile nu au nevoie de urmăritori de secvențiere centralizate
3. Bitcoin poate vorbi cu Ethereum prin dovezi, nu prin încredere
Acesta este începutul unei noi primitive cripto.
În următoarea postare, analizăm SP1 zkVM și de ce este cea mai importantă parte a puzzle-ului.
Etichetarea Gigachads care ar putea fi interesați de acest lucru 👇
- @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,71 K
52
Conținutul de pe această pagină este furnizat de terți. Dacă nu se menționează altfel, OKX nu este autorul articolului citat și nu revendică niciun drept intelectual pentru materiale. Conținutul este furnizat doar pentru informare și nu reprezintă opinia OKX. Nu este furnizat pentru a fi o susținere de nicio natură și nu trebuie să fie considerat un sfat de investiție sau o solicitare de a cumpăra sau vinde active digitale. În măsura în care AI-ul de generare este utilizat pentru a furniza rezumate sau alte informații, astfel de conținut generat de AI poate să fie inexact sau neconsecvent. Citiți articolul asociat pentru mai multe detalii și informații. OKX nu răspunde pentru conținutul găzduit pe pagini terțe. Deținerile de active digitale, inclusiv criptomonedele stabile și NFT-urile, prezintă un grad ridicat de risc și pot fluctua semnificativ. Trebuie să analizați cu atenție dacă tranzacționarea sau deținerea de active digitale este adecvată pentru dumneavoastră prin prisma situației dumneavoastră financiare.