TU Wien推进Ark协议形式化安全证明

2026年10月15日，据Crypto Briefing报道，维也纳工业大学（TU Wien）研究人员正在为比特币扩容方案Ark协议开展形式化安全证明工作。截至2026年10月中旬，该证明仍处于开发阶段，尚未完成。报道未披露证明的具体范围、采用的形式化方法、预期完成时间，也未提及任何资金、合作方或代码发布安排。目前该事件仅有这一条报道，尚无后续进展或与此前说法不一致之处。

AI 根据报道生成 · 3 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。