CertiK Blog and News
Join Our Community Today!
Leveraging Trust for a Secure Blockchain Framework
CertiK | Jan 15
To understand why, we first must understand why security matters to blockchain, and why that security is critical for blockchain’s long-term growth.
CertiK’s Completion of Mineral Hub’s Mineral (MNR) Smart Contracts
CertiK | Jan 14
With such an ambitious and innovative project, Skypeople chose to work with CertiK to build a secure framework moving forward.
An Introduction to DeepSEA
CertiK | Jan 10
In the blockchain world, security is paramount, but writing certifiably correct system software is quite labor-intensive. Current programming languages are not well-suited for the task—let alone compatible—with Formal Verification.
BetProtocol’s Token Smart Contract Audit
CertiK | Jan 8
BetProtocol’s ecosystem is powered by their native token BEPRO. The token will facilitate collaboration among developers, oracle solvers, bookers and betters for an optimal network of betting dApps.
CertiK Verifies The Sandbox’s SAND and LAND Token Contracts
CertiK | Jan 7
CertiK applied different types of approaches to audit Sandbox’s smart contracts and ensure that they’re free of vulnerabilities.