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.
CertiK Chain Testnet Open Beta to Launch Next Week
CertiK | Nov 22
The CertiK Foundation, a research organization pioneering Formal Verification and end-to-end blockchain security, is scheduled to launch the open beta of its CertiK Chain. Testnet 3.0, comes soon after the Testnet 2.0 deployment, an upgrade which migrated the CertiK Chain to DPoS (Delegated Proof of Stake). With the DPoS consensus algorithm, the network aims to handle scaling and block validation efficiently.
How Ethereum Works: Accounts & Gas
CertiK | Nov 20
Now that we understand what Ethereum is and the history behind it, let’s take a look at how Ethereum works.
How Ethereum Works: The History of Ethereum
CertiK | Nov 14
Welcome to our series on how Ethereum works. Over the course of the next few weeks, we’ll be publishing a guide about the history of Ethereum, its current uses and structure, and where it may go in the future.
Introducing CertiK’s CREATE2 Audit Tool
CertiK | Nov 13
CertiK is now offering the first, free, easy-to-use tool to determine if a smart contract can be maliciously altered.