比推消息，基于 Cardano 的去中心化交易所（DEX） SundaeSwap 宣布，Runtime Verification (RV) 已完成对 SundaeSwap 协议的安全审计。审计发现的所有问题均已得到解决，RV 将发布一份完整的报告，详细说明调查结果，包括对为满足审计要求而采取的所有解决方案的验证，RV 还将参与审查 SundaeSwap 未来协议开发的更新。SundaeSwap DEX旨在允许快速、安全且廉价地进行基于Cardano 的点对点交易，主网部署预计在2022年进行。