Sending good thoughts to the @Balancer team. They are truly OG's, went to every possible security measure they could, and still got hacked.
Stay safe out there frens
@kaolti @Balancer But since by definition you don't know what property will be broken by the hacker that gets through, you can't write a formal specification proving funds can't be stolen because you didn't know how it will happen.
Imo this has a lot more to do with blind spots in perception than tool capability.
If you could specify some high level property around not losing funds, then maybe you could find the properties you are missing, but that is a hard problem to specify and would likely require infinite compute.
619
4
De inhoud op deze pagina wordt geleverd door derden. Tenzij anders vermeld, is OKX niet de auteur van het (de) geciteerde artikel(en) en claimt geen auteursrecht op de materialen. De inhoud is alleen bedoeld voor informatieve doeleinden en vertegenwoordigt niet de standpunten van OKX. Het is niet bedoeld als een goedkeuring van welke aard dan ook en mag niet worden beschouwd als beleggingsadvies of een uitnodiging tot het kopen of verkopen van digitale bezittingen. Voor zover generatieve AI wordt gebruikt om samenvattingen of andere informatie te verstrekken, kan deze door AI gegenereerde inhoud onnauwkeurig of inconsistent zijn. Lees het gelinkte artikel voor meer details en informatie. OKX is niet verantwoordelijk voor inhoud gehost op sites van een derde partij. Het bezitten van digitale activa, waaronder stablecoins en NFT's, brengt een hoge mate van risico met zich mee en de waarde van deze activa kan sterk fluctueren. Overweeg zorgvuldig of de handel in of het bezit van digitale activa geschikt voor je is in het licht van je financiële situatie.