Nakumpleto na ng Zcash ang pag-upgrade ng network nito na Ironwood, kapalit ng dati nitong mahina na Orchard shielded pool ng isang pormal na na-verify na alternatibo na idinisenyo upang maiwasan ang hindi matukoy na pamemeke habang sinisimulan ang paglipat ng mga shielded na pondo sa bagong pool.
Ayon sa Project Tachyon at sa development team ng Zcash, na-activate ang Ironwood ayon sa iskedyul sa block height na 3,428,143 sa pamamagitan ng NU6.3 network upgrade noong Martes, nagpapakilala ng isang bagong shielded pool na sinasabi ng mga developer na nagpapanumbalik ng tiwala sa integridad ng supply ng Zcash matapos ang mga alalahanin tungkol sa Orchard.
Sinundan ang activation ng ilang buwan ng trabaho sa iba't ibang organisasyon ng Zcash matapos ibunyag ng mga mananaliksik ang isang depekto na teoretikal na makakagawa ng pekeng ZEC nang walang pampublikong deteksiyon.
Habang aktibo na ngayon ang Ironwood, pumasok na ang Orchard sa isang exit-only na yugto. Maaari pa ring mag-withdraw ng pondo ang mga user mula sa mas lumang shielded pool sa kanilang diskresyon, ngunit hindi na ito tumatanggap ng bagong shielded activity. Ipinapakita ng data mula sa migration tracker ng Zcash na humigit-kumulang 40,207 ZEC na ang nailipat sa Ironwood, habang halos 3.6 milyong ZEC ang nananatili sa loob ng Orchard na naghihintay ng paglilipat.
Maikling bumagsak ang ZEC (ZEC) ng humigit-kumulang 9% sa humigit-kumulang $460 pagkatapos ng upgrade bago bumawi sa humigit-kumulang $475, ayon sa price page ng crypto.news. Nakaranas na ng malaking pagbabago ang token matapos maging pampubliko ang kahinaan ng Orchard, nawalan ng higit sa kalahati ng halaga nito bago bumalik sa humigit-kumulang $45 noong Setyembre ng nakaraang taon hanggang sa halos $700 sa pagtatapos ng taon.
Pinapalitan ng bagong shielded pool ang Orchard matapos matukoy ng mga mananaliksik ang tinawag na "infinity" bug ng Orchard. Ayon sa Shielded Labs, natuklasan ng mananaliksik na si Taylor Hornby ang depekto noong huling bahagi ng Mayo sa loob ng zero-knowledge circuit ng Orchard. Sinabi ng mga developer na ang isyu ay teoretikal na makakagawa ng isang attacker na mag-mint ng pekeng ZEC nang walang agarang deteksiyon, bagaman sinabi rin nila na wala silang nakitang ebidensya na ang kahinaan ay kailanman na-exploit.
Pansamantalang hindi pinagana ng mga emergency upgrade noong unang bahagi ng Hunyo ang Orchard bago i-deploy ng mga developer ang binagong circuit code sa pamamagitan ng NU6.2 hard fork. Kahit na matapos ayusin ang depekto, sinabi ng mga developer na pinipigilan ng privacy model ng Zcash ang sinuman na patunayan nang may katiyakan na hindi kailanman naganap ang nakatagong implasyon, na nagtulak sa paggawa ng isang kapalit na shielded pool sa halip na umasa lamang sa naayos na implementasyon ng Orchard.
Ipinakikilala ng Ironwood ang isang hiwalay na sistema ng pagtutuos na may sariling note commitment tree, nullifier set, at chain value pool, na nagpapahintulot sa mga node na subaybayan ang bagong shielded pool nang independiyente. Ayon sa teknikal na dokumentasyon ng proyekto, nag-i-install din ang upgrade ng isang pampublikong accounting checkpoint na kilala bilang isang turnstile, na nagpapahintulot sa mga pondo na umalis sa Orchard habang pinipigilan ang mas maraming halaga na umalis kaysa sa lehitimong naipasok sa mas lumang pool.
Sinabi ng mga developer na ang mekanismo ay nilayon upang ikulong ang anumang hypothetical na pekeng barya sa loob ng Orchard habang nagpapahintulot sa independiyenteng beripikasyon na ang nagpapalipat-lipat na supply ng Zcash ay patuloy na sumusunod sa 21 milyong limitasyon sa pag-isyu ng ZEC ng network.
Kasama ng network activation, inihayag ng Project Tachyon na nakumpleto ng mga mananaliksik ang isang machine-checked na patunay sa matematika na sumasaklaw sa integridad ng balanse ng Ironwood, nagbibigay ng karagdagang katiyakan na ang bagong shielded pool ay hindi makakagawa ng halaga na lampas sa kung ano ang pampublikong pumasok dito sa ilalim ng mga nakasaad nitong cryptographic assumption.
Ayon sa Project Tachyon, ang patunay ay isinulat sa Lean programming language at binubuo ng higit sa 2,700 theorem na binuo sa loob ng mahigit isang buwan ng tatlong koponan ng mga mananaliksik at cryptographer.
Sinabi ng mga mananaliksik na pormal na bina-verify ng kanilang trabaho ang mga bahagi na kinakailangan para sa integridad ng balanse, kabilang ang zero-knowledge proof system ng Ironwood, mga panuntunan ng circuit at accounting sa antas ng ledger. Nilinaw din nila na ang beripikasyon ay hindi umaabot sa hiwalay na privacy guarantees ng Ironwood.
Nagkomento sa trabaho, sinabi ng co-founder ng Zcash na si Sean Bowe na inalis ng pinagsamang pagsisikap ng mga koponan ang mga pinagmumulan ng hindi matukoy na mga bug sa pamemeke mula sa bagong Ironwood protocol.
Isinasama rin ng bagong shielded pool ang ZIP 2005 quantum-recoverable notes, na nagpapahintulot ng mekanismo sa pagbawi sa hinaharap kung ang mga pag-unlad sa quantum computing ay sa kalaunan ay magpapahina sa kasalukuyang cryptographic protection. Ayon sa ZIP specification, hindi ginagawa ng feature na ito ang mga kasalukuyang transaksyon ng Zcash na quantum secure dahil kailangan pa ring idisenyo at i-activate ang isang hiwalay na recovery protocol sa hinaharap.
Binuo ang Ironwood sa pamamagitan ng pagtutulungan ng Shielded Labs, ang Zcash Open Development Lab (ZODL), Project Tachyon, Valar Group at ang Zcash Foundation.
Ang Shielded Labs, na itinatag ng Zcash founder na si Zooko Wilcox, ay orihinal na nagmungkahi na palitan ang Orchard upang maibalik ang nabe-beripikang supply accounting matapos maging pampubliko ang kahinaan.
Samantala, sinabi ni Josh Swihart, Executive Director ng ZODL, sa X na ang mga inhinyero mula sa kanyang organisasyon ay nag-ambag ng 82% ng mga pinagsamang pagbabago sa buong protocol at wallet repositories ng Zcash sa panahon ng pagsisikap sa pagpapalit ng Orchard. Idinagdag ni Swihart na naayos ang Orchard sa loob ng limang araw bago nakumpleto ng mga developer ang proseso ng pagpapalit sa loob ng humigit-kumulang 60 araw.
Nakumpleto rin ng NU6.3 upgrade ang isa pang matagal nang planadong transisyon sa buong network. Ayon sa Zcash Foundation, hindi na sinusuportahan ng mas lumang software ng zcashd node ang mga bagong panuntunan ng consensus, na ginagawang Zebra ang kinakailangang implementasyon ng node pagkatapos ng activation.
Bago marating ng Ironwood ang network, nagbabala si Jason McGee, Executive Director ng Shielded Labs, na sabay-sabay na naghahanda ang mga exchange, wallet provider at mining pool na lumipat mula sa zcashd patungo sa bagong Z3 software stack habang nag-a-upgrade din para sa Ironwood. Sinabi ni McGee na kailangan ng ilang operator ng imprastraktura ng karagdagang oras, bagaman walang desisyon na sa huli ay ginawa upang ipagpaliban ang network upgrade.
Ngayong aktibo na ang Ironwood at isinasagawa na ang migrasyon ng Orchard, lumipat na ang pokus sa paglilipat ng natitirang shielded funds sa pamamagitan ng turnstile habang unti-unting ine-retire ng network ang mas lumang pool sa ilalim ng bagong modelo ng pagtutuos.
