For å bekrefte, zkRollups brenner $10,000,000 per år
Jeg kan ikke tenke på det! Bytte, utlån, stemmegivning osv. bruker alle verifiseringstjenester, og ZK-bevis har blitt mye tatt i bruk, men den fragmenterte verifiseringsklienten, høye gebyrer og integrasjonsvansker har blitt vanlige problemer i bransjen.
Worldcoin trenger å brenne 20 ~60 dollar gass, WOW for en enkelt verifisering.
La oss dykke inn!
⬇️
Blokkjedeverdenen er en mørk skog, og all kode må verifiseres flere ganger for å fullføre en spesifikk tjeneste, som også er en av egenskapene som desentralisering gir. Uten å lekke spesifikke detaljer, men verifisere resultater, har ZK nullkunnskapssikker teknologi blitt en universell løsning for bransjen, men virkeligheten er ikke så rosenrød.
La oss snakke om kostnadene først
Bevisverifiseringsmarkedet anslår at zkRollups alene vil bruke mer enn 100 millioner dollar på sikkerhet i 2024 og forventes å utvide til 1.5 milliarder dollar innen 2028 når ZK-applikasjoner inkluderes. For å være mer detaljert kan verifiseringskostnaden for et enkelt ZK-bevis på Ethereum variere fra $16 til $205, og den er svært variabel og tjenesten er ekstremt ustabil:
▰ Størrelse:$16.13
▰ Halo2:$28,81
▰ Groth16:$29,39
▰ STARK:$204,65
Merk: Bare anta 30 GWEI, ETH-prisen er $3K
Til denne prisen ville det være skremmende å fullføre private DeFi-transaksjoner, stemmegivning, spill og identitetsverifisering, og det ville være for dyrt. I begynnelsen ble det nevnt at Worldcoin koster $20~60 per verifisering, og de ble tvunget til å henvende seg til OP, men dette var bare et midlertidig tiltak, og de fleste eiendelene og tjenestene var fortsatt på det første laget av nettverket.
9 milliarder ZK-bevis venter på å bli generert, noe som også betyr 9 milliarder verifikasjoner – hvem skal betale for denne kontoen?
La oss snakke om sluttvederlag
Hvorfor sitter forskjellige ZK-verifiseringsordninger fast? Tradisjonelle løsninger er avhengige av L1-verifisering på kjeden, men Ethereums EIP-prosess er for treg, noe som hindrer den alvorlig. EIP-196 og 197 introduserte i 2017 forhåndskompilerte kontrakter for BN254-kurven, noe som gjorde zk-SNARK-verifisering enklere, men også låste inn andre kurver. Den nye BLS12-381-kurven er tryggere og mer effektiv, men fordi EIP-2537 ennå ikke er implementert, blir utviklere tvunget til å bruke kurver for å redde landet: samle bevis først, deretter konvertere formater, forlenge endelighetstiden og bruke mer penger.
STARK viser seg å være effektiv, men verifiseringsgassgebyret er så høyt som mer enn 2 millioner, langt over SNARK-ene. Rollups erstatter ZK med svindelbevis, men utfordringsperioden på én uke er for lang og sikkerhetsrisikoen er stor. Bitcoin zkRollups kan bare verifiseres utenfor kjeden på grunn av skriptbegrensninger, avhengig av komplekse BitVM-utfordringer, og kostnader og risikoer eksisterer side om side.
Nye bevissystemer som Binius og Rinocchio er mer avanserte og kan akselerere maskinvareimplementering og støtte kryptografiske databevis, men L1 støtter ikke en rekke begrensede domener og hash-funksjoner, noe som får verifiseringskostnadene til å stige med mer enn 90 %.
Utfall? Innovasjon blir kidnappet av DAO-konsensus og gasssvingninger, utviklere foretrekker å nøye seg med gamle løsninger, og ZK-økosystemet er som å sitte fast av "kurvestandardisering".
Hvordan kan jeg fikse det?
zkVerify @ZKVProtocol er her, det er en dedikert nullkunnskapssikker verifiseringskjede, med en veldig tydelig posisjonering, som fungerer som "verifiseringslaget" for hele nettverket, hjelper familier med å redusere verifiseringsgebyrer og gir utviklere rimelige og universelt kompatible vennlige tjenester med lav ventetid. Hvor mye kan du spare?
91%。 Under de samme forholdene synker kostnadene kraftig sammenlignet med å bruke zkVerify:
▰ Størrelse:$16.13 ~ $1.45
▰ Halo2:$28,81 ~ $2,59
▰ Groth16:$29,39 ~ $2,65
▰ STARK:$204,65 ~ $18,42
Dette er litt kjempebra! Ikke bare reduserer det kostnadene, men det kan også akseptere allsidigheten til bevis fra enhver klient, kompatibel med zk-stabler som STARKs, Plonky2, RiscZero, SP1, UltraHonk og mer. Dette er mulig takket være zkVerifys arkitektur og avanserte komponenter, inkludert:
▰ Hovedkjede: L1 proof-of-stake blokkjede
▰ Grensesnitt for innsending av korrektur: Et grensesnitt som mottar ulike heterogene bevis
▰ Sertifiseringsmekanisme: Lag og publiser sertifiserte protokoller
▰ zkVerify L1-kontrakt: Lagrer ny autentiserings- og verifiseringsinformasjon
Som et produkt er zkVerify mer enn bare en arkitektonisk okse, det låser opp et nytt bevissystem, støtter polynominterpolering og hashing-innovasjon, og integrerer sømløst Binius og Circle STARKs; Revolusjonerte Bitcoin zkRollups, ved hjelp av hvilken verifiseringstiden utenfor kjeden er redusert fra en uke til noen få minutter; Forenklet zkApps, fra nettlesergenereringsbevis, delegert verifisering, bare liten autentisering til oppgjørskjede.
Å kvitte seg med EIP-flaskehalser, støtte ulike primitiver, akselerere Bitcoin/Ethereum-veikartet og bruke standardisert verifisering for å bygge bro over L1/L2 er det zkVerify kommer til å gjøre, og infrastrukturlaget som støtter den neste bølgen av AI × ZK-applikasjoner har blitt et spørsmål om å følge strømmen, så fra dette perspektivet er betydningen fortsatt enorm.
For øyeblikket har zkVerify blitt lansert på hovednettet og forventes å holde en TGE 30. I år har flere store prosjekter åpnet taket for markedsverdien av zk-banen, og denne typen zk-infrastrukturprosjekter i zk må vies spesiell oppmerksomhet.
/
Forfatter: anymose | En myk populærvitenskapelig forfatter
Denne artikkelen er kun til populærvitenskapelig bruk og utgjør ingen investeringsråd, husk alltid DYOR!