智能合約漏洞已導致數十億美元的加密貨幣被抽走。莫菲斯或許是有史以來第一個為防止這種情況而打造的人工智慧。
讓我們從一個讓所有加密開發者都感到不安的數字開始。
38億美元。
2022年通過智能合約漏洞在加密協議中被盜的資金甚至更大!不是市場崩盤,也不是空投騙局。是程式碼漏洞。攻擊者在開發者之前找到的 Solidity 代碼行,做了作者未曾預料的事情。
Wormhole 橋接的損失是3億2千萬美元。只找到了一個無效的驗證條件。
Ronin 的橋接損失是6億2千5百萬美元。由於合約架構決策,私鑰被泄露。
Euler Finance。1億9700萬美元。一個經過多次審計仍通過的重入漏洞。
這些項目都經過巧妙設計。專業的安全審計。廣泛的測試。仍然損失數十億!
我在思考這種持續發生的“如何”與“為何”。我越來越覺得,答案中有個令人不舒服的地方。
智能合約的安全性存在著人類的限制。
我的意思是這樣的。
一個大型的DeFi應用可能需要10,000到50,000行 Solidity 代碼。多個合約之間的關係。只有在不尋常的組合和/或順序中才會出現的異常輸入。涉及的不僅是代碼本身,還有攻擊者的動機。
人類審計員可以接受。最優秀的確令人驚嘆。
然而,人類會疲勞。當時間緊迫時,人類會遺漏!他們可以大致了解代碼的功能,但無法預見所有可能的攻擊方式。
對我來說,真正的問題是這個。
大多數智能合約漏洞並非尖端的
查看原文