➥ GPU-kerros lohkoketjuille - ZK-yhteisprosessorit Lohkoketjut siirtävät arvoa, eivät laskentaa. Kun sopimukset suorittavat monimutkaisia logiikka- tai tietokyselyitä, ne törmäävät kaasuseinään. ZK-apuprosessorit korjaavat sen. Ne toimivat lohkoketjujen GPU-kerroksena, suorittavat ketjun ulkopuolella ja todistavat tulokset ketjussa. Selitän 30-luvulla 🧵 — — — ► Mitä ovat ZK-apuprosessorit? ZK-yhteisprosessorit ovat ketjun ulkopuolisia laskentakerroksia, joiden avulla älykkäät sopimukset voivat käsitellä monimutkaista logiikkaa ilman suuria kaasu- tai luottamusongelmia. He suorittavat tehtäviä ketjun ulkopuolella, luovat nollatietotodistuksia ja antavat ketjun tarkistaa ne halvalla. Lyhyesti sanottuna ne skaalaavat laskentaa ja pysyvät samalla todennettavissa. Keskeiset ominaisuudet: ➤ Ketjun ulkopuolinen suoritus: Suorittaa raskaita työkuormia, kuten tietokyselyitä tai tekoälypäättelyä. ➤ Todiste oikeellisuudesta: Jokainen tulos sisältää ketjussa vahvistetun ZK-todisteen. ➤ Tilaton ja ketjuagnostikko: Toimii L1-, L2- ja rollup-tiedostoissa. ➤ Kustannustehokas: Vähentää kaasua ja latenssia. — ► Mihin ZK-apuprosessorit sopivat ZK-apuprosessorit eivät ole rollupeja tai oraakkeleita; ne täydentävät niitä. Ne sijaitsevat lohkoketjujen vieressä laskentakerroksena, joka varmistaa työn lisäämättä ruuhkia. Miten ne eroavat toisistaan: ➤ Rollupit: Skaalaa tapahtumat ja säilytä tila. Apuprosessorit skaalaavat laskentaa ja pysyvät tilattomina. ➤ Oraakkelit: Toimita tiedot ilman todisteita. Apukäsittelijät palauttavat tiedot todisteineen. ➤ TEE:t: Luota luotettavaan laitteistoon. Apuprosessorit tarkistavat matematiikan, eivät koneiden avulla. Yhdessä ne laajentavat modulaarista pinoa, rollupit siirtävät dataa, oraakkelit hakevat sitä, apuprosessorit todistavat sen. — ► Kuinka ZK-apuprosessorit toimivat Työnkulku: Älykäs sopimus → ZK-apuprosessori → Proof Generation → On-chain Verification Vaiheittainen: ➤ Älykäs sopimus: Lähettää pyynnön raskaasta tehtävästä, kuten tietojen hakemisesta tai tekoälymallin suorittamisesta. ➤ ZK-apuprosessori: Suorittaa laskennan ketjun ulkopuolella kaasun ja latenssin välttämiseksi. ➤ Todisteiden luonti: Luo ZK-todisteen siitä, että laskelma oli oikea. ➤ Ketjun sisäinen varmennus: Sopimus tarkistaa todisteet ja päivittää tulokset. — ► ZK-apuprosessoriprojektien johtaminen ➤ Lagrange ( @LagrangeDev ) Tarjoaa SQL-pohjaisen ZK-apuprosessorin, jossa on kevyet asiakaskomiteat nopeita ketjujen välisiä kyselyitä varten. @eigenlayer, @Mantle_Official ja @base käyttävät todennettavissa olevaa yhteentoimivuutta varten. ➤ Avaruus ja aika (@SpaceandTimeDB ) Tarjoaa Proof-of-SQL-apuprosessorin, joka mahdollistaa todennettavissa olevat kyselyt ketjun sisäisistä ja ulkopuolisista tiedoista. @chainlink- ja yrityskumppanit käyttävät sitä skaalautuvaan analytiikkaan ja oraakkelisyötteisiin. ➤ RISC nolla (@RiscZero ) Tarjoaa RISC-V zkVM:n, jossa on Bonsai-testauspalvelu yleiskäyttöistä todennettavissa olevaa laskentaa varten. @citrea_xyz ja @PhalaNetwork käyttävät sitä luotettaviin suoritustodisteisiin. ➤ Brevis (@brevis_zk ) Tarjoaa ohjelmoitavan ZK-datan apuprosessorin ketjujen välisiin kyselyihin ja luotettaviin ketjujen välisiin tietoihin. Käyttää @Uniswap V4 Hooks ja @LineaBuild sytytys. ➤ Giza ( @Gizatechxyz ) Tarjoaa zkML-kehyksen, joka muuntaa tekoälymallit nollatiedon todennettavissa olevaan muotoon. Käytetään @Starknet-pohjaisissa tekoälyprojekteissa petosten havaitsemiseen ja omaisuuden hallintaan. ➤ = nolla; Säätiö ( @nil_foundation ) Tarjoaa zkLLVM-kääntäjän ja Proof Marketin vakiokoodin muuntamiseksi todistettavissa oleviksi piireiksi. Käytetään siltoissa, rollupeissa ja rahoitusprotokollissa todisteiden luomiseen. ➤ Rajaton (@BoundlessXYZ ) Tarjoaa ohjelmoitavat ZK-apuprosessorit historialliseen tilaan pääsyyn ja ketjujen väliseen laskentaan. Kumppanien koontiversiot käyttävät tietojen indeksointiin ja kannustinmekanismeihin. ➤ Ytimekäs ( @SuccinctLabs ) Tarjoaa SP1 zkVM:n ja hajautetun todistusverkon validiteettitodistuksia varten. @Mantle_Official käyttää sitä korvaamaan petostodisteet ja lyhentämään nostoja seitsemästä päivästä kuuteen tuntiin. ➤ Aksiooma (@axiom_xyz ) Tarjoaa todistettavan ohjelmointirajapinnan ja OpenVM:n, jonka avulla voit kysellä @ethereum:n historiallisia tietoja ketjun ulkopuolella ja tarkistaa ne ketjussa. @Scroll_ZKP käyttää lohkojen viimeistelyyn ja nostoviiveen vähentämiseen. — ► Riskit ja kompromissit ➤ Korkeat todistekustannukset: Todisteet vaativat vahvan laitteiston ja pitkän laskennan. ➤ Monimutkainen kehitys: Vaatii kryptografiaosaamista ja erikoistyökaluja. ➤ Keskittämisriski: Varhaiset koeverkot ovat riippuvaisia harvoista solmuista. ➤ Nopeat laitteistojaksot: Laitteisto kehittyy nopeasti, mikä tekee asetuksista kalliita ja lyhytaikaisia. — ► Yhteenveto ZK-yhteisprosessorit poistavat lohkoketjun suurimman pullonkaulan – laskennan. Ne muuttavat hitaan ja kalliin logiikan skaalautuvaksi, todennettavissa olevaksi toteutukseksi monimutkaisille älykkäille sopimuksille. Kun laitteisto paranee ja testausverkot hajautetaan, todistekustannukset laskevat ja suorituskyky nousee. DeFi-, rollup-, tekoäly- ja aikomusjärjestelmien rakentajat käyttävät niitä tuodakseen todennettavissa olevaa laskentaa modulaarisiin lohkoketjuihin.

Merkitsin ystäväni, jotka muokkaavat kerrontaa ja nostavat keskustelua. > @HouseofChimera > @belizardd > @SherifDefi > @0xCheeezzyyyy > @Mars_DeFi > @90s_DeFi > @nlbkaifine > @Nick_Researcher > @YashasEdu > @thelearningpill > @cryptorinweb3 > @satyaXBT > @kenodnb > @Tanaka_L2 > @TimHaldorsson > @satyaXBT > @Haylesdefi > @Hercules_Defi > @DeRonin_ > @0xAndrewMoh > @0xDefiLeo > @Defi_Warhol > @CryptMoose_ > @TheDeFiPlug > @arndxt_xo > @CryptoShiro_ > @the_smart_ape

— Vastuun kieltäminen