Home/CertiK/
project-logo

CertiK

On Board Since: 10/24/2020
PLATFORM
certik
AUDITS
Audit

1

SHIELD

452,659.00 CTK

AGGREGATE SCORE

100 / 100

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
CertiK Shield Pool Overview
PURCHASABLE SHIELD

47,341.00 CTK

PURCHASED SHIELD

452,659.00 CTK

SHIELD HOLDERS

46

POOL RATIO

91%

Shield Size History
AddressPurchase AmountProtection End TimeClaim Period TimeHeightTransaction Hash

No Data

auditsCertiK has provided1 audit for the project.
Audit Report - certik-bsc-security-oracle
Static Analysis
Manual Review
TYPE

Smart Contract

LANGUAGE

Solidity

Contracts for the Security Oracle, the Security Oracle Proxy and a DeFi utilizing the Security Oracle.
Request Date: October 12, 2020
Revision Date: September 21 , 2020
Audit Badge
CertiK
Onboarded At: 2020/10/24
Scanned Contracts
auditsOperators have scanned2 oralce feeds for the project.
CertiK Foundation Logo
Copyright © 2021 by CertiK Foundation. All rights reserved.
Subscribe to NewsletterSubscribe to our newsletter updates for info on chain upgrades, bug bounties, and other news