Besu odpravlja ranljivosti v 5 vozliščih: kaj morajo vedeti upravljavci

Pristop »najprej popravek« za prednost branilcev

Razvijalci odprtokodnega odjemalca Ethereuma Besu so odpravili pet varnostnih ranljivosti, ki jih je odkrilo podjetje za varnost blokovnih verig Certik. Besu je 14. avgusta objavil štiri podrobna varnostna obvestila o teh petih ranljivostih, ki so bile vse odpravljene v različici 26.7.1, prvotno izdani 27. julija kot nujna varnostna posodobitev.

Zamuda med izdajo programske popravke in objavo podrobnosti obvestila je bila namerna, so pojasnili vodilni na področju varnosti.

»Učinkovitost izhaja iz zaporedja dogodkov, ne pa iz zavlačevanja z razkritjem zaradi samega zavlačevanja,« je dejal Jialiang Chang, direktor za varnostno inženirstvo in višji partner za revizijo pri podjetju Certik. »Besu je popravljeno različico dal na voljo konec julija in jo jasno označil kot rešitev varnostnih ranljivosti, skupaj z navodili, naj se nadgradnja opravi čim prej.«

Chang je opozoril, da model »najprej popravek, podrobnosti kasneje« zagotavlja branilcem omrežja ključno prednost pred potencialnimi izkoriščevalci.

»Ta pristop zagotavlja branilcem omejen prednostni čas, preden se natančni mehanizmi napada širše razširijo,« je pojasnil Chang. »Upravljavci vozlišč lahko to obdobje izkoristijo za identifikacijo prizadetih namestitev, oceno, kateri vmesniki in poti konsenza so izpostavljeni, testiranje izdaje v testnem okolju, usklajevanje posodobitev med validatorji ali udeleženci konzorcija ter pripravo postopkov za vrnitev na prejšnjo različico in spremljanje.«

Po mnenju Changa je to obdobje za pripravo še posebej pomembno za institucionalna ali pooblaščena omrežja blockchain, kjer nadgradnje pogosto zahtevajo formalne protokole za upravljanje sprememb in medorganizacijsko usklajevanje. Vrzeli pri razkritju zmanjšujejo neposredna tveganja izkoriščanja »N-day«, hkrati pa ostajajo dovolj kratke, da se ohrani preglednost skupnosti.

Ranljivosti so bile prvotno odkrite med samostojnim raziskovanjem, ki ga je izvedlo podjetje Certik z uporabo svoje metodologije nasprotniškega testiranja »Chain Scan«. Raziskovalci so delovali v zasebnem testnem omrežju z več vozlišči brez zunanjega financiranja s strani strank in vbrizgali nadzorovane napake v vmesnike vrste peer-to-peer, HTTP RPC, WebSocket RPC ter vmesnike, povezane s konsenzom.

Ugotovitve, ki jih je podjetje Certik razvrstilo po resnosti od manjših do večjih, so vključevale šibkosti pri obdelavi obvestil o blokih, vmesnem shranjevanju predlogov za konsenz o prihodnji višini, omejitvah naročnin WebSocket in ustvarjanju filtrov JSON-RPC. Če se te pomanjkljivosti ne odpravijo, bi napadalec lahko izčrpal pomnilnik vozlišča ali zmogljivost niti, kar bi ogrozilo razpoložljivost vozlišča in obdelavo konsenza.

Vrzeli v sedanjih modelih testiranja odjemalcev

Certik je ekipi Besu zasebno posredoval ponovljive testne sklope za dokaz koncepta, kar je vzdrževalcem omogočilo, da so ranljivosti zaupno ocenili in odpravili še pred izdajo. V opombah k izdaji različice 26.7.1 je Besu izrazil zahvalo tako podjetju Certik kot tudi oddelku za varnost Fundacije Ethereum za odgovorno razkritje.

Glede širšega konteksta javne infrastrukture blokovnih verig je Chang za Bitcoin.com News povedal, da odprtokodna skupnost deluje v hibridnem varnostnem okolju.

»Ekosistem se očitno premika v smeri bolj formaliziranega varnostnega testiranja,« je dejal Chang in opozoril na obstoječe prakse, kot so diferencialno fuzzing, simulacije na ravni omrežja, zasebna omrežja za napade, nagrajevanje za odkritje napak ter okviri za medodjemniški devp2p fuzzing.

Vendar je Chang opozoril, da je obseg testiranja v panogi še vedno neenakomeren.

»Testiranje skladnosti s protokolom in prehodov med stanji je pogosto bolj izpopolnjeno kot neprekinjeno testiranje izčrpanja virov, asinhronih pogojev tekmovanja, zlonamernega obnašanja vrstnikov, dolgotrajnega poslabšanja delovanja, napak pri čiščenju in konfiguracij, specifičnih za posamezne razporeditve,« je opozoril Chang. »Te napake lahko sprva povzročijo pravilni protokolni izhod, hkrati pa še vedno omogočajo relativno poceni akterju, da povzroči nesorazmerno porabo pomnilnika, niti, diska ali omrežja.«

Ker testiranje vzdrževalcev ne more zajeti vseh potencialnih vektorjev, je Chang poudaril, da raziskave tretjih strani ostajajo bistvene za preverjanje predpostavk zunaj rutinskega razvoja.

»Zrelejši model je neprekinjen in kumulativen: CI vzdrževalcev in fuzzing, sovražno testiranje z več vozlišči, redne neodvisne raziskave ter stalni regresijski test ali scenarij napada, dodan za vsako potrjeno ranljivost,« je dejal Chang in poudaril, da Certik svojo platformo Chain Scan oblikuje tako, da podpira ta model.