Formal Verification

[Webinar] Towards Building Trustworthy Blockchain Systems with Professor Ronghui Gu

The Smart Contract Audit of the DAG Infused Blockchain Project — LNX Protocol

How Sparrow Leveraged CertiK’s Penetration Testing

The Tellor Oracle: How the Staked Proof-of-Work leveraged Formal Verification

CertiK is proud to have…

AKRO Token: The Smart Contract Audit Provided By CertiK

Client Spotlight: ITAM Games

With video games representing a rapidly growing market, currently estimated at 135 Billion dollars, it makes…

Client Spotlight: BitMovio

CertiK is proud to announce a successful audit of BitMovio, a gamified video entertainment platform.

Client Spotlight: HUMAN Protocol

CertiK is proud to announce a successful security audit of the HUMAN Protocol’s HMT token contract.

Client Spotlight: Benepit

CertiK is proud to announce a successful audit of Benepit.

Spotlight: CertiK and HintChain

CertiK is proud to announce a completed audit of HintChain, a blockchain project that connects consumer…