Malaking Deal ang Halo Breakthrough ng Zcash – Hindi Lang Para sa Cryptocurrencies

Si Michael J. Casey ay ang chairman ng advisory board ng CoinDesk at isang senior advisor para sa blockchain research sa Digital Currency Initiative ng MIT.

Ang sumusunod na artikulo ay orihinal na lumabas sa CoinDesk Weekly, isang custom-curated na newsletter na inihahatid tuwing Linggo ng eksklusibo sa aming mga subscriber.

Ang isang hindi pinahahalagahan, sideline na kabayaran mula sa Cryptocurrency R&D ay na ito ay bumubuo rin ng mga pag-unlad sa loob ng mga bahagi ng teknolohiya ng sektor.

Ang pinakamahalaga ay nangyayari sa loob ng larangan kung saan nagmula ang terminong “Cryptocurrency”. Cryptography - mahalagang, ang pag-aaral ng mga lihim ng matematika - ay kasingtanda ng paggalugad ng mga cipher noong sinaunang panahon. Ngunit sa nakalipas na 10 taon, higit sa lahat salamat sa pag-imbento ng Bitcoin at pera na lumalaban sa censorship, nakita itong isang pagsabog ng aktibidad.

Iyan ay lalo na sa sub-field ng zero-knowledge proofs, na nagbibigay-daan sa pag-verify ng mga katotohanang hinango mula sa isang Secret na hindi ma-access ng verifier. Ang mga pagsulong na ito ay mahalaga dahil ang mga patunay na walang kaalaman ay nag-aalok ng mapanuksong pag-asa ng mga taong nakikipagtransaksyon nang may kumpiyansa nang hindi ina-access ang potensyal na nakakakompromiso ng impormasyon tungkol sa isa't isa. Ang potensyal nito ay higit pa sa makitid na larangan ng mga cryptocurrencies upang harapin ang sukdulang hamon ng panahon ng Internet: pagkamit ng seguridadkasamaPrivacy.

Ito ang dahilan kung bakit ang isang pambihirang tagumpay ng Electric Coin Company, ang startup sa likod ng Zcash, ay mayaman sa potensyal. Ang ECC ay naging makina ng progreso para sa cryptography sa pamamagitan ng pagsusulong ng paggamit ng zk-SNARKS, isa pang cryptocurrency-inspired na karagdagan sa zero-knowledge proof toolkit, kung saan ang Zcash ay gumagawa ng isang mapapatunayang naa-audit na blockchain nang hindi inilalantad ang mga address ng mga gumagamit (isang tala ng Disclosure : Digital Currency Group, ang pangunahing kumpanya ng CoinDesk, ay isang ECC investor).

Ngunit ang kamakailang anunsyo ng kumpanyang Halo, isang "walang pinagkakatiwalaang recursive" na bersyon ng zero-knowledge proofs na nagbibigay ng napakalaking nasusukat na solusyon sa mahirap na pag-asa ng field sa "pinagkakatiwalaang mga setup," ay malamang na mas malaki. Kung ang Discovery ng ECC researcher na si Sean Bowe ay humahawak sa siyentipikong pagsisiyasat, ONE araw, maaari itong magpalabas ng maraming makapangyarihan, real-world na mga aplikasyon para sa digital age na higit pa sa Cryptocurrency.

Baka makamit pa nito ang imposible: pagbaba ang init na walang tigil na natatanggap ng CEO ng Zcash na si Zooko Wilcox at ng kanyang mga cofounderpara sa 20% founder fee na binuo sa protocol ng cryptocurrency, isang deal na naghatid sa kanila ng milyun-milyong dolyar na halaga ng mga token mula nang ilunsad noong 2016? Binibigyang-katwiran ng mga tagapagtatag ang bayad sa kadahilanang pareho itong nagbabayad para sa pagpapanatili at nagbibigay ng pabuya sa pananaliksik at pagpapaunlad upang palakasin ang protocol. Sa ngayon, hindi bababa sa, ito LOOKS isang Discovery na maaaring i-flag ng ECC bilang pera na mahusay na ginastos – hindi lamang para sa Zcash, ngunit para sa buong Crypto ecosystem.

Isang patunay ng mga patunay

Hinahayaan ng Halo ang isang user na parehong patunayan na walang ONE kasangkot sa paunang pagtatatag ng isang malakihang zero-knowledge proof system na lumikha ng isang Secret na backdoor kung saan maaamyendahan ang code sa ibang pagkakataon at ang secure na estado na iyon ay umiral sa panahon ng patuloy na pag-update at pagbabago sa system. Hanggang ngayon, ang panganib ng pandaraya sa pag-setup ay nangangahulugan na ang mga zero na patunay ng kaalaman ay kadalasang nangangailangan ng detalyado at magastos na mga pamamaraan sa simula upang magtanim ng tiwala sa mga user. (Ang PRIME halimbawa ay ang Zcash genesis na "seremonya" - na-record nang live sa YouTube at dokumentado sa isang nakakaaliw na episode para sa Radiolab ng NPR – kapag ang iba't ibang tagapagtatag at mga kalahok sa labas na nakabase sa maraming lokasyon ay nagsagawa ng hindi pangkaraniwang mga haba upang sama-sama at ligtas na likhain ang paunang key pair at pagkatapos ay ipakita na wala sa kanila ang magkakaroon ng access sa pribadong key.)

Dahil dito, ang mga patunay ng zero-knowledge ay masyadong masalimuot para sa anumang bagay maliban sa pribadong pagpapatunay ng maliliit na isa-isang katotohanan. Ang paulit-ulit na pag-uulit ng hindi mahusay, nakakaubos ng oras na pinagkakatiwalaang setup ay magastos. Para makasigurado, umiral na ang mga one-off trustless na solusyon na kilala bilang "bulletproofs" mula pa noong 2017, ngunit kulang ang mga ito sa recursive na kalidad na kailangan para i-verify ang patuloy na naipon na impormasyon sa loob ng isang malaki, lumalaking nagbabagong database.

Nalulunasan ng Halo ang problemang ito sa pamamagitan ng pagtatatag ng isang naipon na "patunay ng mga patunay," na ang pinakabagong mathematical na output ay naglalaman sa loob nito ng isang patunay na ang lahat ng naunang pag-angkin sa may-katuturang Secret na kaalaman ay ang kanilang mga sarili ay sapat na napatunayan sa pamamagitan ng isang katulad na proseso. Sa isang dramatikong compression sa computational na mga kinakailangan, ang lahat na ngayon ay kailangan upang i-verify ang katotohanan ng kasalukuyang estado ng buong database ay isang solong mathematical proof. (Sa paraang ipinaliwanag sa akin ni Wilcox, ang proseso ay parang katulad ng mga nakuhang kahusayan ng mga istruktura ng puno ng Merkle, na pinagsama-sama ang dati nang na-hash na impormasyon sa isang solong root hash output.)

Murang buong node

Ang scaling benefits ng lightweight proofing system na ito ay inilarawan sa kalagitnaan ng Setyembre na demonstrasyon ng EEC team gamit ang Bitcoin blockchain. Nakabuo sila ng patunay ng integridad ng proof-of-work ng kasalukuyang block na naglalaman din ng mga patunay ng integridad ng bawat naunang bloke, hanggang sa kadena hanggang sa genesis block ni Satoshi Nakamoto noong Enero 3, 2009.

Sa liwanag ng puno ng debatesa komunidad ng Bitcoin sa buong mga node, desentralisasyon at mga laki ng bloke, ito ay parang game-changer na materyal. Bagama't kailangan pa ring magkaroon ng mga node na magbabasa ng buong blockchain upang matukoy ang mga transaksyon, ang pangkalahatang gawain ng pag-verify ng integridad ng isang blockchain ay maaaring maging isang mas murang problema para sa network sa kabuuan. Maaaring makamit ng mga ordinaryong user ang kadalian ng paggamit at kahusayan na kailangan nila ngunit gawin ito gamit ang kanilang sariling buong mga node sa pag-verify. Sa gayon, tatanggihan nito ang pangangailangan para sa tinatawag na mga wallet ng SPV, na umaasa sa iba upang mag-verify sa ngalan ng user at sa gayon ay lumikha ng problema sa tiwala. Para sa network, ang resulta ay maaaring maging mas malaking desentralisasyon sa mas mababang halaga.

Ang ECC ay nagpaplano na isama ang Halo sa Zcash blockchain bilang isang Layer 1 scaling solution. Kung ito ay gumagana, ang Zcash network ay maaaring mas murang humawak ng mas malaking halaga ng on-chain na data. Ito ay isang kapansin-pansing naiibang diskarte sa problema sa pag-scale mula sa modelo ng Layer 2 na pinapaboran ng mga tagasuporta ng Bitcoin ng Lightning Network, kung saan ang sukat ay nakakamit sa pamamagitan ng pagtanggal ng mga transaksyon sa kadena. Kung ito ay gumagana para sa Zcash, ang ONE ay nagtataka kung ang Bitcoin Cash developer ay matutukso na isama ito sa kanilang protocol upang mapababa ang halaga ng pagpapanatili ng mas malalaking bloke na kanilang pinagtibay sa pinagtatalunang 2017 na tinidor mula sa Bitcoin CORE.

Mas malalaking pangitain

Ngunit ito ay ang potensyal para sa mga non-cryptocurrency na solusyon na ginagawang mas kapana-panabik ang Halo. Sinabi pa ni Wilcox na ang Halo ay "maaaring maging isang bloke ng gusali para sa susunod na henerasyon ng Internet at iba pang ganoong panlipunang imprastraktura."

Sa isang pag-uusap, itinuro niya ang mga kahinaan ng malalaking, patuloy na nagbabagong sentralisadong database gaya ng kilalang na-hack na credit scorer na Equifax, gayundin sa mga saksakan ng DMV ng iba't ibang estado at ng mga siled medical record custodian. Ang lahat ay dapat magbahagi ng impormasyon sa ibang mga partido ngunit nakikipagpunyagi sa mga panganib ng paggawa nito. "Ngayon sa halip na maglabas sila ng mga kopya ng isang buong ulat ng data, KEEP nila ang nag-iisang kopya ngunit niluwa ang mga zero na patunay ng kaalaman," sabi ni Wilcox.

Ang mainam, gayunpaman, ay ang ganap na ibigay ang sentralisadong record-keeper. Iniisip ni Wilcox na ang mga patunay ng zero-knowledge na tulad ng Halo ay magbibigay daan. Sa ONE hakbang pa, sinabi niya, "Paano kung sa halip na sabihin kong 'narito ang isang patunay na sinasabi ng Equifax na T akong anumang mga default sa nakalipas na 10 taon,' masasabi kong 'narito ang isang patunay mula sa lahat ng 100 tao na nagpautang sa akin sa nakalipas na 10 taon at bawat isa sa kanila ay nagpapatunay na hindi ako nag-default?"

Ang pagpunta sa ganoong utopia ay T mangyayari nang mabilis. Ang regulasyon, panunungkulan sa korporasyon at pagkawalang-kilos ng pag-uugali ay patuloy na magpapakita ng pagtutol. At, para maging malinaw, ang mathematical proof ni Bowe ay kailangan pa ring sumailalim sa mahigpit na peer review.

Ngunit kahit na may mga butas na natagpuan sa kasalukuyang pag-ulit, ang mga ito ay tatambalan. Lalabas ang mas magagandang bersyon.

Ang proseso ng follow-on na pananaliksik na ilalabas ng Discovery na ito sa lahat ng larangan ng digital economy ay hindi maikakaila. At kung T handa ang mundo para sa ganoong radikal na reorganisasyon ng kung paano namin pinamamahalaan ang sensitibong impormasyon, sa kalaunan ay maililipat itong gamitin ang mga naturang pagbabago sa pamamagitan ng walang humpay na pag-build up ng mga masusugatan na database at ang patuloy na pag-atake laban sa kanila ng mga mas sopistikadong hacker. Iyan ay isang kalakaran na humantong sa Juniper Research na kamakailang igiit iyon aabutin ng cybercrime ang pandaigdigang ekonomiya ng nakamamanghang $5 trilyon sa isang taon pagsapit ng 2024.

Ang mundo ay nangangailangan ng mga pag-aayos para sa mga dambuhalang hamong ito. Ginagawa ng mga developer ng Cryptocurrency ang lahat ng ginagawa ng sinuman upang mahanap sila.

Larawan ng Zooko Wilcox sa pamamagitan ng mga archive ng CoinDesk