Audits
Last updated
Last updated
CertiK is a global leader in blockchain security, specializing in providing security audits for smart contracts and blockchain protocols using advanced formal verification technology. Founded in 2018 by computer science experts from Yale University and Columbia University, CertiK is dedicated to ensuring the security and reliability of blockchain systems through mathematical verification models. CertiK's security audit services are adopted by thousands of blockchain projects worldwide, with clients across DeFi, NFT, Web3, and other sectors. As an authority in the industry, CertiK's audit reports and ratings have become a key part of blockchain security standards, helping projects improve security, reduce risks, and build trust with users.
Beosin is a leading blockchain security company founded in 2018 and headquartered in Singapore. Beosin focuses on providing comprehensive security solutions for the global blockchain ecosystem, including smart contract auditing, on-chain transaction analysis, security risk management, and anti-money laundering (AML) compliance services. With a top-tier blockchain security team, Beosin's auditing services cover a wide range of public and application chains, aiming to help projects identify potential vulnerabilities and ensure the safe operation of platforms. Beosin has become an important player in the blockchain security space through collaborations with globally renowned projects, earning widespread industry recognition.
Audit Report : https://beosin.com/audits/AIDAv2_202408301054.pdf
