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.