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.
640
4
Konten pada halaman ini disediakan oleh pihak ketiga. Kecuali dinyatakan lain, OKX bukanlah penulis artikel yang dikutip dan tidak mengklaim hak cipta atas materi tersebut. Konten ini disediakan hanya untuk tujuan informasi dan tidak mewakili pandangan OKX. Konten ini tidak dimaksudkan sebagai dukungan dalam bentuk apa pun dan tidak dapat dianggap sebagai nasihat investasi atau ajakan untuk membeli atau menjual aset digital. Sejauh AI generatif digunakan untuk menyediakan ringkasan atau informasi lainnya, konten yang dihasilkan AI mungkin tidak akurat atau tidak konsisten. Silakan baca artikel yang terkait untuk informasi lebih lanjut. OKX tidak bertanggung jawab atas konten yang dihosting di situs pihak ketiga. Kepemilikan aset digital, termasuk stablecoin dan NFT, melibatkan risiko tinggi dan dapat berfluktuasi secara signifikan. Anda perlu mempertimbangkan dengan hati-hati apakah trading atau menyimpan aset digital sesuai untuk Anda dengan mempertimbangkan kondisi keuangan Anda.