project-logo

CertiK

Rank #5
On Boarded: 10/24/2020
security score
91
/100
3.19%
91
skynet
Active
audits
Audit
1
shield
100.00 CTK
market cap
$119,518,571
5.72%
CTK Price
$3.24
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
Disclaimer:CertiK conducts security assessments on the provided source code exclusively. Conduct your own due diligence before deciding to use any info listed at this page.
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
13Total Issues85% RESOLVED
0
Critical Safety issues
0 Resolvedcheck-icon
2
Major Safety issues
LanguageSpecific
LanguageSpecific
2 Resolvedcheck-icon
0
Medium Safety issues
0 Resolvedcheck-icon
1
Minor Safety issue
LanguageSpecific
LanguageSpecific
1 Resolvedcheck-icon
10
Info Safety issues
LanguageSpecific
+3
LanguageSpecific
+3
8 Resolvedcheck-icon
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