Ievads
Iepriekšējā emuāra ierakstā mēs īsi iepazīstinājām ar mūsu protokolu ZKCross, kura mērķis ir bez piepūles savienot Web2 un Web3, nepalielinot nevajadzīgas sarežģītības. Mēs arī uzsvērām pašreizējās problēmas, kas nomoka Web3 nozari, kas kavē patiesu decentralizāciju, efektivitāti un pieejamību izstrādātājiem. Šajā emuāra ziņojumā tiks detalizēti aplūkots, kā mēs plānojam pārvarēt šīs problēmas un sasniegt savu mērķi nemanāmi saistīt Web2 un Web3.
Pirms iedziļināmies specifikā, apskatīsim, par ko ir ZKCross!
Kas ir ZKCross?
ZKCross ir revolucionāra platforma, kuras mērķis ir pārvarēt plaisu starp divām interneta versijām Web2 un Web3. Tas izmanto WebAssembly virtuālo mašīnu, ko sauc par zkVM, un “zk-shadow slāni”, kas atvieglo dažādu platformas daļu sadarbību. Šī pieeja ļauj Web2 izstrādātājiem izmantot tādas programmēšanas valodas kā C/C++, Java vai Python.
Mūsu platformā ir izmantots arī unikāls slānis, kas nemanāmi savieno ķēdē un ārpus ķēdes esošās vides. Šis slānis, kas pazīstams kā “zk-shadow slānis”, atvieglo savienojumu starp zkWASM un ķēdes slāni, izmantojot zk-starpniekservera līgumus. Līdz ar to tas ļauj mums pārvarēt barjeru starp Web2 un Web3, vienlaikus atvieglojot augstu caurlaidspēju un pieejamību jebkuram lietotājam vai izstrādātājam.
Zero-knowledge tehnoloģijas brīnumi
Zero Knowledge (ZK) tehnoloģija attiecas uz protokolu klasi, kas ļauj vienai pusei (pierādītājam) demonstrēt zināšanas par noslēpumu citai pusei (verificētājam), neatklājot nekādu informāciju par pašu noslēpumu. Šis jēdziens tika ieviests 1980. gadu beigās, un kopš tā laika tas ir atradis daudzus lietojumus, tostarp kriptogrāfisko autentifikāciju. ZK pārbaude parasti ietver virkni mijiedarbību starp pārbaudītāju un pārbaudītāju, kuru laikā pārbaudītājs pārliecina pārbaudītāju par noslēpuma zināšanām, to neatklājot.
Lai protokolu uzskatītu par ZK drošu, tam ir jāatbilst pilnīgumam, saprātīgumam un nullei. Pilnīgums nozīmē, ka godīgs pierādītājs vienmēr pārliecinās godīgu pārbaudītāju par pierādāmā apgalvojuma patiesumu. Pareizība nozīmē, ka negodīgs pierādītājs ar lielu varbūtību nevar pārliecināt pārbaudītāju par nepatiesu apgalvojumu. Visbeidzot, nulles zināšanas nozīmē, ka protokols verificētājam neatklāj nekādu informāciju par noslēpumu, izņemot to, ka pārbaudītājs to zina. Tas nozīmē, ka pat tad, ja uzbrucējs pārtvers visus saziņu starp pārbaudītāju un pārbaudītāju, viņi neko neuzzinās par noslēpumu.
ZK dApp izstrādes ierobežojumi
ZK lietojumprogrammu izstrāde var būt sarežģīta programmēšanas valodas izvēles ierobežojumu dēļ. Daudzas blokķēdes izmanto specializētu programmēšanas valodu, ko sauc par Solidity, kas ir pielāgota viedo līgumu rakstīšanai. Tā nav lietotājam draudzīgākā valoda, un tai ir strauja mācīšanās līkne, kas var izaicināt nepazīstamus Web2 izstrādātājus. tādējādi šiem izstrādātājiem rodas bažas par pieejamību.
Lai risinātu šo izaicinājumu, izstrādātāji pēta jaunus risinājumus, kas nodrošina lielāku programmēšanas valodas elastību, veidojot ZK lietojumprogrammas. Viena pieeja ietver WebAssembly (WASM) virtuālās mašīnas izmantošanu, kas ļauj izstrādātājiem kodēt viņu vēlamajās augsta līmeņa programmēšanas valodās, piemēram, C/C++, Java vai Python. Tas ļauj Web2 izstrādātājiem izmantot savas esošās prasmes un pieredzi, lai izveidotu ZK lietojumprogrammas, neapgūstot jaunas programmēšanas valodas. Turklāt tiek izstrādāti rīki un ietvari (piemēram, ZKCross SDK), kas abstrahē daļu no viedo līgumu rakstīšanas sarežģītības, atvieglojot izstrādātājiem drošu ZK lietojumprogrammu izveidi.
zkVM, attīstības svētā trīsvienība
ZKVM ir saīsinājums no Zero-Knowledge Virtual Machine — tehnoloģija, ko izmanto ZKCross protokolā, lai palīdzētu Web2 izstrādātājiem rakstīt viedos līgumus Web3, neapgūstot jaunas programmēšanas valodas. ZkVM izmanto WASM virtuālo mašīnu, kas ļauj Web2 izstrādātājiem kodēt viņu vēlamajās programmēšanas valodās. WASM ir neticami populārs tīmekļa lietojumprogrammām un tiek izmantots visos nozīmīgajos tīmekļa dzinējos. Tādējādi zkVM izmantošana ļauj miljoniem izstrādātāju izveidot Web3 gatavas lietojumprogrammas bez straujas mācīšanās līknes. No otras puses, zkVM izmanto zk-SNARK; kriptogrāfisks pierādījums, kas ļauj vienai pusei pierādīt otrai pusei konkrētas informācijas zināšanas, neatklājot par to nekādu informāciju. SNARK nodrošina veidu, kā apstiprināt aprēķinus blokķēdē, neatklājot sensitīvus (personas) datus, piemēram, personu identificējošu informāciju.
Viena no galvenajām SNARK priekšrocībām ir to kodolīgums. Atšķirībā no citiem ZK pierādījumu veidiem, kas var būt ļoti dārgi skaitļošanas ziņā un kuriem ir nepieciešamas daudzas mijiedarbības kārtas starp pārbaudītāju un pārbaudītāju, SNARK var būt ļoti efektīvi, un tiem ir nepieciešams tikai viens pierādījums, ko var ātri pārbaudīt.
Vēl viena SNARK priekšrocība ir to mērogojamība. SNARK var izmantot, lai pārbaudītu lielu aprēķinu pareizību, neatklājot paša aprēķina detaļas. Tas padara tos īpaši noderīgus viedo līgumu pareizības pārbaudei blokķēdes tīklos, kur aprēķini var būt ļoti sarežģīti un prasa daudz skaitļošanas resursu.
ZkVM priekšrocības
zkVM piedāvā virkni priekšrocību izstrādātājiem, kuri vēlas izveidot decentralizētas lietojumprogrammas.
Augsta elastība: izmantojot zkVM, izstrādātāji var rakstīt viedos līgumus sev vēlamajā augsta līmeņa programmēšanas valodā C/C++, Java vai Python, tā vietā, lai aprobežotos ar noteiktām programmēšanas valodām.
Uzlabota mērogojamība: zkVM nodrošina ātrāku darījumu izpildi un lielāku caurlaidspēju, kas ir būtiska mērogojamu decentralizētu lietojumprogrammu izveidei.
Saw Modularitāte un kompozīcija: Izmantojot zkVM, izstrādātāji var ātri izveidot sarežģītas decentralizētas lietojumprogrammas, izmantojot dažādus moduļus, neuztraucoties par valodas vai platformas saderības problēmām.
Uzlabota drošība: zkVM izmanto ZK pārbaudes, kas pazīstamas kā SNARK, lai nodrošinātu augstu drošību, iespējot skaitļošanas verifikāciju, neatklājot sensitīvus datus.
Decentralizācija: zkVM veicina decentralizāciju, ļaujot viedos līgumus izpildīt sadalīti vairākos mezglos, tādējādi novēršot nepieciešamību pēc centrālajām iestādēm.
Nākamajos emuāros mūsu unikālā un revolucionārā ekosistēma tiks sīkāk izskaidrota, izceļot lietošanas gadījumus, dziļi iedziļinoties arhitektūrā un daudz ko citu!
