Finalul jocului ZK: Boundless vs. Succinct Sezonul ZK se apropie, iar piața de infrastructură ZK este proiectată să crească la > de 10 miliarde de dolari până în 2030. Între timp, Boundless și Succinct se conturează a fi dominatorii care se dovedesc. Ceea ce mulți nu reușesc să înțeleagă este că, deși sunt similari, sunt diferiți. Permiteți-mi să despachetez asta ↓ Boundless: "Uber pentru ZK Compute" - Modelul de execuție: Oferă o piață universală în care locurile de muncă sunt postate pe lanț (posibil pe orice lanț fără punte, ceea ce este un diferențiator cheie), licitații olandeze inverse și Proof of Verifiable Work (PoVW) pentru a crea o piață competitivă care conectează solicitanții și probatorii proof, recompensându-i în același timp pe aceștia din urmă pe baza ciclurilor de calcul reale pe care le efectuează. Boundless folosește o arhitectură pe trei straturi: Bento (probă locală), Broker (interfață de piață) și decontare în lanț. - Performanță și adopție: Piață deschisă de testare care alimentează R0 zkVM (bazat pe RISC-V) de la RiscZero, care reduce costurile de probă de la mii la doar câțiva dolari și produce dovezi de 7 ori mai mici decât SP1 (zkVM de la Succinct), fiind ideal pentru verificarea onchain și sarcini de lucru mai mici. Boundless are deja >1.700 de provers live pe mainnet beta și >391k de dovezi solicitate doar de la "The Signal" (dovezi de stare ZK pentru binele public de interoperabilitate). Succinct: Platforma pentru dezvoltatori de înaltă performanță - Model de execuție: Rețea slabă, de înaltă performanță, care acționează ca un "API pentru dovezi ZK", alimentată de ZKVM SP1 (bazat și pe RISC-V) și de un licitator offchain rapid pentru a potrivi/atribui un probator pe lucrare, optimizând pentru o latență scăzută și permițând dezvoltatorilor să genereze dovezi din codul Rust standard care sunt ulterior verificate pe lanț (pe Ethereum). Succinct rulează SP1 fie prin dovedirea locală, fie prin API-ul lor de rețea de probă găzduit. - Performanță și adopție: Rețeaua de probă de înaltă performanță a SP1 excelează în operațiuni criptografice complexe datorită arhitecturii sale de precompilare. Este complet gata de producție și, de exemplu, reduce o dovadă Tendermint de >2 ore la doar câteva minute. Rețelele de probă au generat deja aproape 5 milioane de dovezi cu un timp de funcționare de 99,9%+ și găzduind >1.600 de programe. Care sunt principalele concluzii? În timp ce ambele se străduiesc în cele din urmă să facă ZK să se dovedească mai eficientă și mai accesibilă constructorilor, ele adoptă o abordare distinctă a acestei misiuni la nivel tehnic. Boundless, de exemplu, este mai mult o rețea deschisă, în care orice demonstrator poate calcula în afara lanțului în timp ce toate dovezile sunt trimise în lanț și cu contracte de piață în toate ecosistemele/lanțurile majore. Între timp, PoVW asigură recompense de probă măsurate pe baza calculelor reale efectuate. Este, de asemenea, infrastructura agnostică a sistemului de dovadă și, ca piață fără permisiune, își propune să fie ghișeul unic pentru toate nevoile verificabile de calcul și demonstrare (dincolo de alimentarea întregii suite de produse RiscZero ZK, inclusiv R0 zkVM, Kailua, co-procesorul său Steel etc. sau mai recent "The Signal" de la Boundless). În întregime, ecosistemul RiscZero din jurul Boundless oferă o soluție de dezvoltare ZK full-stack. Pe de altă parte, pe rețeaua de probatori a Succinct, sistemul de licitații al rețelei este cel care găsește cel mai ieftin tester în timp real, cu un singur tester câștigând lucrarea și verificarea ulterioară onchain a dovezii livrate, cu componentele onchain care trăiesc pe Ethereum. Se concentrează în mod special pe alimentarea SP1, zkVM de înaltă performanță de la Succinct, și pe instrumentele de dezvoltare din jurul acestuia. O mare parte din adoptarea actuală a Succinct provine din rollup-urile "ZKfiyng" cu cadrul său OP Succinct sau alimentarea lanțurilor de aplicații ZK (de exemplu, Hibachi) cu accent pe ecosistemul modular. Sunt concurenți? În mare parte da, pentru că faptul că atât @boundless_xyz, cât și @SuccinctLabs furnizează în cele din urmă servicii de verificare, înseamnă, de asemenea, că vor exista inevitabil produse construite deasupra acelei infrastructuri care în cele din urmă rivalizează între ele în ceea ce privește adoptarea (și dovada cererii care se acumulează la infrastructura subiacentă). Câteva exemple aici sunt zkVM-urile lor (R0 și SP1) și multe cazuri de utilizare activate prin acestea, incl. Cadrul OP Kailua de la RiscZero pentru dovezi de fraudă ZK hibride care concurează cu OP Succinct (cadrul ZK de la Succinct pentru lanțurile OP), cele două versiuni de Blobstream alimentate de ZK (punte DA pentru Celestia) pe care ambele echipe le-au construit pe infrastructura lor sau co-procesoarele ZK interne (Steel vs SP1-CC) etc. Cu toate acestea, cred că piața de infrastructură ZK este suficient de mare pentru doi (sau mai mulți?) jucători majori și că, în special în cazul aplicațiilor cu mize mari (de exemplu, DeFi instituțional, unele cazuri de utilizare AI etc.) sau lanțuri care se adresează acestor verticale, sistemele multi-prover vor deveni din ce în ce mai răspândite (îmbunătățind robustețea și securitatea), ceea ce ar putea duce la integrări duale cu ambele rețele. Vom vedea, de asemenea, straturi de agregare construite pe mai multe piețe/rețele de probă, ceea ce va duce în cele din urmă la aceste straturi infrastructurale care vor lucra în tandem într-o oarecare măsură. ZK este finalul jocului. Sezonul ZK se apropie. Studiază ZK.