CertiK has one Mission;
To deliver provable trust across all facets of blockchain.
Decentralized reimbursement mutual system for digital assets
Real-time and on-chain security insights for Smart Contracts
Security-oriented blockchain that enables provable trust for all
Multi-dimensional tech suites on security scanning and analysis
A programming language to write verifiable and secure Smart Contracts
The world’s first fully certified hacker-resistant, multi-core OS kernel
The Security Oracle retrieved a low security score, and the security check saved the user from losing their assets in this dangerous transaction.
The Security Oracle continuously aggregates the security assessments of a smart contract into the on-chain score—projects can get their code audited in an agile fashion to meet their aggressive timelines. By using a decentralized group of security operators, the suite of security primitives is constantly growing. New static analyzers and security tools can be created, and their assessments would also get incorporated into the ever-updating Security Oracle score.
The Security Oracle will build upon the security auditing work of CertiK, which has secured over $8B worth of digital assets across all sectors of blockchain, including the booming DeFi sector. Leading exchanges worldwide, including Binance, Huobi, OKEx, CoinOne, and Kucoin, have chosen to partner with CertiK’s expertise to audit blockchain projects, so these Security Oracle scores will be important proxies to the reliability of smart contracts.Security bugs never sleep, so neither does the Security Oracle.
Business Chain: The targeted blockchain platform (that can support smart contract functionality) where CertiK Chain provides the Security Oracle to, i.e., Ethereum.
CertiK Chain: The underlying blockchain to our solution which offers built-in components to facilitate the handling of security inquiries from Business Chains. CertiK Chain itself is envisioned as the Guardian of the Blockchain Galaxy, and it provides a range of Combinators that are tailored to solve different perspectives of security problems.
Cross-Chain: Communications and interactions are essential to the success of the Security Oracle network. Official authorized cross-chain components will be built and maintained by the CertiK Security Council, of which the members would be nominated by the broader CertiK community.
The mission of the Security Oracle is to give DeFi projects the insight (security score) on whether a potential transaction call is secure or not, thus gaining the confidence on the decision of issuing such a transaction. Here we describe the steps for the workflow via the perspectives of a targeted Business Chain and CertiK Chain.
Business Chain (i.e. Ethereum)
The estimated amount of cryptocurrency which has been stolen by malicious actors from 2018–2020 has reached a grand total of $7.1B. Due to the pseudo-anonymous, immutable nature of blockchains and the crypto assets which power them, the vast majority of users who lose their funds — whether from a hack or misplaced private key — never retrieve their assets.
CertiKShield fixes this.
A CertiKShield Pool is a decentralized pool of CTK that is used to reimburse lost, stolen, or inaccessible assets from any blockchain. The amount that’s lost can be reimbursed by the members of the CertiKShield Pool.
So, how does it work?
There are two parts of the CertiKShield system: 1) members who fill the pool with CTK as collateral to be used to reimburse approved Claim Proposals, and 2) members who seek to protect their crypto assets by reserving a part of the CertiKShield Pool.
Whitelist Primitive | Dynamic
Blacklist Primitive | Dynamic
Quality Primitive | Dynamic
Bytecode Analysis Primitive | Static
Source-Code Analysis Primitive | Static