CertiK Blog and News
Join Our Community Today!
Hiblocks' Smart Contract Audit for Decentralized Social Media
CertiK | Feb 7
Hiblocks, a blockchain-based social media curation platform, worked with CertiK to audit the design and implementation of its soon-to-be-release smart contracts.
CertiK’s Smart Contract Audit of SkinChain’s SKC
CertiK | Feb 6
SkinChain a blockchain platform exclusively for the cosmetic industry, aims to build an efficient product production and distribution ecosystem that can analyze integrated data and provide customized solutions.
CertiK and Liquid’s Official Partnership
CertiK | Jan 23
CertiK is excited to partner with Liquid to provide the cybersecurity expertise they seek.
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.