其次，CertiK Chain 不只仅是一条安详的公链，他还可以作为整个区块链世界的安详基石。其他公链都可以依赖 CertiK Chain 和 CertiK 的处事提高安详性，对安详需求较高的合约 /DApp （好比去中心化生意业务所）可以通过跨链技能在 CertiK Chain 上执行，防备受到可疑合约的滋扰或进攻等。
许多人信仰区块链技能，将大量资产放在区块链世界，并高喊着“code is law”，我相信没有人想看到黑客可以操作裂痕，操纵代码，继而节制这些去中心化资产。
顾荣辉：CertiK 已经为高出 200 多位客户提供了安详处事，包罗智能合约项目，公链，不变币和生意业务所等。今朝为止，CertiK 的深度类型技能已经掩护了近 62 亿美金的去中心化资产，好比 BNB，TUSD, PAX 等，未呈现一次安详变乱。
1) DeepSEA 在语言层面淘汰合约裂痕的产生概率并可接入形式化验证处事；
顾荣辉：首先在软件系统验证规模，我们 2016 年颁发的 CertiKOS 在 2019 年的本日，依然是这个规模最先进的成就。我们可以提供军事级的安详处事，包罗基于 CertiKOS 的节点安详方案。
Rudy：
顾荣辉：在这种挑战下，可以领略为，假如代码有裂痕，那么最终必然会被黑客发明并操作。
顾荣辉：这个问题很好，我们曾专门写了一篇文章来作比拟。点击此处查察文章
我认为公链的安详性问题主要分为以下几点：
Rudy：哈哈哈，数据增长太迅猛了。
顾荣辉：为了从语言层面办理智能合约的安详问题，在邵中传授的教育下， CertiK 团队与耶鲁大学和哥伦比亚大学的科研团队配合开拓了 DeepSEA 语言，今朝已经得到了 IBM 区块链、以太坊基金会、量子链基金会的科研资金支持。
MOVE 的编译器今朝没有提到任何安详保障，DeepSEA 的编译器是完全验证过的，担保不会引入新的裂痕。
PoW 问题就是资源的挥霍与效率的低下。可是我仍然认为 PoW 是简捷和美妙的，这些问题是比特币共鸣必需的价钱，也是值得的价钱，究竟没有免费的午餐。可是 PoW 并不适合所有的去中心化应用，也并不适于所有的公链。
顾荣辉：再次感激各人！
顾荣辉：
PoS 机制可以领略为“必然量的币一票”，对比于 PoW 越发高效，更轻量级，更合用于新兴公链和对机能有较高需求的合约 /DApp。但 PoS 机制实现起来巨大度更大，依赖的东西链更长，在安详性上需要做出更长足的尽力
再次感谢顾荣辉传授 ，感激您本日能做客 InfPool 无限矿池「PoS 百家谈」，祝 CertiK Chain 成长顺利！感谢列位参加 InfPool 无限矿池”PoS 百家谈“，这是我们的第 2 期，我们下期再见！
Rudy：是的，那次硬分叉令人印象深刻
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
