CertiK平台旨在为建立完全可信的智能联系人和区块链生态系统开发一个正式的验证框架。

0.0
Score Coming Soon
0.0
0.0
0.0
0.0
  • TIME

2018-09-01 - 2018-09-01

  • Token CTK
  • Platform ERC20
  • Total Tokens 100,000,000
No information

区块链技术提供全球统一的分布式账本,不依赖集中的可信授权机构。诸如工作证明(POW)或权利证明(POS)等共识机制设置了理论上无法承担的计算成本以防止虚假交易。因此,分布式账本似乎是“可信赖的”,因此,智能合约和各种去中心化应用程序(dApps)可以存储在分布式账本中,形成区块链生态系统的一部分,其源代码完全“透明”。

然而,区块链生态系统并不是真正可靠的。由于它们的透明规则和进行成功攻击的潜在好处,这些生态系统对攻击高度敏感,并且比以前预期的要脆弱得多。

CertiK平台旨在为建立完全可信的智能联系人和区块链生态系统开发一个正式的验证框架。CertiK计划通过使用错误检测方法的替代方法来区分自己,CertiK平台从数学上证明区块链生态系统是无缺陷的。项目背后的基础已经开发出模块化验证技术,将强大的验证任务分解为更小的验证任务,随后可以以更分散的方式自动解决。各种证明对象可以构建并编码到CertiK平台的交易中,然后由其他参与者验证。因此,CertiK平台的区块链旨在用作证书,展现智能合约,dApp库的端到端真实性和安全性。

Give A Mark

Product:
  • 1
  • 2
  • 3
  • 4
  • 5
Token:
  • 1
  • 2
  • 3
  • 4
  • 5
Team:
  • 1
  • 2
  • 3
  • 4
  • 5
Market:
  • 1
  • 2
  • 3
  • 4
  • 5