TU Wien ведёт формальное доказательство безопасности протокола Ark для биткоина
- —Проект ведёт Georgia (Zeta) Avarikioti в Research Unit of Security and Privacy TU Wien
- —Финансирование — донат AKRLabs OÜ, официальный срок: октябрь 2024 — декабрь 2025
- —Опубликованы litepaper (март 2026) и arXiv-статья (июнь 2026) с определениями VTXO и atomicity
- —В тестовых реализациях нашли две уязвимости, обе исправлены; баг Bark в октябре 2026 стоил 0,75 BTC (~$62 тыс.)
Почему важно: Ark не имеет собственного токена, но его безопасность важна для доверия к L2-решениям биткоина без кастодии.
Источник: Crypto Briefing