The Cardano-based DEX SundaeSwap carried out a security audit of its system. Issues identified during this audit have been resolved. Runtime Verification Inc. conducted this audit using rigorous methods to check the system for correctness, reliability, and safety. It has conducted computing system audits for companies operating in blockchain, automotive, aerospace, and others.
SundaeSwap Lab
It is a scalable and native decentralized exchange. This marketplace does not have any owner and ensures efficient transactions of cryptocurrencies. The system assures efficient liquidity and democratic ownership. This setup can be used to attract assets to develop and manage financial products. After completing the recent audit and resolving all identified issues, further validation process by the auditor was held to confirm everything was running well. The full report of these findings will be released shortly. The details will be made available once the full audit link is available from the auditor.
An Extensive Review of Contracts
Verification-based techniques were used to audit the SundaeSwap contracts. Risk vectors were identified and an analysis of the new solutions was conducted again. The thorough process found several issues and all of these points have been resolved. The result of this audit is a highly secure DEX that now meets the high safety and security criteria expected by the Cardano community. Resilience and security have been the core principles of Cardano so it was necessary for SundaeSwap protocol developed on Cardano to conduct this audit.
SundaeSwap Lab said that its relationship with RV will continue even after this audit. RV will continue to review the future updates of SundaeSwap’s protocol.
