Home/CertiK/
project-logo

CertiK

On Board Since: 10/24/2020
SKYNET
Active
AUDITS
Audit

1

SHIELD

71,694.50 CTK

SECURITY SCORE

94 / 100

MARKET CAP

$58,886,154

7.30%
PROJECT INTRODUCTION
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.
website
twitter
telegram
github
Audit History
Fundamental protection and assessment
auditsCertiK has provided1 audit for the project.
Audit Report - certik-bsc-security-oracle
Static Analysis
Manual Review
TYPE

Smart Contract

LANGUAGE

Solidity

REQUEST DATE

2020/10/12

REVISION DATE

2020/09/21

Audit Badge
11Total Issues100% UNRESOLVED
0
Critical Risk issue
0 Resolvedcheck-icon
0
Medium Risk issue
0 Resolvedcheck-icon
1
Minor Risk issue
LanguageSpecific
LanguageSpecific
0 Resolvedcheck-icon
10
Info Risk issues
LanguageSpecific
+2
LanguageSpecific
+2
0 Resolvedcheck-icon
CertiKShield
Decentralized on-chain alternative to asset insurance
CertiK Shield Pool Overview
PURCHASABLE SHIELD

428,305.50 CTK

PURCHASED SHIELD

71,694.50 CTK

SHIELD HOLDERS

55

POOL RATIO

14%

Shield Size History
Skynet
24/7 running security intelligence engine
Security Oracle
Real-time on-chain security insight network
auditsOperators are producing2 oracle feeds for the project.
CertiK Foundation Logo
Copyright © 2021 by CertiK. All rights reserved.
Subscribe to NewsletterSubscribe to our newsletter updates for info on chain upgrades, bug bounties, and other news