Hedget

Liquid

Evai

Tixl

CenterPrime

Zytara

1inch

Fisco

Galaxy

ZeroSwap

Reflect Finance

PAID Network

Deflect

Bloq

Bondly Finance

MahaDAO

Xend Finance

Union Finance

Ezdefi

Rookit Finance

Unstoppable.money

ZKSwap

Sovi Finance

HARD Protocol is a decentralized money market built on Kava, enabling the lending and borrowing of cross-chain assets. The platform will allow overcollateralized borrowing for supported assets. All HARD tokens distributed as rewards are locked by a smart contract.

Hard Protocol

The Shields available for purchase from this Pool enable reimbursements of irretrievably lost or stolen HARD through hacks or code malfunctions. Addresses: https://www.mintscan.io/kava/account/kava16zr7aqvk473073s6a5jgaxus6hx2vn5laum9s3, https://www.mintscan.io/kava/account/kava1nzenvfcapyjr9qe3cr3c5k2aucssg6wnknlvll, https://www.mintscan.io/kava/account/kava1e3qvdzau5ww0m43d00gqj0ncgy8j03ndge6c2c

This report has been prepared as a product of the DeFi Audit request by Kava Labs. This audit was conducted to discover issues and vulnerabilities in the source code of Kava Lab’s blockchain implementation.

This report has been prepared as a product of the Smart Contract Audit request by Kava Labs. This audit was conducted to discover issues and vulnerabilities in the source code of Kava Labs.

Kava is a cross-chain DeFi lending platform that allows users to borrow USDX stablecoins and deposit a variety of cryptocurrencies to begin earning a yield.

Kava

The Shields available for purchase from this Pool enable reimbursements of irretrievably lost or stolen KAVA through hacks or code malfunctions. Addresses: https://www.mintscan.io/kava/account/kava16zr7aqvk473073s6a5jgaxus6hx2vn5laum9s3, https://www.mintscan.io/kava/account/kava1nzenvfcapyjr9qe3cr3c5k2aucssg6wnknlvll, https://www.mintscan.io/kava/account/kava1e3qvdzau5ww0m43d00gqj0ncgy8j03ndge6c2c

A SushiSwap fork that attempts to differentiate itself by integrating YAM's/ Compound's Governance mechanism.

PancakeSwap is a decentralized exchange for swapping BEP20 tokens on Binance Smart Chain. PancakeSwap uses an automated market maker (AMM) model where users trade against a liquidity pool which is filled with other users’ funds.

PancakeSwap

PancakeSwap Chef

PancakeSwap Router

PancakeSwap Sous Chef

PancakeSwap Factory

PancakeSwap Cake

PancakeSwap Syrup

The Shields available for purchase from this Pool enable reimbursements of irretrievably lost or stolen CAKE, SYRUP, and FLIP through hacks or code malfunctions. Smart contract addresses: 0x3C3f2049cc17C136a604bE23cF7E42745edf3b91, 0x73feaa1eE314F8c655E354234017bE2193C9E24E, 0x05fF2B0DB69458A0750badebc4f9e13aDd608C7F, 0x009cf7bc57584b7998236eff51b98a168dcea9b0, 0x0e09fabb73bd3ade0a17ecc321fd13a19e81ce82 and 0x5e74094cd416f55179dbd0e45b1a8ed030e396a1.

Multiplier is a ERC-20 smart contract platform that enables deposit that mints MXX tokens as a reward based on their underlying asset. The platform will be decentralized.

Multiplier

The Shields available for purchase from this Pool enable reimbursements of irretrievably lost or stolen MXX from hacks or code malfunctions. Addresses: https://etherscan.io/address/0xE4Baf69B887843aB6A0e82E8BAeA49010fF619af, https://etherscan.io/address/0xF9822C484340f96BCf73835fC2f6a134e8A396f3, https://etherscan.io/address/0x25Fa5F33A7fb6865A6AF09724667c292236BD8D8.

Individuals who seek to protect their NXM may join CertiKShield and purchase a NXM Shield of their desired size.

Nexus Mutual

The Shields available for purchase from this Pool enable reimbursements of irretrievably lost or stolen NXM from hacks or code malfunctions

Contracts for the Security Oracle, the Security Oracle Proxy and a DeFi utilizing the Security Oracle.

The CertiK platform is envisaged to be a formal verification framework for building fully trustworthy smart contacts and blockchain ecosystems. Different from traditional testing approaches to detect bugs, the CertiK platform attempts to mathematically prove that blockchain ecosystems are bug-free.

CertiK

CertiK Bep20Token

CertiK BSC SecurityOracle

The Shields available for purchase from this Pool enable reimbursements of irretrievably lost or stolen CTK through hacks or code malfunctions.

This report has been prepared as a product of the Smart Contract Audit request by AAVE. This audit was conducted to discover issues and vulnerabilities in the source code of AAVE’s multi-EIP Compliant AAVE token and AAVE to LEND Migrator.

Aave is a decentralized, open-source non-custodial protocol on Ethereum that allows people to lend and borrow. lenders earn compound interest by depositing crypto assets to liquidity pools, while borrowers can obtain collateralized loans or trustless, uncollateralized flash loans.

Aave

AAVE AaveCore

AAVE FeeProvider

The DeFi Yield Protocol is developing a unique platform that allows anyone to provide liquidity and to be rewarded for the first time with Ethereum. At the same time, the platform maintains both token price stability as well as secure and simplified DeFi for end users by integrating a DYP anti-manipulation feature

DYP.Finance

DYP Governance

DYP Token

DYP Staking

Helmet.insure is the first crypto-assets price insurance protocol on Binance Smart Chain. Helmet originated from option trading logic, allowing anyone to create any price insurance policy easily in the market.

Helmet

Helmet OptionOrder

Helmet Token

Helmet OptionFactory

This report has been prepared as a product of the Smart Contract Audit request by Ampleforth. This audit was conducted to assess issues and vulnerabilities in the updated source code of Ampleforth’s uFragment Smart Contracts.

Ampleforth is an ethereum-based DeFi protocol. It is designed to solve the problems of inflation and deflation in Finance. The AMPL protocol automatically adjusts supply in response to demand to achieve algorithmically stable purchasing power.

Ampleforth

AmpleForth AdminProxy

Bancor is a protocol on Ethereum for non-custodial token exchange using pooled liquidity. The protocol is made up of a series of smart contracts that are designed to pool liquidity and perform peer-to-contract trades in a single transaction with no counterparty. 

Bancor

Bancor BNT Token

Bancor ContractRegistry

This report has been prepared as product of the Smart Contract Audit request by Band Protocol. This audit was conducted to discover issues and vulnerabilities in the source code of Band Protocol’s Smart Contracts.

Band Protocol is a cross-chain data oracle platform that is able to take real-world data and supply it to on-chain applications, while also connecting APIs to smart-contracts to facilitate the exchange of information between on-chain and off-chain data sources.

Band Protocol

Band Token

This report has been prepared as the product of the Smart Contract Audit request by Binance(BGBP). This audit was conducted to discover issues and vulnerabilities in the source code of Binance(BGBP)’s Smart Contracts.

This report has been prepared as the product of the Smart Contract Audit request by Binance(BNB). This audit was conducted to discover issues and vulnerabilities in the source code of Binance(BNB)’s Smart Contracts.

Binance is an exchange where users can trade cryptocurrencies. They support many of the most commonly traded cryptocurrencies. 

Binance WBNB Token

Binance WBNB

This report has been prepared as a product of the Smart Contract Audit request by bZx. This audit was conducted to discover issues and vulnerabilities in the source code of bZx’s Smart Contracts.

bZx is a financial primitive for shorting, leverage, borrowing, and lending that empowers decentralized, efficient, and rent-free blockchain applications. There are two BZX-based products, Fulcrum and Torque, for loans and margin trading and borrowing assets instantly, respectively.

Bzx.Network

Bzx.network BZxVault

Bzx.network BZRXToken

This report has been prepared as a product of the project request by E-money. This audit was conducted to discover issues and vulnerabilities in the source code of E-money’s E-money Ledger .

E-money is built for Global Payments to improve the legacy banking system with a single efficient blockchain layer with fixed low transaction costs, instant settlement and finality, scalable to real-time global payments and open access without gatekeepers.

Emoney

Ethereum yield (ETHY) is an Ethereum yield farming utility and governance coin. The Ethereum yield (ETHY) token is a standard ERC-20 token, with fixed supply and no minting.

ETHY describes itself as Ethereum's powerful yield farming coin. ETHY's vault smart-contract executes strategies to maximize APY, reward holders, and punish weak-hands.

Ethereum Yield

This report has been prepared as a product of the Smart Contract Audit request by Fetch.ai. This audit was conducted to discover issues and vulnerabilities in the source code of Fetch.ai’s

This report has been prepared as a product of the Smart Contract Audit request by Terra. This audit was conducted to discover issues and vulnerabilities in the source code of Terra’s

This report has been prepared for Fetch.AI to discover issues and vulnerabilities in the source code of their dutchStaking and simpleStakePool smart contracts.

This report has been prepared for Fetch.AI to discover issues and vulnerabilities in the source code of their NativeTokenMigration smart contracts.

Fetch.ai is an innovative platform for connecting IoT devices and algorithms to enable collective learning. Built on a high throughput sharded ledger, the Fetch.ai architecture delivers a unique smart contract capability to deploy ML/AI solutions for decentralized problem solving.

Fetch.ai

Fetch.ai Token

This report has been prepared as a product of the Smart Contract Audit request by ForTube. This audit was conducted to discover issues and vulnerabilities in the source code of ForTube’s Bank project Smart Contracts.

ForTube is a liquidity pool based lending protocol that enables anyone to provide crypto assets to earn interest or borrow against a collateral. It supports a wide range of crypto assets. The borrowing and lending rates are algorithmically adjusted to incentivize and foster maximum liquidity in pools.

ForTube

ForTube PoolPawn

ForTube Core

This report has been prepared as a product of the Smart Contract Audit request by GXC. This audit was conducted to discover issues and vulnerabilities in the source code of GXC’s ERC 20 token.

GXChain is a fundamental blockchain for the global data economy, designed to build a trusted data internet of value. Benefiting from DPoS based Graphene underlying architecture, GXChain possesses functions including G-ID, GVM, BaaS, and Blockcity, which are convenient for application development.

GXChain

This report has been prepared as a product of the ICON Service Engine Audit request by ICON. This audit was conducted to discover issues and vulnerabilities in the source code of ICON’s Service Engine.

ICON is one of the largest decentralized blockchain networks in the world, focusing on interoperability. It allows independent blockchains with different governances to transact with one another without intermediaries.

Icon.Foundation

Icon.Foundation Icon

Icon.Foundation IcxToken

A decentralized data exchange protocol to unlock data for the broader AI industry

This report has been prepared as the product of the Smart Contract Audit request by Ocean Protocol. This audit was conducted to discover issues and vulnerabilities in the source code of Ocean Protocol’s Smart Contracts.

This audit report summarises the smart contract verification service requested by Ocean Protocol. The goal of this security audit is to guarantee that the audited smart contracts are robust enough to avoid any potential security loopholes.

Ocean Protocol is a blockchain-based ecosystem that allows individuals and businesses to easily unlock the value of their data and monetize it through the use of ERC-20 based datatokens.

Oceanprotocol

Oceanprotocol OceanToken

This report has been prepared as product of the Smart Contract Audit request by Ontology. This audit was conducted to discover issues and vulnerabilities in the source code of Ontology’s Smart Contracts.

Ontology is a high performance, open source blockchain specializing in digital identity and data. Ontology's unique infrastructure supports robust cross-chain collaboration and Layer 2 scalability, offering businesses the flexibility to design a blockchain that suits their needs. 

This report has been prepared as the product of the Smart Contract Audit request by Paxos. This audit was conducted to discover issues and vulnerabilities in the source code of Paxos’s Smart Contracts.

Paxos Standard (PAX) is a stablecoin that allows users to exchange US dollars for Paxos Standard Tokens to 'transact at the speed of the internet'. It aims to meld the stability of the dollar with blockchain technology. 

Paxos

Paxos AdminUpgradeabilityProxy

Paxos PAXImplementationV2

This report has been prepared for Reserve to discover issues and vulnerabilities in the source code of their Ownable, ReserveEternalStorage, Reserve, Vault, Basket, Proposal and Manager smart contracts.

This report has been prepared as product of the Smart Contract Audit request by Reserve. This audit was conducted to discover issues and vulnerabilities in the source code of Reserve’s Smart Contracts.

The Reserve system interacts with three kinds of tokens: RSV, RSR and RSV to enable people and businesses in countries with high inflation to protect their money by moving it out of broken currencies into a stable crypto currency. 

Reserve

Reserve Reserve

Reserve ReserveRightsToken

This report has been prepared as a product of the Smart Contract Audit request by Sandbox. This audit was conducted to discover issues and vulnerabilities in the source code of Sandbox’s Catalyst & ERC Wrapper Contracts.

This report has been prepared as a product of the Smart Contract Audit request by The Sandbox. This audit was conducted to discover issues and vulnerabilities in the source code of The Sandbox’s Estate and updated LandSale (now called EstateSale) contracts

This report has been prepared for The Sandbox to discover issues and vulnerabilities in the source code of their LandBaseToken, Land and LandSaleWithETHAndDAI smart contract.

This report has been prepared for The Sandbox to discover issues and vulnerabilities in the source code of their Asset, AssetSignedAuction, BundleSandSale, CommonMinter, ProxyImplementation and TheSandbox712 smart contract.

The Sandbox claims to be a virtual world where players can build, own, and monetize their gaming experiences in the Ethereum blockchain using SAND, the platform’s utility token. 

Sandbox.game

Sandbox.game SANDRewardPool

Sandbox.game Sand

The project comprise of markets to which liquidity is supplied
in return of vTokens. The sub-functionalities include borrowing
underlying from markets by depositing collateral, liquidating
borrow positions by providing collateral and redeeming the
assets.

Swipe has designed and implemented Governance and Timelock smart contracts as the basis for the voting functionality in their SXP token staking system.

This report has been prepared as a product of the Smart Contract Audit request by Swipe. This audit was conducted to discover issues and vulnerabilities in the source code of Swipe’s

This report has been prepared as the product of the Smart Contract Audit request by Swipe. This audit was conducted to discover issues and vulnerabilities in the source code of Swipe’s Smart Contracts.

This report has been prepared as the product of the Smart Contract Audit request by Swipe. This audit was conducted to discover issues and vulnerabilities in the source code of Swipe’s Smart Contracts

Swipe is a platform that looks to form a bridge between the fiat and cryptocurrency worlds with its three main existing products: the Swipe multi-asset mobile wallet, the Swipe cryptocurrency-funded debit card and the Swipe Token (SXP).

Swipe

Swipe Token

This report has been prepared as a product of the Smart Contract Audit request by Tellor. This audit was conducted to discover issues and vulnerabilities in the source code of Tellor’s Smart Contracts.

This report has been prepared as the product of the Smart Contract Audit request by Tellor. This audit was conducted to discover issues and vulnerabilities in the source code of Tellor’s Smart Contracts.

Tellor is a decentralized oracle on Ethereum, where a network of Proof-of-Work (PoW) miners compete to fetch data and place it on-chain for smart contracts. Tellor's token, Tributes (TRB), provides crypto-economic incentives to secure this network.

Tellor

Tellor Tellor

Tellor TellorMaster

The Terra Protocol runs on a Tendermint Delegated Proof of Stake algorithm and Cosmos SDK. It is aimed at becoming a new worldwide financial infrastructure on which different DApps can be created. 

Terra

This audit report summarises the smart contract verification service requested by Tether. The goal of this security audit is to guarantee that the audited smart contracts are robust enough to avoid any potential security loopholes

Tether is a blockchain-based cryptocurrency whose cryptocoins in circulation are backed by an equivalent amount of traditional fiat currencies, like the dollar, the euro or the Japanese yen, which are held in a designated bank account.

Tether

Tether TetherToken

This report has been prepared for Thorchain to discover issues and vulnerabilities in the source code of their THORNode.

THORChain describes itself as a decentralized liquidity network that allows users to swap assets instantly at manipulation-resistant market prices. Swaps are done through permissionless cross-chain liquidity pools that allow users to stake their assets to earn trading fees.

Thorchain

This report has been prepared as product of the Smart Contract Audit request by ThunderCore. This audit was conducted to discover issues and vulnerabilities in the source code of ThunderCore’s Smart Contracts

ThunderCore is a public blockchain with a native cryptocurrency. It is EVM-compatible with throughput of 4,000+ TPS and low gas costs.

Thundercore

This report has been prepared as a product of the Audit request by VSYS.

This report has been prepared as the product of the Smart Contract Audit request by V Systems. This audit was conducted to discover issues and vulnerabilities in the source code of V Systems’s Smart Contracts. 

V SYSTEMS is a native blockchain database and decentralized app platform that aims to create a brand new digital economy era. V SYSTEMS’ mission is to create a future economy built upon millions of blockchains.

V.systems

This report has been prepared as the product of the Smart Contract Audit request by WaltonChain. This audit was conducted to discover issues and vulnerabilities in the source code of WaltonChain’s Smart Contracts.

Waltonchain (WTC) is building an ecosystem that melds blockchain, RFID technology, and IoT (Internet of Things). The Walton team develops and produces Transaction ID-reading RFID chips, which can generate their own random ID hashes that are uploaded simultaneously to the blockchain via their RFID reader.

Waltonchain

Waltonchain WaltonToken

This report has been prepared as a product of the Smart Contract Audit request by Alliance Block. This audit was conducted to discover issues and vulnerabilities in the source code of Alliance Smart Contracts.

AllianceBlock is a blockchain-agnostic layer 2 that bridges traditional and decentralized finance and automates the process of converting any digital or crypto asset into a bankable product. It leverages proprietary AI-technology to rate both corporates and investors.

AllianceBlock

AllianceBlock Token

The codebase contains the Aluna Token, the Aluna Rewards Pool, the Aluna Token Vesting and the Aluna Boost Pools smart contracts.

Aluna Social

This report has been prepared as a product of the Smart Contract Audit request by Animoca Brands. This audit was conducted to discover issues and vulnerabilities in the source code of Animoca Brands’ NFT Contracts.

Animoca Brands is a leader in the field of digital entertainment, specializing in blockchain, gamification, and artificial intelligence technologies to develop and publish a broad portfolio of products.

Animoca

Animoca TimeTrialEliteLeague

Animoca REVV

Animoca DeltaTimeStakingBeta

This report has been prepared as a product of the Smart Contract Audit request by Bakery Swap. This audit was conducted to discover issues and vulnerabilities in the source code of Bakery Swap’s Smart Contracts.

BakerySwap is a decentralized automated market-making (AMM) protocol on Binance Smart Chain(BSC). Users can earn BAKE tokens by providing liquidity on BakerySwap. BAKE holders can use their tokens for governance voting as well as for receiving transaction fee dividends.

BakerySwap

BakerySwap Router

BakerySwap BAKE

BakerySwap BakeryToken

This report has been prepared as a product of the Smart Contract Audit request by Benchmark Protocol.

Benchmark Protocol

BNSD Launch Pool implements a liquidity pool, which provides the standard
mechanisms of a liquidity pool, along with the addition for custom Airdrops
and Sales.

BNSFinance

The codebase this audit reviews contains the Boost token which is governance token that is used for the Boost treasury, the Boost token rewards, the Boost treasury, the Boost governance, the Boost controller, the Boost vault, the Boost vault rewards and the Boost strategy smart contracts.

NAME	AUDIT	SCORE	SHIELD POOL	ONBOARD DATE
Multiplier	+0	request Oracle	80,000/200,000 CTK	2020-12-01
Nexus Mutual	+-1	request Oracle	840/100,000 CTK	2020-12-14
CertiK	+0	100	452,659/500,000 CTK	2020-10-24
Aave	+0	90	request CertiKShield	2020-10-24
DYP.Finance	+-1	86	request CertiKShield	2020-12-10
Helmet	+-1	92	request CertiKShield	2021-01-11
Ampleforth	+0	94	request CertiKShield	2020-10-24
Bancor	+0	92	request CertiKShield	2020-10-24
Band Protocol	+0	95	request CertiKShield	2020-10-24
Binance WBNB Token	+1	98	request CertiKShield	2020-10-24
Bzx.Network	+0	93	request CertiKShield	2020-10-24
Emoney	+0	request Oracle	request CertiKShield	2020-10-24
Ethereum Yield	+0	request Oracle	request CertiKShield	2020-11-11
Fetch.ai	+3	90	request CertiKShield	2020-10-24
ForTube	+0	89	request CertiKShield	2020-10-24
GXChain	+0	request Oracle	request CertiKShield	2020-10-24
Icon.Foundation	+0	90	request CertiKShield	2020-10-24
Oceanprotocol	+2	92	request CertiKShield	2020-10-24
Ont	+0	request Oracle	request CertiKShield	2020-10-24
Paxos	+0	92	request CertiKShield	2020-10-24
Reserve	+1	89	request CertiKShield	2020-10-24
Sandbox.game	+3	88	request CertiKShield	2020-10-24
Swipe	+4	91	request CertiKShield	2020-10-24
Tellor	+1	92	request CertiKShield	2020-10-24
Terra	+0	request Oracle	request CertiKShield	2020-10-24
Tether	+0	86	request CertiKShield	2020-10-24
Thorchain	+0	request Oracle	request CertiKShield	2020-10-24
Thundercore	+0	request Oracle	request CertiKShield	2020-10-24
V.systems	+1	request Oracle	request CertiKShield	2020-10-24
Waltonchain	+0	85	request CertiKShield	2020-10-24

Provable Trust For All

Auditing

Security Oracle

Shield Pools

Featured Spotlights

Hard Protocol

Kava

PancakeSwap

Explore Top Performing Projects Secured by CertiK