BTC另類全節點
AI 撰寫的比特幣節點 rbitcoin 推 0.8 版，修補多處與 Core 共識分歧
Rust 比特幣全節點 rbitcoin 於 2026 年 10 月 10 日（UTC）發布 v0.8.0，Bitcoin Optech 第 428 期在 10 月 23 日介紹。
全部文章
搜尋關鍵字，找到相關文章。
「模糊測試」找到 2 篇文章
BTC形式化驗證
Lean 寫的比特幣共識模型接上 Core 核心介面：10 萬次差分測試未見分歧，但只涵蓋交易檢查
開發者 ProofOfKeags 於 2026-10-19 在 Delving Bitcoin 發表 btc-verified 十月進度：這個以 Lean 4 撰寫的比特幣共識模型，已用 Lean 實作 libbitcoinkernel 公開 C 介面中的 9 個交易相關函式，並以 libFuzzer 與 Bitcoin Core 做差分測試。
