CertiK Blog and News
Join Our Community Today!
Penetration Testing Services For Blockchains and Crypto
CertiK | Feb 21
As blockchain projects continue to scale globally, security breaches remain a critical issue. Because of the open-sourced, decentralized nature of blockchain, hackers can easily engage with companies from anywhere in the world.
How DeepSEA Works
CertiK | Jan 22
The DeepSEA language syntax is inspired by functional languages like ML and Coq itself. The simple token contract below shows the general appearance, we will use it as a running example.
Validator Economic Incentive Model for Ethereum 2.0
CertiK | Jan 16
Phase zero of Ethereum 2.0 is expected to launch during the second or third quarter of 2020. It’s the first transitional stage of Ethereum network from Proof of Work (PoW) to Proof of Stake (PoS), which will pass block validation function from miners to validators.
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.
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.