Sākotnējais autors: YBB Capital Researcher Zeke

TLDR

  • ZK Coprocessor (ZK Coprocessor) var uzskatīt par ārpus ķēdes skaitļošanas spraudni, kas iegūts no moduļu koncepcijas. Tā funkcija ir līdzīga mūsu tradicionālajos datoros esošajam GPU, kas koplieto grafiskos skaitļošanas uzdevumus CPU, tas ir, koplietot skaitļošanu. īpašos scenārijos;

  • Var izmantot sarežģītu aprēķinu un smagu datu apstrādei, gāzes maksas samazināšanai un viedo līgumu funkciju paplašināšanai;

  • Atšķirība no apkopojuma: ZK kopprocesors ir bezvalsts, to var izmantot vairākās ķēdēs un ir piemērots sarežģītiem skaitļošanas scenārijiem;

  • ZK kopprocesoru ir grūti izstrādāt, tam ir augsta veiktspēja, un tam trūkst standartizācijas. Aparatūra prasa daudz izmaksu Lai gan trase ir daudz nobriedušāka nekā pirms gada, tā joprojām ir sākuma stadijā.

  • Pēc tam, kad infrastruktūra ir iegājusi moduļu fraktāļu paplašināšanās laikmetā, blokķēde ir nonākusi dažādās problēmās, piemēram, likviditātes trūkums, izkliedēti lietotāji, inovāciju trūkums un starpķēžu savietojamība, un ir izveidojusi paradoksu ar vertikālās paplašināšanās L1. ZK kopprocesors, iespējams, spēs nodrošināt labu pastiprinājumu abiem nākotnē, ļaujot tiem izkļūt no problēmām, nodrošināt veiktspējas atbalstu vecajām lietojumprogrammām un jaunām un svarīgām lietojumprogrammām un sniegt jaunus stāstus.

1. Vēl viena moduļu infrastruktūras nozare, ZK kopprocesors

1.1. ZK kopprocesora pārskats

ZK Coprocessor (ZK Coprocessor) var uzskatīt par ārpus ķēdes skaitļošanas spraudni, kas atvasināts no moduļu koncepcijas. Tā funkcija ir līdzīga mūsu tradicionālajos datoros esošajam GPU, kas koplieto grafikas skaitļošanas uzdevumus CPU, tas ir, koplietot skaitļošanu. īpašos scenārijos uzdevuma procesors. Saskaņā ar šo dizaina sistēmu "smagos datus" un "sarežģītos aprēķinu loģikas" uzdevumus, kuros publiskā ķēde nav labi, var aprēķināt, izmantojot ZK kopprocesoru. Ķēdei ir jāsaņem tikai atgrieztie aprēķinu rezultāti, un ZK garantē tās pareizību beidzot tiek realizēti pierādījumi, uzticami ārpus ķēdes aprēķini sarežģītiem uzdevumiem.

Pašlaik populārām lietojumprogrammām, piemēram, AI, SocialFi, DEX un GameFi, ir steidzami nepieciešama augsta veiktspēja un izmaksu kontrole. lietojumprogrammas, vai arī izveidojiet lietojumprogrammu ķēdi atsevišķi. Tomēr abiem ir dažas raksturīgas problēmas, piemēram, pirmajam ir melnā kaste, bet otrajam ir tādas problēmas kā augstas izstrādes izmaksas, atdalīšana no sākotnējās ķēdes ekoloģijas un likviditātes sadrumstalotība. Turklāt galvenās ķēdes virtuālajai mašīnai ir arī lieli ierobežojumi šādu lietojumprogrammu izstrādei un darbībai (piemēram, lietojumprogrammu slāņa standartu trūkums un sarežģītas izstrādes valodas).

ZK kopprocesora esamība ir paredzēta, lai atrisinātu šādas problēmas dažas vienkāršākas lietojumprogrammas, piemēram, Uniswap un citas DeFi lietojumprogrammas, var pilnībā darboties ķēdē. Bet, kad parādīsies sarežģītākas lietojumprogrammas, piemēram, palaižot tādu lietojumprogrammu kā ChatGPT, publiskās ķēdes veiktspēja un krātuve būs pilnīgi nepietiekama, un gāze eksplodēs. Web2 gadījumā tas pats attiecas uz ChatGPT, kas nevar apstrādāt lielus valodu modeļus, piemēram, GPT-4. Pēc tam, kad serveris ir veicis secinājumu, tas ir jādara zināms OpenAI serverim rezultātus, mēs Jūs saņemsiet atbildi tieši. ZK kopprocesors ir līdzīgs blokķēdes attālajam serverim. Tomēr dažādu veidu projektiem var būt nelielas novirzes, taču pamatā esošā loģika nav daudz atšķirīga aprēķins + ZK pierādījums vai Uzglabāšanas pierādījumi. Ņemot par piemēru Rise Zero izvietošanu, mēs redzam, ka šīs arhitektūras loģika ir ļoti vienkārša. Projekts ir nemanāmi integrēts paša Rise Zero zkVM :

  • Uzrakstiet zkVM lietojumprogrammu, lai apstrādātu lietojumprogrammu loģiku;

  • Uzrakstiet Solidity līgumu, kurā Bonsai tiek lūgts palaist jūsu zkVM lietojumprogrammu un apstrādāt rezultātus.

Kāda ir atšķirība starp 1.2 un Rollup?

Iepriekš minētajā definīcijā mēs atklāsim, ka Rollup, šķiet, lielā mērā pārklājas ar ZK kopprocesoru neatkarīgi no tā ieviešanas loģikas vai mērķiem. Bet patiesībā Rollup vairāk atgādina galvenās ķēdes daudzkodolu versiju. Konkrētās atšķirības starp abām ir šādas.

1. Galvenais mērķis:

  • Apkopojums: uzlabojiet blokķēdes darījumu caurlaidspēju un samaziniet darījumu maksas.

  • ZK kopprocesors: paplašina viedo līgumu skaitļošanas jaudu, lai tas varētu apstrādāt sarežģītāku loģiku un lielāku datu apjomu.

2. Darbības princips:

  • Apkopojums: apkopojiet darījumus ķēdē un pārsūtiet tos uz galveno ķēdi, izmantojot krāpšanas pierādījumu vai ZK pierādījumu.

  • ZK kopprocesors: līdzīgi kā ZK Rollup, izņemot to, ka abu lietojumprogrammu scenāriji ir atšķirīgi, un to ierobežo ķēdes forma un noteikumi, un tas nav piemērots ZK kopprocesora darbam.

3. Statusa pārvaldība:

  • Apkopojums: jāuztur savs stāvoklis un regulāri jāsinhronizē ar galveno ķēdi.

  • ZK kopprocesors: neuztur pastāvīgu stāvokli, un katrs aprēķins ir bezvalsts.

4. Lietošanas scenāriji:

  • Apkopojums: galvenokārt C pusei, piemērots augstfrekvences tirdzniecībai.

  • ZK kopprocesors: galvenokārt B pusei, piemērots scenārijiem, kuros nepieciešami sarežģīti aprēķini, piemēram, uzlaboti finanšu modeļi, lielo datu analīze utt.

5. Saistība ar galveno ķēdi:

  • Apkopojums: var uzskatīt par galvenās ķēdes paplašinājumu, parasti koncentrējoties uz konkrētu blokķēdes tīklu.

  • ZK kopprocesors: tas var nodrošināt pakalpojumus vairākām blokķēdēm un neaprobežojas tikai ar noteiktu galveno ķēdi, tāpēc tas var nodrošināt pakalpojumus arī Rollup.

Tāpēc abi viens otru neizslēdz un pat papildina viens otru Pat tad, ja apkopojums pastāv lietojumprogrammu ķēdes veidā, ZK kopprocesors joprojām var sniegt pakalpojumus.

1.3. Lietošanas gadījumi

Teorētiski runājot, ZK kopprocesoram ir ļoti plašs pielietojuma klāsts, un tas būtībā var aptvert projektus dažādās blokķēdes trasēs. ZK kopprocesora esamība var padarīt Dapp funkciju tuvāku Web2 centralizētās lietotnes funkcijai. Tālāk ir sniegti daži no interneta apkopotie demonstrācijas lietošanas gadījumi.

Datu vadīta DApp izstrāde

ZK kopprocesors ļauj izstrādātājiem izveidot uz datiem balstītas DApps, kas izmanto vēsturiskos datus no visas ķēdes un veic sarežģītus aprēķinus bez papildu uzticamības pieņēmumiem. Tas sniedz DApp izstrādei nepieredzētas iespējas, piemēram:

  • Papildu datu analīze: ķēdes datu analīzes funkcijas, kas līdzīgas Dune Analytics.

  • Sarežģīta biznesa loģika: ieviesiet sarežģītus algoritmus un biznesa loģiku tradicionālajās centralizētajās lietojumprogrammās.

  • Vairāku ķēžu lietojumprogrammas: izveidojiet starpķēžu DApps, pamatojoties uz vairāku ķēžu datiem.

DEX VIP tirgotāju programma

Tipisks pieteikšanās scenārijs ir maksas atlaižu programmas ieviešana, pamatojoties uz darījumu apjomu decentralizētā biržā (DEX), tas ir, "VIP tirgotāja lojalitātes programmā". Šāda veida shēma ir izplatīta centralizētajās biržās (CEX), bet reti sastopama DEX.

Izmantojot ZK kopprocesoru, DEX var:

  • Izsekojiet lietotāju vēsturisko darījumu apjomu

  • Aprēķiniet lietotāja VIP līmeni

  • Dinamiski pielāgojiet darījumu maksas atkarībā no līmeņa

Šī funkcija var palīdzēt DEX uzlabot lietotāju noturēšanu, palielināt likviditāti un galu galā palielināt ieņēmumus.

Datu uzlabošana viedajiem līgumiem

ZK kopprocesors var kalpot kā jaudīga starpprogrammatūra, lai nodrošinātu datu uztveršanas, aprēķinu un pārbaudes pakalpojumus viedajiem līgumiem, tādējādi samazinot izmaksas un uzlabojot efektivitāti. Tas ļauj viedajiem līgumiem:

  • Piekļūstiet un apstrādājiet lielu vēsturisko datu apjomu

  • Veikt sarežģītus ārpus ķēdes aprēķinus

  • Ieviesiet progresīvāku biznesa loģiku

Šķērsķēžu tiltu tehnoloģija

Dažas uz ZK balstītas šķērsķēžu tiltu tehnoloģijas, piemēram, Herodotus un Lagrange, var uzskatīt arī par ZK kopprocesora lietojumprogrammu. Šīs tehnoloģijas galvenokārt koncentrējas uz datu ieguvi un verifikāciju, nodrošinot uzticamu datu bāzi starpķēžu saziņai.

1.4 ZK kopprocesors nav ideāls

Lai gan esam uzskaitījuši daudzas priekšrocības, pašreizējais ZK kopprocesora posms nav ideāls un joprojām ir jāsaskaras ar daudzām problēmām. Es personīgi apkopoju šādus punktus:

1. Izstrāde: ZK jēdziens daudziem izstrādātājiem ir grūti saprotams.

2. Aparatūras izmaksas ir augstas: ZK aparatūra, kas tiek izmantota ārpus ķēdes skaitļošanai, ir pilnībā jāsedz pašam projektam, un tā joprojām tiek strauji attīstīta un atkārtota, un aparatūra, visticamāk, tiks likvidēta jebkurā laikā. Tas, vai tas var veidot slēgtu cilpu biznesa loģikā, ir arī jautājums, kuru vērts apsvērt;

3. Trase ir pārpildīta: Faktiski nebūs lielas atšķirības tehniskajā izpildījumā. Galu galā tas, visticamāk, būs līdzīgs pašreizējam Layer 2 modelim. Ir vairāki izcili projekti, taču lielākā daļa no tiem tiek ignorēti.

4.zk shēma: lai veiktu ārpus ķēdes aprēķinus zk kopprocesorā, ir jāpārvērš tradicionālās datorprogrammas zk shēmās. Katrai lietojumprogrammai pielāgotu shēmu rakstīšana ir ļoti sarežģīta, un zkvm izmantošana ķēžu rakstīšanai virtuālajās mašīnās rada dažādus skaitļošanas modeļus .

2. Galvenie puzles gabali, kas noved pie liela mēroga pielietojuma

(Šī nodaļa ir ļoti subjektīva un atspoguļo tikai autora personīgos uzskatus)

Šajā ciklā dominē modulāra infrastruktūra. Ja modularizācijas ceļš ir pareizs, tad šis cikls var būt pēdējais solis ceļā uz liela mēroga pielietojumu. Tomēr pašreizējā posmā mums visiem ir kopīga sajūta. Kāpēc mēs varam redzēt tikai dažus vecus vīnus, nekā ir daudz vairāk lietojumprogrammu raunds?

Iemesls, kāpēc tik ļoti trūkst jaunu stāstījumu, ir tas, ka ar pašreizējo modulāro infrastruktūru nepietiek, lai atbalstītu superlietojumprogrammas, jo īpaši dažu priekšnoteikumu trūkums (pilnas ķēdes savietojamība, lietotāju sliekšņi utt.), kas ir veicinājis lielāko daļu. attīstība blokķēdes vēsturē, maskējoties ar atdalīšanu. Apkopojums, kas ir moduļu laikmeta kodols, ir ātrs, taču tas rada arī daudzas problēmas, proti, likviditātes sadrumstalotība, lietotāju izkliede, ķēde vai virtuālā mašīna, ko mēs vairākkārt esam uzsvēruši, joprojām ierobežo lietojumprogrammu jauninājumus. No otras puses, Celestia, vēl viens modularitātes "atslēgas cilvēks", ir ieviesis ideju, ka DA nav jāatrodas Ethereum. Šī ideja vēl vairāk pastiprina sadrumstalotību. Neatkarīgi no tā, vai tas sākas no ideoloģijas vai DA izmaksām, rezultāts ir tāds, ka BTC ir spiests veikt DA, un citām publiskajām ķēdēm ir jāveic rentablāka DA. Pašreizējā situācija ir tāda, ka tādu ir tikai viens un desmitiem Ievietojiet 2 projektus katrā publiskajā ķēdē. Visbeidzot, visas infrastruktūras un ekoloģiskā projekta puses ir padziļināti izpētījušas Blur (Tieshun) izveidoto punktu slepkavošanas pūķa (OpenSea) spēli, kas liek lietotājiem projektā ieķīlāt žetonus. Šāda veida trīs putnu nogalināšana ar vienu akmeni (interese, ETH). vaļiem Vai BTC un free-token Token) modeļa pieaugums, vēl vairāk saspiežot ķēdes likviditāti.

Iepriekšējā buļļu tirgū līdzekļi plūda tikai dažās līdz duci publisko ķēžu, un varētu pat teikt, ka tie koncentrējās tikai Ethereum. Taču šodienas līdzekļi ir izkaisīti pa simtiem publisko ķēžu un ieķīlāti tūkstošiem vienādu projektu. Ķēdes labklājība vairs nav pieejama, un pat Ethereum ķēdē nav darbību. Tātad Austrumu spēlētāji veic PVP BTC ekosistēmā, un Rietumu spēlētājiem nav citas izvēles kā veikt PVP Solanā. Tāpēc šobrīd es personīgi visvairāk uztraucos par to, kā veicināt likviditātes apkopošanu visā ķēdē un kā atbalstīt jaunu spēļu un super lietojumprogrammu rašanos. Pilnas ķēdes sadarbspējas trasē vairāki tradicionālie vadošie projekti faktiski ir bijuši slikti. Jaunais sadarbspējas risinājums ir apspriests arī mūsu iepriekšējā pētījuma ziņojumā, galvenokārt apvienojot vairākas ķēdes vienā ķēdē. Pašlaik mēs strādājam pie AggLayer, Superchain, Elastic Chain, JAM utt., kas šeit netiks apspriesti.

Kopumā visas ķēdes apvienošana ir šķērslis, kas jāpārvar saskaņā ar modulāro struktūru, taču šis šķērslis joprojām prasīs ilgu laiku. ZK kopprocesors pašlaik ir daudz svarīgāks uzdevums. Papildus 2. slāņa stiprināšanai tas var arī stiprināt 1. slāni. Vai ir iespējams uz laiku izvairīties no divām problēmām, proti, pilnas ķēdes un trīsstūra paradoksu Vai vispirms ieviest dažas pašreizējās lietojumprogrammas 1. vai 2. slānī, kam ir plaša likviditāte? Galu galā pašreizējā blokķēdes lietojumprogrammas stāstījuma patiešām trūkst. No otras puses, lai panāktu spēles dažādošanu, gāzes kontroli, liela mēroga lietojumprogrammu rašanos un pat pārrobežu ķēdi, pazeminot lietotāja slieksni, kopprocesora risinājuma integrēšana būs ideālāks risinājums nekā paļaušanās uz centralizāciju.

3. Projektu saraksts

ZK kopprocesora celiņš pamatā parādījās ap 2023. gadu un ir salīdzinoši nobriedis pašreizējā posmā. Saskaņā ar Messari klasifikāciju esošos projektus trasē var iedalīt trīs galvenajās vertikālajās jomās (vispārējā skaitļošana, savietojamība un pārrobežu ķēde, AI un mašīnu apmācība) ar 18 projektiem. Lielāko daļu šo projektu atbalsta galvenie riska kapitāla uzņēmumi. Tālāk mēs atlasām dažus projektus dažādās vertikālās jomās.

3.1 Cilvēks

Giza ir zkML (nulles zināšanu mašīnmācīšanās) protokols, kas ir izvietots Starknet un oficiāli atbalsta StarkWare, koncentrējoties uz mākslīgā intelekta modeļu pārbaudāmu izmantošanu blokķēdes viedos līgumos. Izstrādātāji var izvietot mākslīgā intelekta modeļus Gizas tīklā, kas pēc tam pārbauda modeļa argumentācijas pareizību, izmantojot nulles zināšanu pierādījumus, un nodrošina rezultātus lietošanai viedos līgumos neuzticamā veidā. Tas ļauj izstrādātājiem izveidot ķēdes lietojumprogrammas, kas ietver AI iespējas, vienlaikus saglabājot blokķēdes decentralizāciju un pārbaudāmību.

Giza pabeidz darbplūsmu, veicot šādas trīs darbības:

  • Modeļa konvertēšana: Giza pārvērš bieži lietotos ONNX formāta AI modeļus formātā, kas var darboties nulles zināšanu pārbaudes sistēmās. Tas ļauj izstrādātājiem apmācīt modeļus, izmantojot pazīstamus rīkus, un pēc tam izvietot tos Gizas tīklā.

  • Ārpus ķēdes secinājumi: kad viedais līgums pieprasa AI modeļa secinājumus, Giza veic faktiskos aprēķinus ārpus ķēdes. Tas ļauj izvairīties no augstām izmaksām, kas saistītas ar sarežģītu AI modeļu darbināšanu tieši blokķēdē.

  • Nulles zināšanu pārbaude: Giza ģenerē ZK pierādījumu katram modeļa secinājumam, lai pierādītu, ka aprēķins tika veikts pareizi. Šie pierādījumi tiek pārbaudīti ķēdē, nodrošinot secinājumu rezultātu pareizību, neatkārtojot visu aprēķina procesu ķēdē.

Gizas pieeja ļauj AI modeļiem kalpot par uzticamiem ievades avotiem viedajiem līgumiem, nepaļaujoties uz centralizētiem orākuliem vai uzticamām izpildes vidēm. Tas paver jaunas iespējas blokķēdes lietojumprogrammām, piemēram, uz AI balstītai līdzekļu pārvaldībai, krāpšanas atklāšanai un dinamiskai cenu noteikšanai. Tas ir viens no nedaudzajiem loģiskajiem slēgtā cikla projektiem pašreizējā Web3 x AI, un tas ir arī brīnišķīgs kopapstrādes izmantojums AI jomā.

3.2 Nulles apkure

Risc Zero ir līdzprocesora projekts, ko atbalsta vairāki vadošie riska kapitāla uzņēmumi, un tas ir līderis šajā jomā. Projekta mērķis ir nodrošināt patvaļīgu aprēķinu pārbaudāmu izpildi blokķēdes viedo līgumu ietvaros. Izstrādātāji var rakstīt programmas Rust un izvietot tās RISC Zero tīklā. Pēc tam RISC Zero pārbauda programmas izpildes pareizību, izmantojot nulles zināšanu pierādījumus, un nodrošina rezultātus viedos līgumos. Tas ļauj izstrādātājiem izveidot sarežģītas ķēdes lietojumprogrammas, vienlaikus saglabājot blokķēdes decentralizāciju un pārbaudāmību.

Iepriekš mēs īsi runājām par izvietošanas un darba procesu, un šeit mēs detalizēti runāsim par diviem galvenajiem komponentiem:

Bonsai: RISC Zero Bonsai ir projekta līdzprocesora komponents. Tas ir nemanāmi integrēts RISC-V instrukciju kopas arhitektūras zkVM, ļaujot izstrādātājiem ātri integrēt augstas veiktspējas nulles zināšanu pierādījumus Ethereum un L1. Dažas dienas Blockchain, Cosmos lietojumprogrammu ķēde, L2 apkopojumi un dApps nodrošina tiešus izsaukumus uz viedajiem līgumiem, pārbaudāmus ārpus ķēdes aprēķinus, pārrobežu ķēdes sadarbspēju un universālas apkopošanas funkcijas, vienlaikus izmantojot decentralizētu pirmo sadalīto arhitektūras dizainu, apvienojumā ar tā funkcijām. pierādījumi, pielāgoti shēmas kompilatori, stāvokļa turpinājums un nepārtraukti pilnveidoti pierādīšanas algoritmi, kas ļauj ikvienam ģenerēt augstas veiktspējas nulles zināšanu pierādījumus dažādām lietojumprogrammām.

zKVM: zkVM ir pārbaudāms dators, kas darbojas kā īsts iegults RISC-V mikroprocesors. Šī virtuālā mašīna ir balstīta uz RISC-V instrukciju kopas arhitektūru, kas ļauj izstrādātājiem izmantot dažādas programmēšanas valodas, piemēram, Rust, C++, Solidity, Go un citas augsta līmeņa programmēšanas valodas, lai rakstītu programmas, kas var ģenerēt nulles. - Zināšanu pierādījumi Tā atbalsta vairāk nekā 70% no populārajām Rust kastēm. Tas nodrošina nevainojamu vispārējo skaitļošanas un nulles zināšanu pierādījumu kombināciju un var ģenerēt efektīvus nulles zināšanu pierādījumus jebkuras sarežģītības aprēķiniem, vienlaikus saglabājot aprēķinu konfidencialitāti. zkVM izmanto STARK un SNARK, tostarp ZK tehnoloģija nodrošina efektīvu pierādījumu ģenerēšanu un verifikāciju, izmantojot tādus komponentus kā Recursion Prover un STARK-to-SNARK Prover, atbalstot ārpus ķēdes izpildi un ķēdes verifikācijas režīmus.

Risc Zero ir integrējis vairākas ETH sistēmas Layer 2 un demonstrējis vairākus Bonsai lietošanas gadījumus, no kuriem interesantākais ir Bonsai Pay. Demonstrācijā tiek izmantots RISC Zero zkVM un Bonsai apliecinājums, lai lietotāji varētu nosūtīt vai izņemt ETH un marķierus vietnē Ethereum, izmantojot Google kontu. Tas parāda, kā RISC Zero var nemanāmi integrēt ķēdes lietojumprogrammas ar OAuth 2.0 (standartu, ko izmanto lielākie identitātes nodrošinātāji, piemēram, Google), kas ir integrācijas lietošanas gadījums, kas papildus piemēriem samazina Web3 lietotāju ienākšanas barjeru, izmantojot tradicionālās Web2 lietojumprogrammas. pamatojoties uz lietojumprogrammām, piemēram, DAO.

3,3 = nulle;

=nulle. To iegulda tādi labi zināmi projekti un institūcijas kā Mina, Polychain, Starkware un Blockchain Capital. Ir vērts atzīmēt, ka starp tām ir arī tādas projektu puses, kuras izmanto jaunākās zk tehnoloģijas, piemēram, Mina un Starkware. projekta tehniskā atpazīstamība joprojām ir augsta. =nulle Tas ir arī projekts, kas minēts mūsu pētījuma ziņojumā "Computing Power Market". Tajā laikā tas galvenokārt bija vērsts uz =null;’s Proof Market (decentralizēts pierādījumu ģenerēšanas tirgus). Projektam faktiski bija arī apakšprodukts zkLLVM.

zkLLVM ir novatorisks shēmu kompilators, ko izstrādājis =nil Foundation. Tas var automātiski pārveidot lietojumprogrammu kodus, kas rakstīti galvenajās izstrādes valodās, piemēram, Ethereum, neizmantojot īpašus nulles zināšanu laukus. DSL), tādējādi ievērojami vienkāršojot izstrādes procesu un pazeminot izstrādes slieksni. Tajā pašā laikā tas uzlabo veiktspēju, neiesaistot zkVM (nulles zināšanu virtuālā mašīna). Tas ir piemērots apkopojumiem , pārrobežu ķēžu tilti, dažādi ZK lietojumprogrammu scenāriji, piemēram, orākuli, mašīnmācīšanās un spēles, un tie ir cieši integrēti ar =nulle Foundation Proof Market, nodrošinot izstrādātājiem pilnīgu atbalstu no shēmas izveides līdz pārbaudes ģenerēšanai.

3.4 Brevis

Šis projekts ir Celer Network apakšprojekts. Tas ir inteliģents nulles zināšanu (ZK) blokķēdes kopprocesors, kas ļauj dApps piekļūt, aprēķināt un izmantot vairākās blokķēdēs pilnīgi neuzticamā veidā. Tāpat kā citiem kopprocesoriem, Brevis ir arī plašs lietojumu klāsts, piemēram, ar datiem vadīts DeFi, zkBridges, lietotāju iegūšana ķēdē, zkDID un sociālo kontu abstrakcija.

Brevisa arhitektūra galvenokārt sastāv no trim daļām:

  • zkFabric: zkFabric ir Brevis arhitektūras atkārtotājs. Tās galvenais uzdevums ir apkopot un sinhronizēt bloka galvenes informāciju no visām savienotajām blokķēdēm un visbeidzot ģenerēt vienprātības pierādījumus katrai savāktajai bloka galvenei, izmantojot ZK gaismas klienta ķēdi.

  • zkQueryNet: zkQueryNet ir atvērts ZK vaicājumu dzinēju tirgus, kas var tieši pieņemt datu vaicājumus no viedajiem līgumiem ķēdē, kā arī var ģenerēt vaicājumu rezultātus un atbilstošos ZK vaicājumu sertifikātus, izmantojot ZK vaicājumu programmas ķēdi. Šie dzinēji ir no ļoti specializētiem (piemēram, DEX darījumu apjoma aprēķināšana noteiktā laika periodā) līdz ļoti vispārīgām datu indeksu abstrakcijām un augsta līmeņa vaicājumu valodām, kas atbilst dažādām lietojumprogrammu vajadzībām.

  • zkAggregatorRollup: darbojas kā zkFabric un zkQueryNet apkopošanas un uzglabāšanas slānis. Tas pārbauda abu komponentu pierādījumus, saglabā apliecinātos datus un piešķir savu ZK drošā stāvokļa sakni visām savienotajām blokķēdēm, ļaujot dApps tieši piekļūt apstiprinātajam ķēdes viedo līgumu meklēšanas rezultāta biznesa loģikā.

Izmantojot šo modulāro arhitektūru, Brevis var nodrošināt neuzticamu, efektīvu un elastīgu piekļuvi viedajiem līgumiem visās atbalstītajās publiskajās ķēdēs. Šis projekts ir pieņemts arī UNI V4 versijā un integrēts ar Hooks protokolā (sistēmā, kas integrē pielāgotu loģiku dažādiem lietotājiem), lai atvieglotu vēsturisko blokķēdes datu nolasīšanu, samazinātu maksu par gāzi un nodrošinātu centralizētu īpašumu. Šis ir zk kopprocesora piemērs, kas vada DEX.

3.5 Lagranžs

Lagrange ir sadarbspējīgs zk kopprocesora protokols, ko vada 1kx un Founders Fund. Protokola galvenais mērķis ir nodrošināt uzticamu starpķēžu savietojamību un atbalstīt tādu lietojumprogrammu inovāciju, kurām nepieciešami sarežģīti lielo datu aprēķini. Atšķirībā no tradicionālajiem mezglu tiltiem, Lagrange starpķēžu savietojamība galvenokārt tiek panākta, izmantojot novatoriskos ZK Big Data un valsts komitejas mehānismus.

ZK Big Data: Šis produkts ir Langrange kodols, un tas galvenokārt ir atbildīgs par starpķēžu datu apstrādi un pārbaudi un atbilstošu ZK sertifikātu ģenerēšanu. Šis komponents ietver ļoti paralēlu ZK kopprocesoru sarežģītu ārpus ķēdes aprēķinu veikšanai un nulles zināšanu pierādījumu ģenerēšanai. Īpaši izstrādāta pārbaudāma datu bāze atbalsta neierobežotu glabāšanas vietu skaitu un tiešus SQL vaicājumus viedajiem līgumiem. Dinamiskais atjaunināšanas mehānisms atjaunina tikai mainītos datu punktus Pierādīšanas laiks un integrēta funkcionalitāte, kas ļauj izstrādātājiem piekļūt vēsturiskajiem datiem, izmantojot SQL vaicājumus tieši no viedajiem līgumiem, nerakstot sarežģītas shēmas, kopā veido liela mēroga blokķēdes datu apstrādes un pārbaudes sistēmu.

Valsts komiteja: šis komponents ir decentralizēts verifikācijas tīkls, kas sastāv no vairākiem neatkarīgiem mezgliem, katrs mezgls ieķīlā ETH kā nodrošinājumu. Šie mezgli kalpo kā ZK Light klienti un ir paredzēti, lai pārbaudītu konkrētu optimizācijas apkopojumu statusu. Valsts komiteja integrējas ar EigenLayer AVS, izmanto smagu ķīlas mehānismu, lai uzlabotu drošību, atbalsta neierobežota skaita mezglu līdzdalību un panāk superlineāru drošības pieaugumu. Tas nodrošina arī "ātro režīmu", kas ļauj lietotājiem veikt starpķēžu darbības, negaidot izaicinājuma logu, ievērojami uzlabojot lietotāja pieredzi. Šo divu tehnoloģiju kombinācija ļauj Lagrange efektīvi apstrādāt liela mēroga datus, veikt sarežģītus aprēķinus, kā arī droši pārsūtīt un pārbaudīt rezultātus starp dažādām blokķēdēm, nodrošinot atbalstu sarežģītu starpķēžu lietojumprogrammu izstrādei.

Lagrange pašlaik ir integrēts ar EigenLayer, Mantle, Base, Frax, Polymer, LayerZero, Omni, AltLayer u.c., kā arī tiks saistīts ar Ethereum ekosistēmu kā pirmais ZK AVS.

Atsauces

1. ABCDE: dziļa izpēte ZK kopprocesorā un tā nākotnē: https://medium.com/@ABCDE.com/en-abcde-a-deep-dive-into-zk-coprocessor-and-its-future-1d1b3f33f946

2. “ZK” ir viss, kas jums nepieciešams: https://medium.com/@gate_ventures/zk-is-all-you-need-238886062c 52 

3. Risc zero: https://www.risczero.com/bonsai

4. Lagrange: https://www.lagrange.dev/blog/interoperability-for-modular-blockchains-the-lagrange-thesis

5.AxiomBlog: https://blog.axiom.xyz/

6. Slāpeklis paātrina! Kā ZK kopprocesors pārkāpj viedo līgumu datu barjeras: https://foresightnews.pro/article/detail/48239