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.
650
4
Il contenuto di questa pagina è fornito da terze parti. Salvo diversa indicazione, OKX non è l'autore degli articoli citati e non rivendica alcun copyright sui materiali. Il contenuto è fornito solo a scopo informativo e non rappresenta le opinioni di OKX. Non intende essere un'approvazione di alcun tipo e non deve essere considerato un consiglio di investimento o una sollecitazione all'acquisto o alla vendita di asset digitali. Nella misura in cui l'IA generativa viene utilizzata per fornire riepiloghi o altre informazioni, tale contenuto generato dall'IA potrebbe essere impreciso o incoerente. Leggi l'articolo collegato per ulteriori dettagli e informazioni. OKX non è responsabile per i contenuti ospitati su siti di terze parti. Gli holding di asset digitali, tra cui stablecoin e NFT, comportano un elevato grado di rischio e possono fluttuare notevolmente. Dovresti valutare attentamente se effettuare il trading o detenere asset digitali è adatto a te alla luce della tua situazione finanziaria.