Și nu vom fi singuri. @thebensams, director de inginerie la @trailofbits echipa din spatele erorilor critice, bifurcațiilor de urgență și post-mortem-urilor de miliarde de dolari, ni se alătură pentru versiunea de deschidere.

3 săptămâni de la lansare până la exploatare - 5 milioane de dolari scurși din @BetterBank_io, lăsând utilizatorii mai ușori în timp ce logica de recompensă a protocolului imprima banii. Un simplu defect de stimulare a declanșat pierderi catastrofale, expunând cât de repede se poate întoarce matematica DeFi împotriva ta. Povestea de mai jos.

Verificare formală sau înmormântare formală. Alegerea este a ta.