TU Wien 研究人员为比特币 Ark 协议开发形式化安全性证明

TU Wien 的研究人员正在为 Ark 协议开发形式化安全证明。Ark 是一种比特币交易批处理系统，旨在实现扩容，同时无需用户放弃对其资金的托管权。该项目由 TU Wien 安全与隐私研究部门的 Georgia Avarikioti 负责，官方项目期限为 2024 年 10 月 1 日至 2025 年 12 月 10 日，资金由 AKRLabs OÜ 提供。Ark Labs 与 TU Wien 于 2025 年 5 月正式宣布展开合作。截至 2026 年 10 月中旬，形式化安全证明仍在开发中。Ark 通过虚拟 UTXO（VTXO）转移价值。VTXO 是由运营商管理的比特币基本所有权单位的链下表示，而用户保留预签名交易，可在无需运营商许可的情况下将资金取回链上。

TU Wien 为 Ark 协议开发形式化安全证明方法

这项工作基于 TU Wien 的安全与隐私研究部门。Ark 通过虚拟 UTXO（即 VTXO）转移价值。UTXO 是比特币用于追踪币的所有权归属的基本单位。VTXO 是该单位的一种表示形式，可由运营商管理并在链下转移。用户持有预签名交易，可在无需运营商许可的情况下将资金取回链上。Ark 没有原生代币，因此该协议不附带治理代币或奖励资产。

研究团队发布两篇关于 Ark 安全性的技术论文

这项研究已产出两份重要文件。第一份是 2026 年 3 月发布的简版白皮书，标题为《Ark：基于 UTXO 的交易批处理协议》。该论文由 Ark Labs 和 TU Wien 的研究人员共同撰写，作者包括 Avarikioti、Pim Keer 和 Matteo Maffei。论文介绍了该协议的设计，以及其在两种运营商模型下的安全性：一种模型中的运营商是理性的，另一种模型中的运营商则是完全恶意的。第二份文件是 Keer 等人于 2026 年 6 月发布的 arXiv 论文。该论文深入探讨了形式化定义和安全属性，涵盖 VTXO、原子性和余额安全。论文还讨论了在测试网上的实现中发现的两个漏洞。两者后来均已通过更新修复。

Bark 实现中的漏洞于 2026 年 10 月造成 0.75 BTC 损失

一个名为“Bark”的独立实现于 2026 年 10 月出现漏洞，造成 0.75 BTC（约 62,000 美元）的损失。损失涉及项目资金，而非客户资产。

常见问题

TU Wien 正在研究 Ark 协议的哪些方面？

由 Georgia Avarikioti 领导的 TU Wien 研究人员正在为 Ark 协议开发形式化安全证明。该项目官方项目期限为 2024 年 10 月 1 日至 2025 年 12 月 10 日，资金来自 AKRLabs OÜ。截至 2026 年 10 月中旬，形式化安全证明仍在开发中。

TU Wien 研究团队发布了哪些关于 Ark 的论文？

该研究团队已产出两份重要文件：一份是 2026 年 3 月发布的简版白皮书《Ark：基于 UTXO 的交易批处理协议》，由 Ark Labs 和 TU Wien 的研究人员共同撰写；另一份是 Keer 等人于 2026 年 6 月发布的 arXiv 论文，讨论了形式化定义、安全属性以及在测试网上的实现中发现的两个漏洞。

Bark 实现于 2026 年 10 月发生了什么？

一个名为“Bark”的独立实现于 2026 年 10 月出现漏洞，造成 0.75 BTC（约 62,000 美元）的损失。损失影响的是项目资金，而非客户资产。