BDollar

LeverageX

Chainpartners

Monster Slayer Finance

Mimoprotocol

Flarefinance

Liquid

Aidapps

Evai

Yeld Finance

Tixl

Inverse

Elevate Defi

Polymesh

Berry Data

Sharedstake

Nfthero

Cafeswap

DAIQ

Galaxy

Cakelock

Shadows

Mdextech

Crudeoil Finance

Bitgrit

Xtoken Market

Woonkly

PAID Network

Sparkpoint

Ethalend

2local

Unido

Bitgo

Quiverx

Duck Starter

Ruler

Marginswap

Emergent

Frenchico

Autofarm

Beefyfinance

ApeSwap Finance

YZYDAO

QIAN

Bscex

Bondly Finance

Xwin Finance

Baconlabs

Keytango

Dao Maker

Phoswap

Paraswap

Bbr Finance

Panda Yield

Ramen Swap

Absorber

Rookit Finance

Sienna

Mint

Kimochi Finance 

Overline

Crow Finance

Unstoppable.money

StakeWise

Defi100

Nsure Network

Flux

ZKSwap

Goldfinch

Base Protocol (BASE) is a token whose price is pegged to the total market cap of all cryptocurrencies at a ratio of 1 : 1 trillion. BASE allows traders to speculate on the entire crypto industry with one token

Incorrect Naming Convention Utilization

State variables that could be declared constant

Proper Usage of “public” and “external” type

Missing Emit Events

Missing Checks

Missing Condition Checks

Deposit and Withdraw Restrictions

Logic issue in withdrawLPTokens()

Code Redundancy and Inefficiency

The crypto industry index - Base Protocol ($BASE) is a crypto asset pegged to the total market cap of all cryptocurrencies.

Base Protocol

Base Protocol Token

The Shields available for purchase from this Pool enable reimbursements of irretrievably lost or stolen BASE Token from hacks or code malfunctions. Addresses: https://etherscan.io/address/0xc86a4279d77dd4788c13a3d72e0e902eb865b1d6, https://etherscan.io/address/0x730fAaCc6D6f46F9472C394aD9150a983D493eA8, https://etherscan.io/address/0x57fd4cfc41412fca43e06b39ed0fc3d13bc2d144, https://etherscan.io/address/0xe254e18c5ab8d86a40cc3bf6c4ef76dd0e2e43a5.

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.

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

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

Unlocked Compiler Versions

struct Optimization

Uncommon Naming Convention

Use of memory Over storage

Potential High gas Operation

Check Against the Zero Address

Different Compiler Versions

Malicious Hash Collision

initialize Paradigm

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

CafeSwap, ☕ an amazing yield farm on Binance Smart Chain. ☕

CafeSwap

CafeSwap Token

CafeSwap MasterChef

CafeSwap Timelock

Smart contracts of the atomix_contracts repository.

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

Content abstraction in progress. Come back later to see the highlights of the security assessment.

Decentralized Leverage Trading on ETH/USD

Missing Some Important Checks

Simplifying Existing Code

Missing return value check for safeTransfer

Transfer balance less than _amount

Calls inside a loop

Comparison to Boolean Constants

Code Redundancy

State Variable never Initialized before Usage

Missing Check for Parameter _leverage

Checks-effects-pattern Not Used

Gains.Farm

Gains.Farm Token

Gains.Farm Farm

Gains.Farm NFT

Gains.Farm Trading

Kebab Finance, the strategically superior yield farming community on BSC.


Kebab

Kebab Token

Kebab MasterChef

Kebab SmartChef

Kebab Timelock

Wault Finance, connecting all the DeFi features into a Wault ecosystem

Wault Finance

Wault Token

Wault Liquidity Mining

Wault Staking

An upgrade to the Mooniswap v2 implementation introducing governance, a new slippage fee model and a new mechanism for the referral fee distribution.

User-Defined Getters

SafeMath Redundancy

Incorrect Stake Notification Implementation

Misleading Error Message

Inexistent Access Control

Babylonian Method Optimization

Incorrect len Boundry Check

Assembly-based Optimization

Redundant Function Implementation

Potential Code Redundancy

Redundant Nesting

Variable Typos

require to modifier

Incorrect to Conditional

Redundant isDefault Invocation

Event Indexing

Disproportionate Initial Minting

Incorrect Transfer Evaluation

Midway Condition Evaluation

Loop Optimization

Function Visibility Optimization

Incorrect Implementation / Naming Convention

require Consistency

Inexistent Input Sanitization

Documentation Consistency

Redundant Use of Dynamic Arrays

Unfair Proportionate Calculation

Prohibition of Ether Transfers

Inexistent Input Sanitization of Mooniswap Addresses

Whitelist Evaluation

The audit is based on a subset of the 1nch exchange core contracts.

Unlocked Solidity compiler versions

Non-optimal flags storage type

Non-optimal extra ETH comparison logic

Usage of if-revert pattern over require

Redundant function calls in swap implementation

Empty reason for non-Chi tokens on out-of-gas exception

Pausable contract not externally unpausable

DEX aggregator with the best prices on the market. Uniswap Exchange, Kyber Network, Balancer, Bancor, 0x protocol, curve.fi.

1inch

NAME	AUDIT	SCORE	CERTIKSHIELD	MARKET CAP / 24H	ONBOARD DATE
Kava	+3	N/A	66,136/200,000 CTK	$206,737,969 11.1%	2020/03/10
CertiK	+0	94	71,695/500,000 CTK	$60,967,705 14.1%	2020/10/24
Aave	+0	89	Request CertiKShield	$4,712,753,480 13.8%	2020/07/22
CafeSwap	+-1	90	Request CertiKShield	Not Available 0.00%	2021/02/23
Fetch.ai	+4	93	Request CertiKShield	$167,242,204 14.0%	2019/09/13
Gains.Farm	+1	89	Request CertiKShield	$3,754,296 26.6%	2021/01/21
Kebab	+-1	86	Request CertiKShield	$13,632,711 13.7%	2021/02/08
Wault Finance	+-1	90	Request CertiKShield	Not Available 0.00%	2021/02/17
1inch	+1	N/A	Request CertiKShield	$354,453,462 5.38%	2021/02/10
Ampleforth	+0	92	Request CertiKShield	$400,348,178 1.82%	2020/05/06
Bancor	+1	92	Request CertiKShield	$809,852,889 11.0%	2020/07/15
Band Protocol	+0	92	Request CertiKShield	$310,568,036 9.51%	2019/08/07
Binance WBNB Token	+1	94	Request CertiKShield	$963,971,399 18.2%	2018/11/11
Bzx.Network	+0	89	Request CertiKShield	$62,602,429 3.12%	2020/03/15
DYP.Finance	+0	89	Request CertiKShield	$11,753,739 3.19%	2021/01/20
Emoney	+0	N/A	Request CertiKShield	Not Available 0.00%	2020/04/16
Ethereum Yield	+0	N/A	Request CertiKShield	$930,125 2.97%	2020/11/10
ForTube	+0	90	Request CertiKShield	$23,527,866 20.3%	2020/08/01
GXChain	+0	N/A	Request CertiKShield	$37,863,935 7.73%	2020/09/04
Icon.Foundation	+0	88	Request CertiKShield	$995,668,137 21.9%	2020/06/16
Multiplier	+1	N/A	80,000/200,000 CTK	$100,811,189 19.1%	2020/09/01
Nexus Mutual	+-1	N/A	755/100,000 CTK	$385,537,279 8.41%	2020/12/14
Oceanprotocol	+2	93	Request CertiKShield	$397,929,987 7.65%	2020/04/08
Ont	+0	N/A	Request CertiKShield	$821,596,326 6.91%	2019/05/14
Paxos	+0	89	Request CertiKShield	$835,067,905 3.26%	2019/07/14
Reserve	+1	89	Request CertiKShield	$1,575,355 0.37%	2019/05/21
Sandbox.game	+3	92	Request CertiKShield	$162,872,432 12.9%	2019/12/10
Swipe	+4	89	Request CertiKShield	$205,757,909 10.9%	2019/08/25
Tellor	+1	90	Request CertiKShield	$60,796,714 16.9%	2019/08/06
Terra	+0	N/A	Request CertiKShield	$2,928,299,772 7.93%	2020/09/01

Security Leaderboard

Provable Trust For All

Auditing

Security Oracle

Shield Pools

Featured Spotlights

Base Protocol

PancakeSwap

Hard Protocol

Explore Top Performing Projects Secured by CertiK