Mooly Sagiv
AI 時代的以太坊安全：形式化驗證、代理權限與人工判斷
Securing Ethereum in the age of AI: Challenges & Opportunities
AI 降低了尋找漏洞的成本，也讓攻擊者更容易找出弱點，迫使以太坊重新思考安全防線。
縮小信任範圍：形式化驗證的規格、實作與以太坊進展
Reducing the Trust Surface
AI 代理愈來愈會找漏洞、寫程式，也讓形式化驗證更重要：開發者可讓代理反覆產生程式，再用數學證明檢查是否符合規格。