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.
623
4
Innholdet på denne siden er levert av tredjeparter. Med mindre annet er oppgitt, er ikke OKX forfatteren av de siterte artikkelen(e) og krever ingen opphavsrett til materialet. Innholdet er kun gitt for informasjonsformål og representerer ikke synspunktene til OKX. Det er ikke ment å være en anbefaling av noe slag og bør ikke betraktes som investeringsråd eller en oppfordring om å kjøpe eller selge digitale aktiva. I den grad generativ AI brukes til å gi sammendrag eller annen informasjon, kan slikt AI-generert innhold være unøyaktig eller inkonsekvent. Vennligst les den koblede artikkelen for mer detaljer og informasjon. OKX er ikke ansvarlig for innhold som er vert på tredjeparts nettsteder. Beholdning av digitale aktiva, inkludert stablecoins og NFT-er, innebærer en høy grad av risiko og kan svinge mye. Du bør nøye vurdere om handel eller innehav av digitale aktiva passer for deg i lys av din økonomiske tilstand.

