TU Wien researchers work to formally prove security of Bitcoin's Ark protocol
- —Led by Georgia (Zeta) Avarikioti at TU Wien's Research Unit of Security and Privacy
- —Funded by a donation from AKRLabs OÜ, with an official window of October 2024 to December 2025
- —Two documents published: a March 2026 litepaper and a June 2026 arXiv paper covering VTXOs, atomicity and balance security
- —Two vulnerabilities found in testnet implementations were fixed; a separate Bark bug in October 2026 cost 0.75 BTC (~$62,000)
Why it matters: Ark has no native token, but its security underpins trust in non-custodial Bitcoin L2 scaling solutions.
Source: Crypto Briefing