Announcement

CertiK Foundation: On the Road to Mainnet

December 9, 2019
All
Announcements
Clients & Partners
Engineering Hub
Technology
Announcement
CertiK Foundation: On the Road to Mainnet

CertiK Foundation: On the Road to Mainnet

December 9, 2019

After a successful Open Beta, the CertiK Foundation is excited to share that the CertiK Chain will launch Mainnet in Spring 2020! Here’s what to expect in the coming weeks.

Announcement
CertiK and OKChain’s Official Ecosystem Partnership

CertiK and OKChain’s Official Ecosystem Partnership

March 3, 2021

As the premier blockchain security experts and developers of the CertiK Chain, CertiK is excited to join OKChain’s Commercial Alliance.

Announcement
Introducing NoOps: The New Way to Run Your Nodes

Introducing NoOps: The New Way to Run Your Nodes

December 4, 2019

The product serves as a one-stop solution that serves the needs of different groups of end users actively participating in the staking business.

Clients & Partners
CertiK’s Audit of the Torus Distributed Key Generation Protocol

CertiK’s Audit of the Torus Distributed Key Generation Protocol

April 26, 2020

A series of thorough security assessments was carried out for Torus to audit and verify the Distributed Key Generation protocol.

Clients & Partners
CertiK’s Cross-Chain DeFi Audit of Kava Labs CDP and Auction Modules

CertiK’s Cross-Chain DeFi Audit of Kava Labs CDP and Auction Modules

October 10, 2019

CertiK is proud to announce the second successful security audit of Kava, a cross-chain DeFi (Decentralized Finance) project built with the Cosmos SDK.

Clients & Partners
CertiK’s audit of ICON’s Python Implementation of the Service Engine

CertiK’s audit of ICON’s Python Implementation of the Service Engine

January 7, 2020

CertiK was excited to audit ICON’s Service Engine, utilized as a dependency of other projects. The goal of the audit was to review the Python implementation for its business model, study potential security vulnerabilities, its general design and architecture, and uncover bugs that could compromise the software in production.

Engineering
CVE-2020-5902 Analysis, F5 BIG-IP RCE Vulnerability

CVE-2020-5902 Analysis, F5 BIG-IP RCE Vulnerability

March 17, 2021

The cybersecurity sphere was in a buzz about the new entry in the Common Vulnerabilities and Exposures database: CVE-2020-5902, a remote code execution vulnerability in F5 BIG-IP devices. Read on to learn what our security researcher discovered.

Technology
An Introduction to DeepSEA

An Introduction to DeepSEA

February 23, 2020

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.

Technology
How DeepSEA Works

How DeepSEA Works

June 4, 2019

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.

Technology
Facebook’s “Move” Programming Language: How Does It Compare to Solidity and DeepSEA?

Facebook’s “Move” Programming Language: How Does It Compare to Solidity and DeepSEA?

August 21, 2020

We compare Facebook’s Move with Ethereum’s Solidity and CertiK’s DeepSEA to interpret the differences between the languages, detailing the advantages — and complications — therein.

Announcement

CertiK Foundation: On the Road to Mainnet

December 9, 2019

Lorem ipsum dolor sit amet, consectetur adipiscing elit. Suspendisse varius enim in eros elementum tristique. Duis cursus, mi quis viverra ornare, eros dolor interdum nulla, ut commodo diam libero vitae erat. Aenean faucibus nibh et justo cursus id rutrum lorem imperdiet. Nunc ut sem vitae risus tristique posuere.

Announcement

CertiK and OKChain’s Official Ecosystem Partnership

March 3, 2021

Lorem ipsum dolor sit amet, consectetur adipiscing elit. Suspendisse varius enim in eros elementum tristique. Duis cursus, mi quis viverra ornare, eros dolor interdum nulla, ut commodo diam libero vitae erat. Aenean faucibus nibh et justo cursus id rutrum lorem imperdiet. Nunc ut sem vitae risus tristique posuere.

Announcement

Introducing NoOps: The New Way to Run Your Nodes

December 4, 2019

Lorem ipsum dolor sit amet, consectetur adipiscing elit. Suspendisse varius enim in eros elementum tristique. Duis cursus, mi quis viverra ornare, eros dolor interdum nulla, ut commodo diam libero vitae erat. Aenean faucibus nibh et justo cursus id rutrum lorem imperdiet. Nunc ut sem vitae risus tristique posuere.

Clients & Partners

CertiK’s Audit of the Torus Distributed Key Generation Protocol

April 26, 2020

A series of thorough security assessments was carried out for Torus to audit and verify the Distributed Key Generation protocol.

Clients & Partners

CertiK’s Cross-Chain DeFi Audit of Kava Labs CDP and Auction Modules

October 10, 2019

CertiK is proud to announce the second successful security audit of Kava, a cross-chain DeFi (Decentralized Finance) project built with the Cosmos SDK.

Clients & Partners

CertiK’s audit of ICON’s Python Implementation of the Service Engine

January 7, 2020

CertiK was excited to audit ICON’s Service Engine, utilized as a dependency of other projects. The goal of the audit was to review the Python implementation for its business model, study potential security vulnerabilities, its general design and architecture, and uncover bugs that could compromise the software in production.

Engineering

CVE-2020-5902 Analysis, F5 BIG-IP RCE Vulnerability

March 17, 2021

The cybersecurity sphere was in a buzz about the new entry in the Common Vulnerabilities and Exposures database: CVE-2020-5902, a remote code execution vulnerability in F5 BIG-IP devices. Read on to learn what our security researcher discovered.

Technology

An Introduction to DeepSEA

February 23, 2020

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.

Technology

How DeepSEA Works

June 4, 2019

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.

Technology

Facebook’s “Move” Programming Language: How Does It Compare to Solidity and DeepSEA?

August 21, 2020

We compare Facebook’s Move with Ethereum’s Solidity and CertiK’s DeepSEA to interpret the differences between the languages, detailing the advantages — and complications — therein.

Subscribe to our Newsletter

Subscribe