币安支持的安全审计公司推出数学安全的区块链

快速拍摄

  • CertiK基金是Binance和TrustToken等公司的安全审计公司,旨在设计一个数学上证明安全的公共区块链
  • 面对来自Binance,Huobi等公共区块链项目的激烈竞争,CertiK基金会旨在将其区块链与其他连锁店整合,并为其提供安全功能

在构建和运行区块链时,许多事情都可能出错,当他们这样做时,可能会损失数百万美元。

这是哥伦比亚大学顾荣辉教授在他的公司CertiK基金会对稳定币进行安全审计以及区块链重量级人物(包括Binance,TrustToken和Bifinex)的基本智能合约后得出的结论。现在顾的公司正在推出自己的区块链的测试网,成为“所有其他区块链的安全基础设施,”他告诉The Block。

在币安Labs,Bitmain,Lightspeed Venture Partners和其他公司的支持下,CertiK基金会已经开展了一项成功的安全审计业务,该业务早于其区块链项目。然而,顾说,从一开始就是建立一个独立的,完全安全的区块链。

Gu解释说,在安全审核期间,CertiK基金可以确保区块链的某些部分正常运行,但不能保证区块链架构的每一部分都是安全的。相比之下,CertiK连锁店希望从头开始开发一种区块链,这种区块链在数学上被证明是绝对可靠的,这一过程称为形式验证。

“这个软件还有很多方面……任何这些层中的任何一个错误都可能危及整个系统。这就是为什么我们觉得虽然CertiK公司提供的服务非常有用,但它仍然无法从根本上解决问题。 CertiK Chain是更基础和更好的解决方案,“顾说。

CertiK Chain的核心是DeepSEA语言,它诞生于哥伦比亚大学和耶鲁大学的研究实验室。该计划旨在满足CertiK Chain的安全需求,允许开发人员 – 即使是那些不太熟悉形式验证的人 – 编写正式验证的智能合约。

可以肯定的是,有许多公共区块链项目,有些像CertiK一样,也有学术上的旋转。例如,Gu的长期朋友,多伦多大学的计算机科学教授Fan Long正在领导一个名为Conflux的公共区块链项目,该项目已从红杉中国,Metastable等公司筹集了3500多万美元。加密货币交易巨头Binance和Huobi Global也在测试他们自己的公共区块链。

面对激烈的竞争,CertiK Chain认为其安全功能和与现有区块链集成的能力将有助于公司脱颖而出。

“只要有一些dApp具有很高的安全性要求,即使它们在其他区块链上运行,它们仍然可以使用我们的交叉链技术部署CertiK Chain提供的安全功能,”Gu说。

该公司在实现其愿景方面也处于财务上的强势地位。除了去年获得的风险投资外,该公司还进行了一次私人代币销售,筹集了未公开的金额。此外,其安全审计业务已经盈利,这是整个创业公司中罕见的一个场景,特别是对于其区块链项目的testnet阶段的公司而言。

“这些服务(安全审计)非常有价值,并且CertiK Chain能够从头开始大规模地向程序员提供这种能力,”CertiK基金会营销负责人Lev Novak表示。

资讯来源:由0x资讯编译自THEBLOCKCRYPTO。版权归作者所有,未经许可,不得转载
提示:投资有风险,入市需谨慎,本资讯不作为投资理财建议。请理性投资,切实提高风险防范意识;如有发现的违法犯罪线索,可积极向有关部门举报反映。
你可能还喜欢