Zk-Starks? Ang Bagong Take sa Zcash Tech ay Maaring Magpatakbo ng Tunay na Pribadong Blockchain

"Isang alamat," iyon ang tawag dito ng ONE developer.

Sa isang pulong ng pangkat sa likod ng Monero Cryptocurrency noong nakaraang linggo, mataas ang hinala tungkol sa isang bagong item sa roadmap – tinatawag na "zk-starks." Inilarawan bilang isang "walang pinagkakatiwalaan" na solusyon sa isang problema na matagal nang humahadlang sa mga hindi kilalang blockchain, para sa ilang mga developer na binuo ito ay parang pantasiya.

Ngunit habang ang industriya ng blockchain ay tiyak na hindi estranghero sa mga kakaibang pag-aangkin, ang cryptographic na pamamaraan ay marahil ay nagtatakda ng mga tala sa mga antas ng pagtaas ng kilay na na-trigger nito. Ibinalita bilang isang mas secure na bersyon ng zk-snarks, sinasabi ng mga creator ng zk-starks na maaaring alisin ng kanilang cryptography ang pangangailangan para sa pinagtatalunang "pinagkakatiwalaang setup" na kinakailangan sa nakaraang pag-ulit ng ideya.

Sa pagtalikod, ang zk-snarks ay isang ebolusyon ng isang cryptographic na pamamaraan na unang inilarawan noong 1980s. Bagama't mukhang kumplikado, ang ideya ay simple sa puso - ang mga patunay na walang kaalaman ay nagbibigay-daan sa mga partido na i-verify kung tama ang isang pahayag nang hindi nakakatanggap ng higit pa sa isang totoo-o-mali na pahayag. Sa mundo ng blockchain, ang ideya ay madalas na nauugnay sa Zcash, ang unang malakihang blockchain na nag-bake ng cryptographic tool sa layer ng protocol nito.

Ngunit, habang ibinabalita noong panahong iyon bilang isang pambihirang tagumpay, ang paggamit ng platform ng mga zk-snarks ay nag-iwan ng puwang para sa pagpapabuti. Para sa ONE, mayroong katotohanan na walang paraan upang sabihin na may anumang tunay na katiyakan na ang detalyadong pamamaraan na ginamit upang i-set up ang Cryptocurrency ay T nakompromiso sa anumang paraan.

Isang taon pagkatapos ng paglulunsad, ang Zcash team ay nagsasagawa pa rin ng mga pag-audit sa bagay na ito. Ngunit gaya ng itinuturo ng mga kritiko, ang kanilang mga resulta, habang nakakatulong sa pagpapagaan ng mga pagdududa, ay T kailanman magiging konklusibo.

Kung magagawang alisin ng mga zk-starks ang roadblock na ito – mararamdaman ang epekto sa malayo at malawak. Bagama't maaaring kakaunti ang tila nagkakaisa sa magkakaibang mga developer na nagtatrabaho sa pribado at pampublikong mga cryptocurrencies, ang Privacy ay lumitaw bilang marahil isang unibersal na touchpoint.

Mga pangkat na magkakaibang bilang banking consortium R3 at Ethereum nagkaroon ng zk-snarks sa kanilang listahan para sa paggalugad, sa kabila ng kanilang iba't ibang pangangailangan at teknolohiya.

At makakahanap ang zk-starks ng katulad na malawak na pagtanggap - ang bagong Technology ay nangangako na magiging mas mura, mas mabilis, mas nasusukat at mas secure kaysa sa zk-snarks.

Mabagal na umuusbong

Ngunit sa kabila ng mga posibilidad, kaunting impormasyon tungkol sa zk-starks ang naihayag hanggang ngayon.

Una iniharap sa isang Ethereum meetup noong Enero, ang koponan sa likod ng tech – na binubuo nina Iddo Bentov, Ynon Horesh, Michael Riabzev, at Eli Ben-Sasson ng zcash, ay nagsusumikap pa ring i-publish ang code. Sa ngayon, ONE aspeto lang, na tinatawag na FRI algorithm, ang available online.

Ang punong imbestigador sa likod ng teknolohiya ay si Ben-Sasson, isang propesor sa Technion - Israel Institute of Technology, na tumulong sa pioneer ng zk-snarks noong 2015 at ang trabaho ay nakuha sa mahabang linya ng mga computer scientist na nakikitungo sa zero-knowledge proofs.

Sa pagsasalita sa CoinDesk, sinabi ni Ben-Sasson na siya ay "isang malaking naniniwala sa mga malinaw na patunay," at "masigasig na nagsasaliksik" sa paksa sa loob ng 15 taon. Gayunpaman, ibinubuod niya ang hamon na kinakaharap niya sa pagbuo ng mga disenyo ng zero-knowledge bilang ONE na CORE sa cryptography.

Bilang siya nagpapaliwanag:

"Napakadali ng pagtatago ng impormasyon gamit ang encryption. Ang mahirap na bahagi ay ang pagpapatunay at pagpapanatili ng integridad sa ilalim ng belo ng encryption."

Marahil dahil dito, inamin ni Ben-Sasson ang mga isyu na likas sa zk-snarks na ginamit upang itatag ang Zcash blockchain, sa paniniwalang ang pagsasagawa ng wastong pag-setup ng isang zk-snark system ay isang napakahirap na pagsubok na nangangailangan ng mga advanced na kakayahan sa seguridad.

Sa zk-starks, gayunpaman, nakikita niya ang puwang para sa malalaking pagpapabuti.

Ang mga pusta

Ang ONE sa mga pangunahing problema na maaaring malutas ng zk-starks ay nauugnay sa pangangailangan para sa zero-knowledge blockchains upang lumikha ng isang "master key," ayon kay Ben-Sasson.

Sa kaso ng Zcash, pinaniniwalaan na ang nasira ang susi, ngunit ang mga implikasyon na maaaring lumabas doon ay nakakapanghina. Para sa ONE, ang susi na ito ay magbibigay-daan sa isang masamang aktor na gumawa ng mga maling pagbabayad at ganap na masira ang integridad ng blockchain. Dagdag pa, upang sirain ang susi, kinakailangan ang isang pinagsama-samang pagsisikap sa tinatawag na pinagkakatiwalaang setup.

Ngunit ang setup na ito ay kumplikado upang gumanap nang ligtas. Para sa ONE, mahirap i-verify na totoong nangyari ito, dahil T ito maaaring magkaroon ng anumang mga saksi (maaaring baligtarin ng sinumang tumitingin sa seremonya ang susi).

Nang isagawa ng Zcash ang seremonya nito, nagsumikap ang team upang matiyak na T ito nakompromiso, ngunit halos imposibleng ganap na ma-secure. At para sa isang high-profile na entity tulad ng isang bangko, magkakaroon lamang ng labis na interes sa pagsisikap na isabotahe ito.

Sinabi ni Ben-Sasson:

"Magkakaroon ng malaking insentibo para sa mga gobyerno at sentral na organisasyon na subukang ilagay ang kanilang mga kamay sa susi na ito na magbibigay-daan sa kanila na magsulat ng tseke para sa anumang halaga ... na may tumaas na halaga ay may tumaas na insentibo sa pag-atake."

Sinisikap ng mga Zk-starks na alisin ang panganib na ito, at sa proseso, alisin ang maraming mabibigat na makinarya na nauugnay sa zk-snarks dito. Hindi tulad ng zk-snarks, ang zk-starks ay T umaasa sa pampublikong key cryptography; sa halip, ang tanging cryptographic assumption na pinagbabatayan ng seguridad ng zk-starks ay ang hash functions (tulad ng SHA2) ay unpredictable (ang assumption na ito ay sumasailalim din sa stability ng Bitcoin mining).

Ang pag-asa sa mas simpleng cryptographic na mga pagpapalagay ay nagpapabuti hindi lamang sa seguridad, kundi pati na rin sa kahusayan. Sa ONE "head-to-head" na kumpetisyon sa pagitan ng zk-snarks at zk-starks, kung saan ang parehong system ay kailangang mag-setup at patunayan ang kawastuhan ng isang computation, ang zk-snark ay nangangailangan ng 28 minuto at 18.9 GB ng komunikasyon (karamihan ay dahil sa pinagkakatiwalaang setup computation at proving-key size), samantalang ang zk-starks ay binawasan ang fraction complex ng kalkulasyon sa isang segundo.

Mga motibo ni Monero

At ang interes ni monero sa scheme, habang maaga, ay marahil ay patunay na maaaring magkaroon ng karagdagang pag-unlad ng konsepto sa mga komunidad ng blockchain.

ONE sa mga mas makabagong blockchain na nakatuon sa privacy, ang Monero ay gumagamit ng ganap na naiibang cryptography kaysa sa Zcash batay sa kumbinasyon ng mga stealth address at mga pirma ng singsing. Sa halip na gumamit ng mga zero-knowledge system, ang Cryptocurrency ay nag-aalok ng Privacy sa pamamagitan ng labis na pagbaluktot ng impormasyon.

Dahil gumagana nang maayos ang system nito ngayon, malamang na T ito nangangailangan ng mga zero-knowledge proofs, ngunit ang ideya na mas mapahigpit ng network ang mga hakbang sa Privacy ay humahantong sa developer team na isaalang-alang ito.

Sa kasalukuyan, ang mga zk-snarks ay isinasaalang-alang para sa mga sidechain na magpapataas ng Privacy sa pamamagitan ng pagpapahintulot sa mga pagbabayad na mangyari mula sa magkahiwalay na mga blockchain –at pagkatapos ay masisira ang sarili pagkatapos ng transaksyon.

Ngunit para maipatupad ang ideya, kailangang harapin Monero ang problema ng pinagkakatiwalaang set up – ginagawang ONE ang konsepto ng zk-starks .

Sa katunayan, nakakaakit ang nangungunang developer na si Riccardo Spagni, na tinawag ang Zcash na "isang kumpletong komedya ng seguridad" - na tila handang lampasan ang tunggalian patungo sa isang karaniwang layunin. Inilalarawan niya ang zk-starks bilang "mas kanais-nais" at sinabi sa CoinDesk na hahanapin Monero na isama ang tech kung at kailan ito magagamit.

At hindi lang sila ang may problema ay ang pinagkakatiwalaang setup. Kung ipapatupad ng Ethereum ang zk-snarks gaya ng dating binalak, kakailanganin nitong magpatakbo ng katumbas ng seremonya ng seguridad ng Zcash – ngunit ONE na maaaring sukatin sa libu-libong kalahok.

Ang ganitong mga komplikasyon ay nagpapakita na ang konsepto ay ONE na nakakatugon sa isang nakakahimok na pangangailangan - ONE malamang na higit pang mabuo sa isang bagong puting papel na inilathala sa susunod na taon.

Update: Ang artikulong ito ay na-update kasunod ng mga komento mula sa zk-starks team.

Disclosure:Ang CoinDesk ay isang subsidiary ng Digital Currency Group, na mayroong stake ng pagmamay-ari sa Zcash Company, ang for-profit na entity na bumuo ng Zcash protocol.

Batang lalaki na may jetpackhttps://www.shutterstock.com/image-photo/boy-backpack-night-520041586?src=g5FxovmTxM6pkhw8FzVm8g-1-0 larawan sa pamamagitan ng Shutterstock