DeFi 合約風險檢查清單
上鏈前先看權限、預言機、流動性與清算機制。
標籤: smart-contract
共 4 篇文章
OpenZeppelin 智慧合約庫使用完整指南
詳細介紹 OpenZeppelin Contracts 的 ERC 代幣標準、存取控制與安全工具。
智慧合約測試方法論完整指南
系統介紹單元測試、整合測試、模糊測試與形式化驗證的智慧合約測試策略。
智慧合約形式化驗證完整指南
系統介紹形式化驗證的數學方法與漏洞分類體系，包括 Certora、Runtime Verification 等工具。