智能合約的漏洞代價高昂且難以發現： 🔍 模糊測試無法捕捉到稀有輸入 📜 形式驗證難以使用 在 @EthCC 上，我展示了在 @CertoraInc 我們如何探索有界模型檢查，這是一種實用的折衷方案，可以在最小的設置下找到真實且可重現的漏洞。👇