认证 – 一个允许使用去中心化应用程序和区块链综合解决方案的生态系统。 10 月 24 日,CertiK 主网将启动,生态系统的所有主要组件都将集成到其中,但具有与其他区块链交互的能力。该项目的主要原因是为每个人提供经过验证的信贷基础设施。
CTK – 一种功能性实用代币,将用作 CertiK 平台上参与者之间的交换手段。从2020年10月23日起可用于 农场 和平台 币安 Lauchpool 12 至 16 天。支持的矿池:BNB、BUSD、CTK。
介绍 @certikorg $CTK 在 #币安 启动池!
通过发帖赚取CTK $BNB, $BUSD 和 $CTK!💥更多详情:https://t.co/E7ZClsAoY4 pic.twitter.com/Ji0dcwQ5ci
– BinanceRusso (@BinanceRusso) 2020 年 10 月 22 日
我们的编辑回顾了 CertiK 项目及其功能特性。
实时价格/货币报价
一般信息
| 指定 | 认证 |
|---|---|
| 钟 | CTK |
| 代币类型 | BEP-20,CertiK Chain 的原生代币徽标 |
| 区块链 | 币安智能链,充值CertiK Chain(2020年10月24日起) |
| 总排放量 | 100,000,000 CTK |
| 官方网站 | https://www.certik.foundation/ |
| 会计 | https://explorer.certik.foundation/ |
| 資料夾 | https://wallet.certik.foundation/ |
| 博客 | https://medium.com/certik-foundation |
| 白皮书 | https://www.certik.foundation/whitepaper |
| 叽叽喳喳 | https://twitter.com/certikorg |
| 交易所 | 币安 |
| Binance Launchpool 分发开始日期 | 23.10.2020 |
| Binance Launchpool 上的代币总数 | 1,500,000 CTK(占发行总量的1.50%) |
技术解决方案
CertiK 是一个基础架构,包括 DeepSEA 编程语言、CertiKOS 操作系统内核和 CertiKVM 虚拟机。借助这些工具,开发人员可以创建安全且透明的系统。事实上,CertiK 安全预言机具有很大的相关性——它是一个根据运营商提供的标准评估去中心化网络安全性的预言机;该过程评估源代码的可靠性,参与评估的人将获得 CertiK 链原生代币 CTK 的奖励。
CertiKOS操作系统
CertiKOS操作系统内核注重安全性、抵御黑客攻击和正确执行功能。为了验证程序的正确运行,操作系统包含正式的验证机制。
CertiKOS 支持并行性,这意味着您可以在多个 CPU 内核上同时处理多个线程。该架构是可扩展的——它可以用于各种应用程序,而不仅仅是区块链。
在编写软件代码时,开发人员还编写规范来准确指定程序的功能。然后它评估代码实现这些规范的情况。评分系统是根据具体情况编写的,并且仅应用一次,之后所有工作都可以使用已经测试过的规范来完成,而无需参考代码。
CertiK 虚拟机 (CVM)
CVM 为虚拟机代码提供智能合约和区块链安全信息,开辟了广泛的选择:
- 近似;
- 检查;
- 成瘾;
- 动态建立区块链和智能合约的安全性。
深海
DeepSEA 编程语言用于绘制智能合约图,同时可以处理最复杂的代码,并使用 Coq 证明工具对其进行验证。
该语言是一种优化的解决方案,有助于将智能合约和 Coq 结合起来,利用验证来解决任何复杂的问题。 DeepSEA 的四个关键原则是:等式推理(将每个组件转换为其相应的功能规范)、基于层的规范、将复杂问题构造为离散步骤的集成抽象细化以及验证第一层正确性的封装和构造。立刻。
CertiKShield
一种新工具,旨在作为去中心化解决方案,用于重建因任何区块链网络上的安全问题而丢失或被盗的加密货币资产。预言机实时评估安全性,之后去中心化网络的参与者可以提供抵押品、获得奖励并对有关保护区块链社区的提案进行投票。
CertiK (CTK) 的 DeepWallet
DeepWallet 可通过网络浏览器实现:
- 查看CertiK(CTK)代币的余额;
- 发送和接收令牌;
- 使用奖励委托系统。
与许多传统钱包不同,DeepWallet 具有额外的高级功能,允许用户委托持有的资产,就像部署自己的智能合约一样。
CTK 代币和在 Binance Launchpool 上接收
加密安全的 CertiK 平台实用代币 (CTK) 充当平台协议中指定功能的可转让短语。它在整个生态系统的运作中发挥着重要作用,并且是该项目唯一的实用代币。
CTK代币特点:
- 参与者之间安全的支付和结算方式。
- 为鼓励用户贡献和支持生态系统而保存的激励措施。
- 支付燃气费以激励去中心化节点社区提供资源来确认交易(质押)。
- 可用作矿池抵押品的实用代币。
总排放量 – 100,000,000 CTKLaunchpool 将从中分配 1 500 000 (1,5%)即:
- 1,050,000 CTK 无 BNB 池
- 225,000 CTK 汇集 BUSD
- 225,000 CTK 无矿池 CTK
农场开始日期为 10 月 23 日(CTK 矿池为 10 月 27 日)。结束日期 11 月 8 日。参与不需要帐户验证。
只需将资源存入建议的池之一,然后等待分配结束。例如,对于 币安币 最低池值 0.1 BNB:
优点和缺点
结论
目前,CertiK生态系统的一部分已经投入运营,合作伙伴关系和集成正在积极缔结。计划包括为抵押品提供者引入 CTK 代币奖励系统、举办大型黑客马拉松、与 CoinMarketCap 和其他聚合商合作。所有这些如果实施得当,都将有助于项目的发展。