<Miksi ZK epäonnistui, ja mitä Succinct haluaa muuttaa?> 1. Ongelman tiedostaminen Bitcoinin luoja Satoshi Nakamoto on ilmaissut skeptisyyden nollatietotodisteita (ZKP) kohtaan. "Todistaaksesi, että jotain ei ole olemassa, sinun on tiedettävä koko transaktio", hän sanoi ja arvioi, että ZKP:iden soveltaminen lohkoketjuihin on rakenteellisesti vaikeaa. Hän sanoi kuitenkin myös: "Jos löydämme ratkaisun, on mahdollista toteuttaa Bitcoin paljon paremmin, helpommin ja kätevämmin." Toisin sanoen, vaikka he tunnustivat ZK:n tekniset rajoitukset, he myönsivät, että jos niihin puututaan, ne voivat olla merkittävä käännekohta lohkoketjun kehityksessä. Nyt, vuosia myöhemmin, cypherpunk-yhteisö ja ZK-tutkijat ovat vihdoin löytäneet ratkaisun. Zcash oli ensimmäinen, joka sovelsi ZKP:tä todellisiin kryptovaluuttoihin, ja projektit, kuten StarkWare, zkSync ja Scroll, ovat sittemmin kehittäneet tätä teknologiaa keskeisenä keinona parantaa Ethereumin skaalautuvuutta ja todennettavuutta. Todellisuudessa on kuitenkin edelleen aukko. zkEVM:n luominen vaatii syvällistä asiantuntemusta, vuosien kehitystä ja suorituskykyistä laitteistoa, ja useimmat projektit luottavat tiettyihin todisteiden tarjoajiin oman ZKP-infrastruktuurinsa sijaan. Tämän seurauksena ZKP:t pysyivät monimutkaisena työkaluna, jota vain harvat pystyivät käsittelemään, eikä "teknologiana, jota kuka tahansa voi käyttää". 2. Mikä on ytimekäs? Ytimekäs (@SuccinctLabs) on yritys käsitellä tätä ongelmaa suoraan. Tärkeintä on muuttaa ZKP:t infrastruktuuriksi, jota kaikki kehittäjät voivat helposti käyttää, ja auttaa ketä tahansa luomaan "luottamuksettoman järjestelmän" ilman monimutkaisia piirejä tai infrastruktuuria. Ytimekäs on infrastruktuuri, joka muuttaa lohkoketjun tavoitteleman "luottamuksettoman" järjestelmän ihanteen todellisuudeksi, joka voidaan todella toteuttaa. Trustless ei tarkoita "epäluotettavaa", vaan viittaa rakenteeseen, joka toimii itsenäisesti ilman luottamuksen lähtökohtaa, eli järjestelmään, joka on matemaattisesti todennettavissa ilman kolmatta osapuolta tai keskusviranomaista. Nykyinen lohkoketjuekosysteemi on kuitenkin edelleen vahvasti riippuvainen luottamuksesta. Siltahakkeroinnit, multisig-toiminnot ja keskitetty validaattoridelegointi ovat kaikki todiste siitä, että järjestelmä toimii vain, kun luotamme edelleen ihmisiin ja organisaatioihin. Yritys murtaa tämä luottamukseen perustuva raja suoraan on ZKP eli Zero-Knowledge Proof -tekniikka. Tämä tekniikka, jonka avulla voimme matemaattisesti todistaa, että "tämä laskelma on oikea" ilman, että meidän tarvitsee luottaa kehenkään, on selvästi keskeinen perusta hajautetuille järjestelmille. Ongelmana oli, että ZKP:t olivat liian monimutkaisia ja raskaita kirjoitettavaksi. 3. Miksi ZKP:t tuntuivat vaikeilta? ZKP-tekniikka on ollut yhtä korkea kuin sen potentiaali. Erityisesti zkEVM:n luominen vaati ammattitaitoista tiimiä, vuosien kehitystä ja kallista infrastruktuuria. Useimpien zk-projektien piti suunnitella omat piirinsä, rakentaa omia zkVM:iä ja jopa käyttää laitteistoa itse. Vasta kaikkien näiden prosessien läpikäymisen jälkeen he pystyivät kutsumaan itseään "ZK-rollupeiksi". Lisäksi perinteiset yleiskäyttöiset zkVM:t ovat olleet erittäin tehottomia todisteiden tuottamisessa. Normaalisti lohkon todistaminen vaati kymmenien tehokkaiden koneiden rykelmän, ja kustannukset nousivat 10 dollariin ~ 20 dollariin lohkoa kohden. Tämän suuren teknisen taakan ja käyttökustannusten vuoksi monet projektit ovat luopuneet ZKP:iden käyttöönotosta tai valinneet rakenteita, jotka perustuvat joihinkin keskitettyihin todisteiden tarjoajiin. 4. Ytimekkään yritys @SuccinctLabs pitää näitä rakenteellisia ongelmia infrastruktuurin ongelmina. ZKP:t ovat teknisesti riittävän tehokkaita, mutta ongelmana on, kuka ne toteuttaa, miten ja millä hinnalla. Siksi Succinct luo hajautetun todistusverkon, joka on helposti kaikkien saatavilla ilman, että yksittäisten projektien tarvitsee käyttää omaa todistusinfrastruktuuriaan. Kehittäjien ei tarvitse asentaa monimutkaisia zkVM:iä tai tarjota laitteistoa. Kun vedospyyntö lähetetään verkkoon, eri laitteistoa käyttävät tutkijat tekevät siitä huutokaupassa tarjouksen sen käsittelemiseksi. Todistuskustannukset laskevat luonnollisesti kilpailun myötä, ja anturit tuottavat tehokkaasti vedoksia tehokkailla laitteilla. Tuloksena on nopeat ja halvat todisteet kehittäjille sekä erittäin saatavilla oleva ja sensuurin kestävä varmistusinfrastruktuuri koko ekosysteemille. Concinct ei vain osoita teknisiä mahdollisuuksiaan, vaan myös osoittaa roolinsa aloilla, joilla syntyy todellista kysyntää. Tyypillinen esimerkki on @celestia-ekosysteemissä syntynyt "CLOBs on Blobs" -virtaus. Celestian blob-tilan päälle syntyy tehokkaita hajautettuja tilauskirjoja (CLOB), joten laajamittainen tietojenkäsittely ja nopeat tilatodistukset ovat olennaisia infrastruktuuritarpeita. Hyperliquidin ja @hibachi_xyz kaltaiset projektit toteuttavat monimutkaisia tilauskirjatapahtumia ja hinnanmuodostuslogiikkaa ketjussa, mikä vaatii skaalautuvuutta ja suorituskykyä yksinkertaisten rollupien lisäksi. Tässä tarvitaan Celestian korkean suorituskyvyn tietojen saatavuuskerros ja Succinctin tarjoama hajautettu ZK-varmistusinfrastruktuuri. Itse asiassa Celestia kokee blob-tilan todellisen käyttöasteen nopean kasvun, ja ZK-infrastruktuuri, kuten Succinct, osallistuu hiljaa sen taakse. Jos Celestia tarjoaa "todennettavissa olevan tietovaraston", Succinct on vastuussa "todennettavissa olevan tilasiirtymän" luomisesta näiden tietojen päälle. Tämä yhdistelmä on lähtökohta ZKP-teknologialle siirtyä abstraktien teorioiden ulkopuolelle todellisiin järjestelmiin. 5. zkEVM, SP1 ja SP1 Reth, joita kuka tahansa voi käsitellä Concinct, joka ratkaisi infrastruktuurin saavutettavuuden tällä tavalla, kehitti avoimen lähdekoodin zkVM:n nimeltä SP1 (Succinct Processor 1) alentaakseen itse zkVM:ien markkinoille pääsyn kynnystä. SP1 on Rustissa toteutettu yleiskäyttöinen zkVM, joka on suunniteltu kenen tahansa käytettäväksi suoraan ilman monimutkaista piirisuunnittelua, kuten perinteiset zkEVM:t. Varhainen esimerkki SP1:n mahdollisuuksista on SP1 Reth. SP1 Reth on tyypin 1 zkEVM, joka on toteutettu vain noin 2 000 rivillä Rust-koodia, ja se on helppo rakentaa käyttämällä uudelleen olemassa olevan Ethereum-asiakasekosysteemin komponentteja (Reth, Revm, Alloy jne.). Vielä hämmästyttävämpää on sen suorituskyky. SP1 Rethin keskimääräinen todistekustannus Ethereum-tapahtumaa kohden on vain 0,01 dollaria ~ 0,02, mikä on alhaisempi kuin L2:n yleiset datan saatavuuskustannukset. Tämä suorituskyky on mahdollista SP1:n "esikäännösjärjestelmän" ansiosta. Laskennallisesti intensiiviset toiminnot, kuten hajautusfunktiot ja allekirjoituksen todentaminen, hoidetaan ennalta optimoidulla rakenteella, mikä vähentää merkittävästi zkVM:ien kuluttamia resursseja. Tähän asti zkEVM:n toteuttaminen zkVM:ien kanssa on maksanut jopa 10 dollaria ~ 20 lohkoa kohden, mutta SP1 Reth on onnistunut laskemaan tämän yksinumeroiseksi. Sekä SP1 että SP1 Reth ovat täysin avoimen lähdekoodin, ja kuka tahansa voi haarautua niistä luodakseen oman zkEVM:n tai lisätäkseen esikäännöksiä suorituskyvyn parantamiseksi. Tämä on muutos, joka kumoaa täysin nykyisen kalliin ja vaikean zk-kehitysympäristön ja avaa aikakauden, jossa kuka tahansa Rust-kehittäjä voi osallistua zk-järjestelmään. 6. Loppujen lopuksi ZK on nyt kaikkien saatavilla Ytimekäs ei koske vain ZKP-tekniikan teknistä potentiaalia, vaan myös palapelin viimeistä palaa: saavutettavuutta ja käytännöllisyyttä. Ilman monimutkaisia piirejä tai erillistä laitteistoa kuka tahansa voi luoda sovelluksia ZKP:n avulla, ja todisteet käsitellään hajautetussa verkossa. Aikakausi, jolloin kaikki rollupit voivat olla ZK-rollupeja, ja Internet, joka toimii vain totuuden kanssa. Siinä lähtökohdassa ovat Succinct ja SP1. Nyt ZKP:t ovat kaikkien tekniikkaa, ei joidenkin.