Founded in 2018 by professors of Columbia and Yale, CertiK is a pioneer in blockchain security, utilizing best-in-class Formal Verification and AI technology to secure and monitor blockchains, smart contracts, and Web3 apps.

Stories By CertiK

How Safe is SafeMoon? Analyzing the FETA and BEVO Exploits

Recently, a number of deflationary tokens such as FETA and BEVO have suffered flashloan exploits. We noticed that our analysis contradicted a number of previously published reports.

The Move Prover: Quality Assurance of Formal Verification

In a previous post we described the Move Prover. We have used the Move Prover at CertiK to verify security properties of real Move code we have audited. Overall this has worked well, but we also encountered an interesting issue that illustrates some of the differences between formal verification and other forms of quality assurance.

Secure Smart Contract Programming in FunC: Top 10 Tips for TON Developers

In this article, we’ll go through a couple of the most interesting features of the TON blockchain, then we’ll go through a list of best practices for developers programming smart contracts in FunC.

The Rug Pull Report

Exit scams, popularly referred to as rug pulls, are an ongoing criminal scheme in Web3. A rug pull involves fraudsters robbing a crypto project by liquidating their holdings without warning and leaving investors holding worthless tokens.

Smart Contract Security: Protecting Digital Assets

Smart contracts are automated computer programs that facilitate the execution of agreements between parties without the need for intermediaries.

What is Web3 Penetration Testing?

Web3 penetration testing is the process of offensively assessing the security of Web3 applications and blockchain-based systems. The goal of Web3 penetration testing is to identify both Web 2.0 and Web3 vulnerabilities and weaknesses that could be exploited by malicious actors.

What is a Web3 Bug Bounty

A Web3 Bug Bounty is a reward program offered by projects to ethical hackers who identifying security issues in software.

Smart Contract Security: Protecting Digital Assets

Security – in the context of smart contracts – refers to the prevention of unauthorized access, modification, or theft of the assets and agreements that smart contracts hold.

Kiểm toán Blockchain là gì và nó hoạt động như thế nào?

Sau khi Bitcoin cho thế giới thấy vô số lợi ích của các hệ thống phi tập trung và không cần sự tin tưởng, công nghệ blockchainđã nổi lên như là nền tảng của Web3.

What is a Blockchain Audit and How Does It Work?

In this article, we will discuss the importance of blockchain audits and how they work. We will also explore the benefits of conducting a blockchain audit and why it should be a top priority for L1 founders and the developers who build applications on top of these baselayers.