Back to all stories
Case Study
KardiaChain's Audit Overview
KardiaChain's Audit Overview

In 2019, CertiK and KardiaChain formed a strategic partnership. Read more here.

What is KardiaChain?

KardiaChain is a public blockchain platform focused on interoperability by providing a hybrid blockchain infrastructure for enterprises and governments in Vietnam and Asia. KardiaChain works with major services providers, like enterprises and the government, to decentralize existing solutions.

The team’s dual node technology allows cross-chain communications between any public and/or private blockchain regardless of protocol. This provides easy-to-adopt solutions for institutional clients.

The Audit

This report has been prepared for KardiaChain to discover issues and vulnerabilities in the source code of:

  1. KardiachainToken.sol
  2. KardiachainTokenVesting.sol

A comprehensive examination has been performed utilizing CertiK’s Formal Verification platform. Unlike manual review, Formal Verification examines the entire code logic at-scale and mathematically ensures the program works only as it’s intended to. The process can pinpoint exactly where the problems are — and how to fix them.

In addition, CertiK’s team of experts provided a full review of the code and mathematical outputs efficiently combining both exhaustive computer review and thorough manual review.

Audit Results

We were pleased to find KardiaChain following the best practices for robust and secure smart contracts. With the final update of the source code and delivery of the audit report, CertiK concludes that the smart contracts are structurally sound and not known to have any critical vulnerabilities!

About CertiK

CertiK leads blockchain security by pioneering the use of cutting-edge Formal Verification technology on smart contracts and blockchains. Unlike traditional security audits, Formal Verification mathematically proves program correctness and hacker-resistance. CertiK was founded by Computer Science professors of Yale University and Columbia University, securing over $5B in assets, including many of the world’s top projects.

The research efforts of CertiK have received grants from IBM and the Ethereum Foundation, and notable investors include Binance Labs, Bitmain, Lightspeed Venture Partners, Matrix Partners, and NEO Global Capital, among others.

To request the audit/verification of your smart contracts, please email [email protected] or visit to submit the request.