CertiK
On Board Since: 10/24/2020
SKYNET
Active
AUDITS
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.
Fundamental protection and assessment
CertiK 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
100% UNRESOLVED
0
Critical Risk issue
0 Resolved
0
Medium Risk issue
0 Resolved
1
Minor Risk issue
LanguageSpecific
LanguageSpecific
0 Resolved
10
Info Risk issues
LanguageSpecific
+2
LanguageSpecific
+2
0 Resolved
Decentralized on-chain alternative to asset insurance
24/7 running security intelligence engine
Real-time on-chain security insight network
Operators are producing2 oracle feeds for the project.
Copyright © 2021 by CertiK. All rights reserved.
