RecodeX 重构消息，维也纳工业大学研究团队对Ark协议进行了形式化安全验证，证明其安全性，同时在测试网中发现攻击行为。团队表示已提出修复方案，相关修复已被纳入其分析所涉及的主网实现中。