TRON區塊鏈教育
TRON Academy 與劍橋、牛津區塊鏈社群辦講座：穩定幣教了什麼？
TRON DAO 公告與兩個學生區塊鏈社群舉行線上講座，談穩定幣應用與學術計畫。這是教育活動，不是新產品上線。
全部文章
搜尋關鍵字，找到相關文章。
「形式化驗證」找到 5 篇文章
BTC共識清理軟分叉
Wuille 以 Lean 證明 BIP-54 時間扭曲修補可封頂鏈長：上限僅比真鏈多約 5%，仍未啟用
Bitcoin Core 開發者 Pieter Wuille 9 月 17 日在 Delving Bitcoin 發表分析，10 月 21 日（UTC）更新：在 BIP-54 兩條時間戳規則下，以 2026-09-09 的鏈上時間與累積工作量計算，任何鏈最多約 101.3 萬個區塊，比當時真實高度 966,271 多約 4.8%；若少了任一條規則，上限仍超過 33.4 億塊。
ETHL2 實驗
BB84 在以太坊主網跑「無簽名」L2：用雜湊鏈取代 ECDSA 防量子，創辦人自承連 Stage 0 都不到
創辦人 Hadamard 於 10 月 24 日在 Ethereum Research 公開 BB84：一條自稱 2026 年 9 月 30 日起在以太坊主網運行的 OP Stack L2，L2 內不使用交易簽名，改以 keccak-256 雜湊鏈加 commit-reveal 授權。
BTC形式化驗證
Lean 寫的比特幣共識模型接上 Core 核心介面：10 萬次差分測試未見分歧，但只涵蓋交易檢查
開發者 ProofOfKeags 於 2026-10-19 在 Delving Bitcoin 發表 btc-verified 十月進度：這個以 Lean 4 撰寫的比特幣共識模型，已用 Lean 實作 libbitcoinkernel 公開 C 介面中的 9 個交易相關函式，並以 libFuzzer 與 Bitcoin Core 做差分測試。
AIAI 與數學
OpenAI 內部模型證出「準黎曼猜想」：數學家初步認為成立，但不是黎曼猜想本身，模型也未開放
OpenAI 於 2026 年 10 月 6 日公開一批由內部模型產出的數學論文，其中一篇聲稱證明「準黎曼猜想」：黎曼 ζ 函數的非平凡零點不會落在實部大於某個小於 1 的常數的區域。
