CertiK is proud to announce a successful audit and larger partnership with Band Protocol.
Band is an open protocol that facilitates the governance of data used in decentralized blockchain systems. Their protocol functions as an open standard for data handling and management for any decentralized program or application.
Band Protocol provides the building blocks for secure and effective Web3 applications to be made with cohesive infrastructure improvements developed for off-chain oracles, which includes reputation scoring, identity management systems, token issuances and curated token registries.
With such an ambitious framework, CertiK was called in not just to audit and secure Band Protocol’s program, but to chart a way forward for a more secure oracle framework — one optimised not just for decentralization and performance, but for security as well.
Together, CertiK and Band Protocol recognize that there is a path forward for significant improvement across the landscape. By removing overdependence on oracles and securing otherwise vulnerable central points, we intend to create a superior security framework across the industry via our industry-leading Formal Verification tools.
The auditing was conducted by CertiK’s team of experienced security engineers and consultants, and was conducted utilizing CertiK’s Formal Verification Platform, Static Analysis, and Manual Review.
Overall, the team found Band Protocol’s code to follow good practices. With the delivery of the audit report, CertiK concludes that the contract is not vulnerable to any classically known anti-patterns or security issues.
CertiK would like to congratulate the Band Protocol team for passing the rigorous verification process.
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 billions in asset value, auditing several projects across all major protocols, including BNB, Terra, Crypto.com, and TUSD.