BTC形式化驗證
Lean 寫的比特幣共識模型接上 Core 核心介面：10 萬次差分測試未見分歧，但只涵蓋交易檢查
開發者 ProofOfKeags 於 2026-10-19 在 Delving Bitcoin 發表 btc-verified 十月進度：這個以 Lean 4 撰寫的比特幣共識模型，已用 Lean 實作 libbitcoinkernel 公開 C 介面中的 9 個交易相關函式，並以 libFuzzer 與 Bitcoin Core 做差分測試。
全部文章
搜尋關鍵字，找到相關文章。
「btc-verified」找到 1 篇文章