形式化驗證
1 場，來自不同峰會。
CertiK：AI 更會找漏洞，合約稽核還夠用嗎？
Beyond Finding Bugs: Proving DeFi Safe
CertiK 的 Hao Chen 認為，AI 降低了尋找智慧合約漏洞的門檻，讓只靠測試、模糊測試與人工稽核的防守方式更吃力。
Hao Chen
1 場，來自不同峰會。
Beyond Finding Bugs: Proving DeFi Safe
CertiK 的 Hao Chen 認為，AI 降低了尋找智慧合約漏洞的門檻，讓只靠測試、模糊測試與人工稽核的防守方式更吃力。
Hao Chen