ZK:n loppupeli: Rajaton vs. ytimekäs ZK-kausi on käsillä, ja ZK-inframarkkinoiden ennustetaan kasvavan >10 miljardiin dollariin vuoteen 2030 mennessä. Samaan aikaan Boundless ja Concinct ovat osoittautumassa dominoiviksi. Monet eivät kuitenkaan ymmärrä, että vaikka ne ovat samanlaisia, ne ovat erilaisia. Haluan purkaa tämän ↓ Rajaton: "Uber ZK Computelle" - Toteutusmalli: Tarjoaa yleisen markkinapaikan, jossa työt julkaistaan ketjussa (mahdollista missä tahansa ketjussa ilman siltaa, mikä on keskeinen erottava tekijä), käänteiset hollantilaiset huutokaupat ja Proof of Verifiable Work (PoVW) -markkinapaikan luomiseksi, jotta voidaan luoda kilpailukykyinen markkinapaikka, joka yhdistää todisteiden pyytäjät ja proversit, samalla kun jälkimmäiset palkitaan heidän suorittamiensa todellisten laskentasyklien perusteella. Boundless käyttää kolmikerroksista arkkitehtuuria: Bento (paikallinen todentaminen), Broker (markkinarajapinta) ja ketjun sisäinen selvitys. - Suorituskyky ja käyttöönotto: Avoin todistusmarkkinapaikka, joka käyttää RiscZeron R0 zkVM:ää (perustuu RISC-V:hen), joka vähentää todistekustannukset tuhansista vain muutamaan dollariin ja tuottaa 7 kertaa pienempiä todistuksia kuin SP1 (Succinctin zkVM), mikä on ihanteellinen onchain-verifiointiin ja pienempiin työkuormiin. Boundlessilla on jo >1 700 todistajaa livenä pääverkon beta-versiossa ja >391 tuhatta todistetta, jotka on pyydetty pelkästään "The Signalilta" (ZK:n osavaltion todisteet interop public goodista). Ytimekäs: Tehokas kehittäjäalusta - Suoritusmalli: Kevyt, suorituskykyinen verkko, joka toimii "ZK-todisteiden API:na", jonka voimanlähteenä on SP1 zkVM (perustuu myös RISC-V:hen) ja nopea ketjun ulkopuolinen huutokaupanpitäjä, joka täsmää/määrittää yhden todistajan työtä kohden, optimoi alhaisen latenssin ja antaa kehittäjille mahdollisuuden luoda todisteita tavallisesta Rust-koodista, jotka myöhemmin tarkistetaan ketjussa (Ethereumissa). Concinct suorittaa SP1:n joko paikallisen todentamisen tai isännöidyn prover-verkon ohjelmointirajapinnan kautta. - Suorituskyky ja käyttöönotto: SP1:n suorituskykyinen todisteverkko on erinomainen monimutkaisissa salaustoiminnoissa esikäännösarkkitehtuurinsa ansiosta. Se on täysin tuotantovalmis ja esimerkiksi lyhentää >2 tunnin Tendermint-vedoksen vain muutamaan minuuttiin. Todistajaverkostot ovat jo tuottaneet lähes 5 miljoonaa todistetta 99,9 %+ käytettävyysajalla ja isännöimällä > 1 600 ohjelmaa. Mitkä ovat tärkeimmät huomiot? Vaikka molemmat pyrkivät viime kädessä tekemään ZK:n osoittautumisesta tehokkaampaa ja laajemmin rakentajien saatavilla, he omaksuvat selkeän lähestymistavan tähän tehtävään teknisellä tasolla. Esimerkiksi Boundless on enemmän avoin verkko, jossa kuka tahansa todistaja voi laskea ketjun ulkopuolella, kun kaikki todisteet toimitetaan ketjussa, ja markkinasopimuksilla kaikissa tärkeimmissä ekosysteemeissä/ketjuissa. Samaan aikaan PoVW varmistaa mitatut todistepalkkiot todellisen suoritetun laskennan perusteella. Se on myös todistejärjestelmäriippumaton infra, ja luvattomana markkinapaikkana se pyrkii olemaan yhden luukun palvelupiste kaikille todennettavissa oleville laskenta- ja todisteustarpeille (sen lisäksi, että se antaa virtaa koko RiscZero ZK -tuotepaketille, mukaan lukien R0 zkVM, Kailua, sen Steel-apuprosessori jne. tai viime aikoina Boundlessin "The Signal"). Kokonaisuudessaan Boundlessin ympärillä oleva RiscZero-ekosysteemi tarjoaa täyden pinon ZK-kehitysratkaisun. Toisaalta Succinctin todistajaverkossa verkon huutokaupanpitäjäjärjestelmä löytää halvimman todisteen reaaliajassa, ja yksi todistaja voittaa työn, ja sen jälkeen toimitetun todisteen ketjussa tapahtuva vahvistus, kun ketjun komponentit elävät Ethereumissa. Se keskittyy erityisesti SP1:n, Succinctin tehokkaan zkVM:n, ja sen ympärillä olevien kehitystyökalujen virtalähteeseen. Suuri osa Succinctin nykyisestä käyttöönotosta johtuu "ZKfiyng"-rollupeista OP Succinct -kehyksellä tai ZK-sovellusketjujen (esim. Hibachi) tehostamisesta keskittyen modulaariseen ekosysteemiin. Ovatko he kilpailijoita? Suurelta osin kyllä, koska se, että sekä @boundless_xyz että @SuccinctLabs tarjoavat viime kädessä todistuspalveluja, tarkoittaa myös sitä, että tämän infran päälle rakennetaan väistämättä tuotteita, jotka viime kädessä kilpailevat keskenään käyttöönotossa (ja taustalla olevalle infralle kertyvän kysynnän todistamisessa). Esimerkkejä tästä ovat niiden zkVM:t (R0 ja SP1) ja monet niiden mahdollistamat käyttötapaukset, mm. RiscZeron OP Kailua -kehys hybridi-ZK-petossuojauksiin, joka kilpailee OP Succinctin (Succinctin ZK-kehys OP-ketjuille), kahden ZK-käyttöisen Blobstream-version (DA-silta Celestialle), jonka molemmat tiimit rakensivat infransa päälle, tai heidän sisäisten ZK-apuprosessoriensa (Steel vs SP1-CC) jne. Uskon kuitenkin, että ZK-todistusinframarkkinat ovat riittävän suuret kahdelle (tai useammalle?) suurelle toimijalle ja että erityisesti korkean panoksen sovelluksissa (esim. institutionaalinen DeFi, jotkin tekoälyn käyttötapaukset jne.) tai ketjuissa, jotka palvelevat näitä vertikaaleja, monitodistejärjestelmät yleistyvät (parantavat kestävyyttä ja turvallisuutta), mikä saattaa johtaa kaksoisintegraatioihin molempien verkkojen kanssa. Tulemme näkemään myös aggregointikerroksia, jotka rakentuvat useiden näyttömarkkinoiden/verkkojen päälle, mikä lopulta johtaa siihen, että nämä infrakerrokset toimivat jossain määrin rinnakkain. ZK on loppupeli. ZK-kausi on käsillä. Opiskele ZK.