COSCUP 2025

在區塊鏈和 DeFi 協議中，Smart Contract 的安全性至關重要。然而，傳統的單元測試和模糊測試往往無法覆蓋所有潛在漏洞，尤其是邏輯錯誤和數學不變式等問題。Certora 以數學為基礎，利用形式化驗證 (Formal Verification) 技術，從根本上保障 Smart Contract 的安全性。

本次演講將介紹 Certora 的驗證工具及其核心技術，並解析 Certora Verification Language (CVL) 如何幫助合約開發者進行高精度邏輯驗證。透過實際案例，探討 Certora 如何在眾多安全事件中發揮至關重要的作用。