搜尋關鍵字，找到相關文章。
「軟分叉」找到 3 篇文章
BTC共識清理軟分叉
Bitcoin Core 開發者 Pieter Wuille 9 月 17 日在 Delving Bitcoin 發表分析，10 月 21 日（UTC）更新：在 BIP-54 兩條時間戳規則下，以 2026-09-09 的鏈上時間與累積工作量計算，任何鏈最多約 101.3 萬個區塊，比當時真實高度 966,271 多約 4.8%；若少了任一條規則，上限仍超過 33.4 億塊。
BTCBTC 錢包與量子風險
開發者 Zeeshan Ali Khan 於 2026-10-19 在 bitcoin-dev 郵件列表提出一套選用的錢包組交易規則：花費某筆輸出會公開公鑰時，錢包應在同一批交易裡一併搬走所有因此新曝光的輸出，找零也要送到公鑰仍未公開的新條件。
BTC形式化驗證
開發者 ProofOfKeags 於 2026-10-19 在 Delving Bitcoin 發表 btc-verified 十月進度：這個以 Lean 4 撰寫的比特幣共識模型，已用 Lean 實作 libbitcoinkernel 公開 C 介面中的 9 個交易相關函式，並以 libFuzzer 與 Bitcoin Core 做差分測試。
