A Taste of Red Velvet: SundaeSwap & Runtime Verification
SundaeSwap Labs has chosen Runtime Verification, Inc. to conduct an extensive security audit of the SundaeSwap protocol in advance of its public launch. Runtime Verification uses verification-based techniques to conduct security audits on smart contracts. Runtime Verification specializes in formal methods and is the primary maintainer of the K Semantics Framework. RV specifies, models and verifies both code and designs using formal logic, validating a smart contract’s properties against both concrete and symbolic inputs.
While ADA has been judged by many to be one of the most resilient and secure cryptocurrencies currently traded, all eyes will be on Cardano as smart contracts roll out, and the extensive testing, auditing and verification of all Cardano projects will be critical to maintaining trust in the burgeoning platform.
Urbana, Illinois-based Runtime Verification’s unparalleled reputation and long standing collaboration with Input Output Global (IOG), one of the world’s pre-eminent blockchain infrastructure research and engineering companies, made it an easy choice for the SundaeSwap Labs team.
“We’re confident that Runtime Verification will leave no stone unturned in their audit of the SundaeSwap protocol, and that with their input and verification, SundaeSwap will be positioned to be a safe, secure platform for the Cardano community to enjoy.” said Artem Wright, co-founder of SundaeSwap Labs.
The audit report that will be provided by Runtime Verification’s team will apply formal methods to evaluate and help SundaeSwap improve the safety, reliability and correctness of its system.
About SundaeSwap Labs
SundaeSwap Labs develops decentralized finance (DeFi) platforms that enable economic empowerment for all. At the heart of its development efforts is the SundaeSwap DEX, a decentralized exchange where Cardano-based peer-to-peer transactions can be conducted quickly, safely and inexpensively. The SundaeSwap DEX allows participants in the Cardano blockchain to provide liquidity and create a market for others to exchange their native tokens. In return, swappers pay a small fee and liquidity providers earn a return on their deposit. Cardano is a third-generation blockchain noted for its transactional efficiency, relatively low environmental footprint and peer-reviewed secure technology. SundaeSwap Labs is a Wyoming corporation.
SundaeSwap’s website: https://sundaeswap.finance/
Discord: https://discord.com/invite/sundae
Twitter: https://twitter.com/SundaeSwap
Medium: https://medium.com/@sundaeswap-finance
Reddit: https://www.reddit.com/r/SundaeSwap/
About Runtime Verification
Runtime Verification is an American startup with a global presence. The company uses formal methods to perform security audits on virtual machines and smart contracts on public blockchains. It also provides software testing, verification services and products to improve the safety, reliability, and correctness of software systems in the blockchain field.
Runtime Verification’s website: https://runtimeverification.com/
Twitter: https://twitter.com/rv_inc
