Kaksi kunnianhimoisinta ZK-projektia, Succinct ja Boundless, kilpailevat todennettavissa olevan laskennan tuomisesta ketjun jokaiseen kolkkaan.
Molemmat käyttävät zkVM:iä, mutta ne eivät ole sama asia.
Tässä on erittely siitä, miten ne eroavat toisistaan 🧠🧵
2/ Korkealla tasolla:
- @SuccinctLabs rakentaa zkVM:n (SP1) ja ylläpitää hajautettua verkkoa, jossa kuka tahansa voi pyytää todistetta ketjun ulkopuoliseen työhön.
- @boundless_xyz (RISC Zerosta) rakentaa ZK-protokollakerroksen, joka muuttaa minkä tahansa ketjun ulkopuolisen laskennan todennettavissa olevaksi kuitiksi.
Molemmat haluavat korvata luottamuksen kryptografisella totuudella.
3/ Aloitetaan heidän todistemoottoreistaan
- Succinctin SP1 ajaa Rust-ohjelmia ja tuottaa ZKP:itä käyttämällä rekursiivisia SNARK-tiedostoja. Se on nopea, modulaarinen ja optimoitu koontityyppisille työkuormille.
- Boundless käyttää RISC Zeron zkVM:ää massiivisten laskelmien ja skaalautuvan todentamisen käsittelyyn.
4/ Konepellin alla:
Concinct käyttää ketjun ulkopuolista huutokaupanpitäjää. Lähetät työn (kuten "todista tämä laskelma"), ja verkko löytää halvimman todistajan reaaliajassa.
Todistajat alittivat toisiaan työpaikkojen suhteen ja loivat markkinat työn todistamiselle.
Se tuntuu Web2 API:lta. Nopea, tehokas, mutta ZKP:n suojaama, joka on lähetetty ketjuun myöhemmin, jotta saat kryptografisen todisteen siitä, että ohjelma toimi oikein.
5/ Sen takana oleva moottori on nimeltään SP1 - zkVM, joka voi suorittaa monimutkaista logiikkaa, tarkistaa allekirjoituksia, simuloida rollupeja tai toimia kevyenä asiakkaana muille ketjuille.
SP1 on optimoitu nopeutta, uudelleenkäyttöä ja edullista ketjun sisäistä todentamista varten. Todisteet ovat pieniä ja halpoja todentaa (noin 200k kaasua Ethereumissa).
6/ SP1 zkVM on käytössä. Rakentajat voivat tarkistaa vedokset ketjussa ja toimittaa tuotantotason sovelluksia SP1:n avulla.
Mutta Concinct Prover Network - hajautettu kerros, jossa kuka tahansa voi suorittaa todisteen ja ansaita - on vielä testiverkon viimeisessä vaiheessa (vaihe 2.5).
Prover Networkin pääverkko lähestyy.
7/ Boundless puolestaan osoittautuu yleishyödylliseksi. Mikä tahansa ketju voi pyytää sitä todistamaan jotain. Mikä tahansa sovellus voi ulkoistaa sille monimutkaisen logiikan.
Se ei ole vain verkko, se on kokonainen kerros todennettavissa olevaa laskentaa varten.
Voit kuvitella Boundlessin pilvipalveluna kryptografisilla kuiteilla.
8/ RISC Zerolle rakennettu Boundless käyttää myös Rust- tai C++-koodia zkVM:ssä.
Mutta se käärii sen protokollaan, jossa työpaikat julkaistaan ketjussa, minkä jälkeen proversit lunastavat ja laskevat ne ketjun ulkopuolella.
9/ Se esittelee uuden idean nimeltä Proof of Verifiable Work (PoVW). Todistajat palkitaan sen perusteella, kuinka paljon todellista laskentaa he tekevät.
Se on kuin louhintaa, mutta satunnaislukujen hajauttamisen sijaan ne osoittautuvat hyödylliseksi työksi, ajavat todellisia ohjelmia.
Boundless kutsuu sitä zk-miningiksi.
10/ Boundlessin ensimmäinen live-käyttötapaus on The Signal on Mainnet Beta, ZK-konsensusasiakas, joka todistaa Ethereumin lopullisuuden yhdeksi todennettavissa olevaksi todisteeksi.
Tämä todiste voidaan lukea millä tahansa ketjulla, jolloin ketjujen väliset sovellukset voivat lukea Ethereumin tilaa ilman multi-sigejä tai oraakkeleita.
Signaali todistaa lisää ketjuja seuraavaksi verkon laajentuessa.
11/ Mitä eroa on?
Ytimekäs: nopea, ketjun ulkopuolinen huutokauppa → yksi todistaja voittaa työn → toimittaa todisteen ketjussa. Saat pienen viiveen ja todennettavissa olevat tulokset nopeasti.
Rajaton: tehtävät, jotka on lähetetty ketjuun → kuka tahansa todistaja laskee ketjun ulkopuolella → toimittaa todisteita ketjussa → PoVW-palkintojen tarjoajia. Avoin kilpailu ja täysin luottamukseton alusta alkaen.
12/ Kuka niitä käyttää?
- @Mantle_Official → Päivitetty Optimisticista zkRollupiin käyttämällä Succinctin SP1 zkVM:ää nopean lopullisuuden ja EVM-vastaavuuden takaamiseksi.
- Rollup-as-a-Service-alustat (Conduit, AltLayer, Caldera, Alchemy, Gelato) → Tarjoa ZK-rollupeja OP-Succinctin kautta, jolloin kehittäjät voivat käynnistää L2-versioita 1 napsautuksen SP1-pohjaisilla lopullisuuspäivityksillä.
- Polygonin @Agglayer → Käyttää SP1:tä zk-yhdistämiskerroksen toteuttamiseen Polygon-rollupeissa, mikä parantaa cross-rollupien koostattavuutta.
- @celestia (Blobstream DA Bridge) → SP1 varmistaa Celestian lohkon sisällyttämisen luotettavaan DA-siltaan, mikä mahdollistaa rollupien asettumisen Ethereumiin Celestia-blobien kanssa.
13/ - @eigenlayer → Käyttää Boundlessia panostettujen arvojen päivitysten laskemiseen ketjun ulkopuolella ja julkaisee ZK-todisteita, jotka vähentävät L1-kaasua ~99,9 %.
- @hibachi_xyz → Rakensi ensimmäisen todistettavan pörssin. Ketjun ulkopuolinen täsmäytys suoritetaan korkealla taajuudella; jokainen erä on todistettu R0VM:llä Boundlessissa.
- @citrea_xyz (Bitcoin zkRollup) → käyttää Boundlessia erissä tehtyjen Bitcoin-tapahtumien todistamiseen, mikä mahdollistaa EVM-yhteensopivat ZK-rollupit Bitcoinissa.
- @build_on_bob → Boundless toimii BOB:n hybridi L2:ssa, mikä tuo EVM-älykkäitä sopimuksia ja todistetuttuja rollupeja Bitcoiniin.
14/ Kuka voittaa ZK-pelin?
He eivät ole suoria kilpailijoita. Itse asiassa niiden lähestymistavat voisivat täydentää toisiaan.
Selvää on tämä: ZK-infrastruktuuri muuttuu modulaariseksi. Nopea, universaali ja luotettava tietojenkäsittely ei ole enää scifiä, se tapahtuu nyt.
19,37 t.
9
Tällä sivulla näytettävä sisältö on kolmansien osapuolten tarjoamaa. Ellei toisin mainita, OKX ei ole lainatun artikkelin / lainattujen artikkelien kirjoittaja, eikä OKX väitä olevansa materiaalin tekijänoikeuksien haltija. Sisältö on tarkoitettu vain tiedoksi, eikä se edusta OKX:n näkemyksiä. Sitä ei ole tarkoitettu minkäänlaiseksi suositukseksi, eikä sitä tule pitää sijoitusneuvontana tai kehotuksena ostaa tai myydä digitaalisia varoja. Siltä osin kuin yhteenvetojen tai muiden tietojen tuottamiseen käytetään generatiivista tekoälyä, tällainen tekoälyn tuottama sisältö voi olla epätarkkaa tai epäjohdonmukaista. Lue aiheesta lisätietoa linkitetystä artikkelista. OKX ei ole vastuussa kolmansien osapuolten sivustojen sisällöstä. Digitaalisten varojen, kuten vakaakolikoiden ja NFT:iden, omistukseen liittyy suuri riski, ja niiden arvo voi vaihdella merkittävästi. Sinun tulee huolellisesti harkita, sopiiko digitaalisten varojen treidaus tai omistus sinulle taloudellisessa tilanteessasi.