CertiK Blog and News

Join Our Community Today!

OKEx Academy Talks Recap: How to Ensure Security for DeFi Investors

CertiK | May 14

Earlier last month, CertiK was proud to be a part of OKEx’s Academy Talks. The live online discussion on DeFi and Security was moderated by Boxmining with other representatives from SlowMist and SECBIT

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.