Home/CertiK/
project-logo

CertiK

On Board Since: 10/24/2020
skynet
Active
security score
94
audits
Audit
1
shield
69,729.50 CTK
market cap
$73,737,030
24H
19.04%
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

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
+3
LanguageSpecific
+3
0 Resolvedcheck-icon
Skynet

Skynet

24/7 running security intelligence engine
CertiK Foundation Logo
Copyright © 2021 by CertiK. All rights reserved.
Directory
Subscribe to NewsletterSubscribe to our newsletter updates for info on chain upgrades, bug bounties, and other news