CertiK has completed a security audit for VANTA
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.
Website: https://vanta.network/
Email: official@vanta.network.
About CertiK
CertiK is the premier blockchain and smart contract verification platform, founded by top Formal Verification experts from Yale and Columbia University and former senior software engineers from Google and Facebook. Different from the traditional testing approaches, CertiK attempts to mathematically prove blockchain ecosystems and smart contracts are hacker-resistant and bug-free. CertiK’s key features include a layer-based decomposition approach, pluggable proof engine, machine-checkable proof objects, certified dApp libraries, and smart labeling.
Trusted by the security industry, CertiK has reached strategic partnerships with the world’s top digital asset exchanges such as Binance, OKEx, and Huobi, as well as Public Chains such as NEO, ICON, and QuarkChain. CertiK is incubated and invested in by Binance Labs, along with other world’s leading investors such as DHVC, FBG Capital, Bitmain, and Lightspeed.
To request the audit/verification of your smart contracts, please send an email to audit@certik.org or visit certik.org to submit the request.
Twitter: https://twitter.com/certikorg
Telegram: https://t.me/certikorg
LinkedIn: https://www.linkedin.com/company/certik/
Email: info@certik.org
To read more articles from CertiK:
Official Partnership Between Binance and CertiK
CertiK Has Conducted Successful Audit of Crypto.com
CertiK Has Completed a Security Audit of Celer Project
CertiK AutoScan Engine: 53 of the top 500 tokens by market cap were found to have vulnerabilities
