CertiK Blog and News
Join Our Community Today!
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.
Crypto Commonwealth’s Token & Vesting Audit
CertiK | Dec 23
Crypto Commonwealth chose to work with CertiK to ensure the security of their token and vesting smart contracts.
CertiK’s Audit Review for FrenchICO
CertiK | Dec 20
The FrenchICO team asked CertiK to conduct a security audit of the design and implementation of their Minime-based smart contracts