Kaip nulinis orakulo parašas atrakino 9 mln. USD iš „Hedera DeFi“ skolintojo Bonzo Lend

„Hedera“ pagrindu sukurtas skolinimo protokolas „Bonzo Lend“ užblokavo pinigų išėmimą po to, kai „Oracle“ tikrintojas priėmė įrodymą, kuriame yra nulinis parašas ir viešasis raktas, leidžiantis piniginei pasiskolinti 9,05 mln. USD už 250 SAUCE.

„Bonzo Lend“ ir „Bonzo Points“ liko pristabdyti nuo liepos 13 d., o oficialiame protokolo būsenos puslapyje buvo nurodyta, kad „Bonzo Lend“ ir visos paveiktos turto rinkos yra prižiūrimos.

Likvidumo teikėjai ir toliau negali pasitraukti, kol Bonzo Finance Labs ir Bonzo Finance Foundation nustato atsigavimo kelią ir atnaujinimo sąlygas.

Piniginė A pirmą kartą įnešta 250 PADAŽO, kurio vertė tik keli dol. 00:51 UTC jis pateikė SAUCE/wHBAR kainos atnaujinimą, kuris padidino žetono vertę maždaug 12 dydžių kategorijų, nors rinkos kaina liko netoli 0,2 HBAR.

Praėjus aštuonioms sekundėms po to, kai manipuliuojama kaina pasiekė orakulo tinklo saugyklą, piniginė pasiskolino 6,63 mln. USDC.

Tada ji pasiskolino 34,5 mln. supakuotų HBAR, todėl „Wallet A“ ištraukta pagrindinė suma buvo maždaug 9,05 mln. USD „Bonzo“ referencinėmis kainomis.

Kaip nuliai išlaikė tikrintoją

Pateiktame atnaujinime nebuvo galiojančio „Oracle“ parašo. Jo parašo laukas buvo (0,0)o nurodytas komiteto viešasis raktas taip pat buvo nulinis taškas, kriptografijoje žinomas kaip taškas begalybėje.

Supra tikrintojas išsiuntė tuos įvestis į Hederos poravimo išankstinį kompiliatorių. Kadangi abu taškai atspindėjo matematinę tapatybę, poravimosi lygtis buvo teisinga, kaip suplanuota.

Tada tikrintojas laikė šį rezultatą komiteto parašo įrodymu, nes prieš tai neatmetė nulio, tapatybės ir ne pogrupio įvesties.

Paprasta anglų kalba tinklas teisingai atsakė į gautą lygtį, o tikrintojas klaidingai suprato šį atsakymą dėl įgaliojimo.