CertiK – an ecosystem that enables the use of comprehensive solutions for decentralized applications and blockchains. On October 24th, the CertiK mainnet will be launched and all the main components of the ecosystem will be integrated into it, but with the ability to interact with other blockchains. The main purpose of the project is to provide a proven credit infrastructure for everyone.
CTK – a functional utility token that will be used as a means of exchange between participants of the CertiK platform. Available from October 23, 2020 for farm and platform Binance Launchpool for 12 to 16 days. Supported pools: BNB, BUSD, CTK.
Introducing @certikorg $CTK on #Binance Launch pool!
Earn CTK by posting $BNB, $BUSD and $CTK! 💥More details:https://t.co/E7ZClsAoY4 pic.twitter.com/Ji0dcwQ5ci
– BinanceRusso (@BinanceRusso) October 22, 2020
Our editors reviewed the CertiK project and its functional features.
Real-time currency price/quote
general information
| Designation | CertiK |
|---|---|
| Clock | CTK |
| Token Type | BEP-20, CertiK Chain’s native token logo |
| Blockchain | Binance Smart Chain, since CertiK Chain (as of 2020-10-24) |
| Total emissions | 100,000,000 CTK |
| Official website | https://www.certik.foundation/ |
| Accountant | https://explorer.certik.foundation/ |
| Portfolio | https://wallet.certik.foundation/ |
| Blog | https://medium.com/certik-foundation |
| White paper | https://www.certik.foundation/whitepaper |
| https://twitter.com/certikorg | |
| Exchanges | Binance |
| Binance Launchpool Distribution Start Date | 23.10.2020 |
| Total number of tokens on Binance Launchpool | 1,500,000 CTK (1.50% of the total issue) |
Technological solutions
CertiK is an infrastructure that includes the DeepSEA programming language, the CertiKOS operating system kernel, and the CertiKVM virtual machine. With these tools, developers can create secure and transparent systems. Of particular relevance is the CertiK Security Oracle – an oracle that evaluates the security of a decentralized network based on criteria provided by the operators; the process evaluates the reliability of the source code, and those who participate in the evaluation are rewarded in CTK, the native token of the CertiK chain.
CertiKOS OS
The CertiKOS operating system kernel is focused on security, resistance to hacker attacks and correct execution of functions. To verify the correct functioning of programs, the OS includes formal verification mechanisms.
CertiKOS supports parallelism, which means you can work simultaneously with multiple threads on multiple CPU cores. The architecture is extensible – it can be used for a variety of applications, not just blockchain.
When writing software code, developers also write specifications that specify exactly what the program does. They then evaluate how well the code implements these specifications. The scoring system is written on a case-by-case basis and applied only once, after which all work can be done using the already tested specifications without having to refer to the code.
CertiK Virtual Machine (CVM)
The CVM provides smart contracts and blockchain security information to the virtual machine code, opening up a wide range of options:
- approximation;
- Checks;
- vices;
- dynamically establishing the security of blockchain and smart contracts.
DeepSEA
The DeepSEA programming language is used to write smart contracts, while making it possible to process even the most complex code and verify it using the Coq proofing tool.
The language is an optimized solution that helps combine smart contracts and Coq to apply verification to problems of any complexity. The four key principles of DeepSEA are: equational reasoning (translating each component into its corresponding functional specification), layer-based specification, integrated abstract refinement to structure complex problems into discrete steps, and encapsulation and constitution to verify the correctness of layers one at a time.
CertiKShield
A new tool designed as a decentralized solution for reinstating lost or stolen crypto assets as a result of security issues on any blockchain network. Oracles assess security in real-time, after which participants in the decentralized network can provide collateral, receive rewards, and vote on proposals regarding the protection of blockchain communities.
DeepWallet for CertiK (CTK)
Accessible through a web browser, DeepWallet allows you to:
- view the balance of CertiK (CTK) tokens;
- send and receive tokens;
- use a reward delegation system.
Unlike many traditional wallets, DeepWallet has additional advanced features that allow users to delegate holdings, much like deploying their own smart contracts.
CTK Token and Receiving on Binance Launchpool
The cryptographically secure CertiK (CTK) platform utility token acts as a transferable token for the functions specified in the platform protocol. It plays an important role in the functioning of the entire ecosystem and is the project’s only utility token.
CTK Token Features:
- A secure method of payment and settlement between participants.
- An incentive saved to encourage users to contribute and support the ecosystem.
- Payment of gas fees to incentivize the decentralized community of nodes to provide resources to confirm a transaction (staking).
- A utility token that can be used as collateral for pools.
Total emissions – 100,000,000 CTKof which Launchpool will be distributed 1 500 000 (1,5%)namely:
- 1,050,000 CTK no pool of BNB
- 225,000 CTK is pooled BUSD
- 225,000 CTK no pool CTK
Farm start date is October 23rd (for CTK pool, October 27th). End date November 8th. Account verification is not required to participate.
Simply deposit funds into one of the proposed pools and wait for the distribution to finish. For example, to BNB minimum pool value 0.1 BNB:
Advantages and disadvantages
Conclusion
At the moment, the CertiK ecosystem segment is already operational, partnerships and integrations are being actively concluded. Plans include introducing a CTK token reward system for collateral providers, holding large-scale hackathons, partnering with CoinMarketCap and other aggregators. All this, if properly implemented, will contribute to the development of the project.