Band Protocol and CertiK Strategic Partnership

Band Protocol is happy to announce the results of a successful audit and broader collaboration with CertiK.

CertiK is a blockchain and smart contract verification platform founded by top Formal Verification experts from Yale and Columbia University. 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.

With the security and robustness of Band Protocol’s implementation a top priority, CertiK was engaged to audit and secure Band Protocol’s repositories and smart contracts, due to their widely trusted reputation for quality assurance in the industry.

Furthermore, Band Protocol and Certik will be collaborating to chart a way forward for a more secure oracle framework. Ultimately we will be working together to build new standards and alternatives for oracles — 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 leveraging our holistic decentralized data management approach and utilizing Certik’s industry-leading Formal Verification tools.