Derek Sorensen

1 場

縮小信任範圍：形式化驗證的規格、實作與以太坊進展預覽圖

縮小信任範圍：形式化驗證的規格、實作與以太坊進展

Reducing the Trust Surface

AI 代理愈來愈會找漏洞、寫程式，也讓形式化驗證更重要：開發者可讓代理反覆產生程式，再用數學證明檢查是否符合規格。

DEVCON 8