CertiK Blog and News

Join Our Community Today!

DeepSEA Version 1.0 with eWasm & Ants Release

CertiK | Sept 18

CertiK is proud to announce version 1.0 of the DeepSEA compiler. You can download the executable and examples from the [github releases page](https://github.com/CertiKProject/deepsea-preview/releases). There are two major improvements in this release. First, the compiler is now complete enough to support practical smart contracts. Second, in addition to Ethereum 1.0 and the CertiK Chain, we have added experimental support for compiling to Ethereum 2.0 style WebAssembly.

CertiK Audits Terra’s New CosmWasm Smart Contract Solution

CertiK | Sept 11

Terra, one of the largest blockchain payment networks, is supported by a family of stablecoins which are pegged to the world's major currencies. The main goal of the CosmWASM solution is to provide functionality that allows smart contracts to interact with other smart contracts, and be deployed on different blockchain platforms. The solution is a WebAssembly smart contract system, and is based on the Cosmos SDK and Tendermint BFT consensus protocol.

AllianceBlock and CertiK's Audit Procedure

CertiK | Sept 11

The CertiK team was contracted by the AllianceBlock team to audit the design and implementation of their smart contracts, and its compliance with the EIPs it’s meant to execute on.

CertiK and Lien Finance’s Second Audit Engagement and Pen Test

CertiK | Sept 9

Recently, the CertiK team and Lien Finance team closed another audit engagement on the iDOL, Lien Token, and Oracle modules, and a penetration test on the wallet.

CertiK Audits Three RioDeFi Modules and Performs a Pen Test For RioWallet

CertiK | Sept 2

CertiK was excited to work with the RioDeFi team to examine issues and vulnerabilities in the source code of their system within the scope. A comprehensive audit examination has been performed, and a penetration test on RioWallet.