<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. ...