CertiK has recently completed a security audit of VANTA, a decentralized and permission-less network that ensures real-time, secure and private connectivity. While the VANTA NETWORK envisions building a new infrastructure that connects humanity, organizations, and devices in real time, it is important to ensure a secure and trustworthy decentralized ecosystem. VANTA chose CertiK as its official security services provider.
The Audit Process
The audit process was conducted by CertiK’s team of experienced software engineers, security researchers and technical consultants, with deep collaboration from the VANTA research and development team. CertiK performed a comprehensive review of VANTA’s Smart Contracts and related documentation and successfully delivered the Audit Report in 5 business days. CertiK would like to congratulate the VANTA team for passing the rigorous verification process
The Audit was conducted utilizing CertiK’s Formal Verification Platform, Static Analysis, and Manual Review. A comprehensive examination has been performed with special attention to the following considerations:
- Testing the VANTA smart contracts against both common and uncommon attack vectors. The CertiK team has categorized all the risk types into 3 buckets by different risk levels. According to the report, there are no vulnerabilities at any risk levels detected by CertiK team.
- Assessment of VANTA codebase for best practice and industry standards to optimize the expression of the code and ensure a clean straightforward code design for better flexibility and extensibility.
- Examine related documentation to ensure contract logic meets the specifications and intentions of the client.
Overall, the team found VANTA’s code design effective and of high-quality and would like to congratulate the team for passing the rigorous verification process. See below for CertiK’s official conclusion card:
About VANTA Network
VANTA is a decentralized and permission-less network that ensures real-time, secure and private connectivity. Through VANTA Network, both individuals and enterprises can develop real-time data transmission services and commercialize those services at low costs. VANTA aims to be the first real-world business application of blockchain technology in the field of real-time communication.
CertiK is a blockchain and smart contract verification platform founded by top Formal Verification experts from Yale and Columbia University. Incubated by Binance Labs, Certik has strategic partnerships with the world’s leading crypto exchanges such as Binance, OKEx, and Huobi, as well as protocols such as NEO, ICON, and QuarkChain.
CertiK’s formal verification method works differently than traditional testing approaches: rather than working manually, CertiK mathematically proves blockchain ecosystem and smart contracts are hacker-resistant and bug-free at scale. CertiK has secured over $4B in asset value, auditing several projects across all major protocols, including BNB, Terra, Crypto.com, and TUSD.
To request the audit/verification of your smart contracts, please email email@example.com or visit certik.org to submit the request.