Crypto Briefing· Estefano Gomez·· 4 小时前AI 评分22
TU Wien 研究人员推进比特币 Ark 协议安全性形式化证明
TU Wien researchers work to formally prove the security of Bitcoin’s Ark protocol
AI 导读
TU Wien 研究人员正在为比特币扩容方案 Ark 协议进行形式化安全证明，截至 2026 年 10 月中旬该证明仍在开发中。
来源：Crypto Briefing · cryptobriefing.com