TU Wien researchers work to formally prove the security of Bitcoin’s Ark protocol

An academic team in Vienna is putting the Bitcoin layer-2 batching protocol through formal security analysis, and the work is still in progress Researchers at TU Wien are working to formally prove that the Ark protocol is secure. Ark is a transaction batching system built to help Bitcoin scale without making users hand over custody of their coins. The work is based in TU Wien’s Research Unit of Security and Privacy. It is led by Georgia (Zeta) Avarikioti. The project’s official window ran from October 1, 2024, to December 10, 2025. Funding came from a donation by AKRLabs OÜ.

BeCrypto News shows a short excerpt and links to the publisher. The full report belongs to Crypto Briefing.