TU Wien researchers work to formally prove the security of Bitcoin’s Ark protocol
Photo: Crypto Briefing
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Ü.
Source: Crypto Briefing
