Contracts for the Security Oracle, the Security Oracle Proxy and a DeFi utilizing the Security Oracle.

Unlocked Compiler Versions

struct Optimization

Uncommon Naming Convention

Use of memory Over storage

Potential High gas Operation

Check Against the Zero Address

Different Compiler Versions

Malicious Hash Collision

initialize Paradigm

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.

CertiK

CertiK Bep20Token

CertiK BSC SecurityOracle

The Shields available for purchase from this Pool enable reimbursements of irretrievably lost or stolen CTK through hacks or code malfunctions.

CertiK

Audit History

Smart Contract

Solidity

2020/10/12

2020/09/21

Skynet