币圈信息网 区块链动态 区块链智能合约:比其价值还大吗?_比特币基础知识

区块链智能合约:比其价值还大吗?_比特币基础知识

区块链智能合约:比其价值还大吗?我们都听说过智能合约技术的好处-一种不信任的工具,可以在交换金钱,资产或任何有价值的东西时引导中间人。就像区块链的最新流行语一样具有革命性意义,智能合约错误正在引起难以言喻的混乱。从数字上看,人们可能会将以太坊的3%智能合约失败率视为可容忍的损失,这是众所周知的下降。但是,当保障措施未能保护价值数十亿美元的货币时,可能会发生坏事。以ICON的201

区块链智能合约:比其价值还大吗?

  我们都听说过智能合约技术的好处-一种不信任的工具,可以在交换金钱,资产或任何有价值的东西时引导中间人。就像区块链的最新流行语一样具有革命性意义,智能合约错误正在引起难以言喻的混乱。

  从数字上看,人们可能会将以太坊的3%智能合约失败率视为可容忍的损失,这是众所周知的下降。但是,当保障措施未能保护价值数十亿美元的货币时,可能会发生坏事。以ICON的2018年6月错误为例,该错误允许除智能合约创建者之外的任何用户自由启用和禁用交易。固定一个价值超过800万美元的区块链的想法最令人担忧,但我们不要忘记与过去的失败相比,这种失误显得苍白无力。

  曾经有无数巨大的僵尸,但其中最有可能的国王可能是2016年的分布式自治组织(DAO)智能合约错误。看到360万以太币通过智能合约黑客被耗尽,DAO迫使以太坊的创始人采取激进的措施,并创建一个硬分叉-挽救损失的资金(当时流通的所有以太币的15%)的唯一可能性。

  1.智能合约可以固定吗?

  鉴于此类缺陷正在损害资金,敏感数据和各种描述的数字化资产,因此问问该技术是否仅仅是比其价值更大的麻烦就不会错。

  一个公平的问题,但事实是,智能合约错误并非不可修复。已经出现了许多解决该问题的项目,并且其中任何一个很可能是恢复对技术的信心所需的新鲜空气。

  2.解决方案

  与许多提供智能合约验证和审计的公司一起出现了Solidified和Security。这种由劳动力推动的工作目前在市场上占主导地位,每次审核要花费数千甚至数万美元。这些解决方案可能会因个案而异,但是很明显,将需要一个更具成本效益和时间效益的解决方案,以满足全球对区块链日益增长的需求。这样看来,分权可能是王国的钥匙。

  例如,Quantstamp(以2018年1月的市值计算价值将近十亿美元)已经为以Solidity(以太坊倡导的编程语言)编写的智能合约设计了一种安全审计协议。通过Quantstamp,客户可以通过对等提交的验证软件和漏洞发现者来审查其智能合约。虽然是一种有效的解决方案,但Quantstamp的过程仍然过于劳动密集型-必须检查源代码,并由人工手动编写规格。

  这些项目中有许多已经飞跃解决了智能合约危机,但是它们都面临着可扩展性的问题,更不用说它们无法解决困扰整个区块链生态系统的问题-我们不要忘记去中心化应用程序(DApps)和区块链代码是同样容易受到错误的攻击。

  提出工程解决方案的一家公司是CertiK-一种即将到来的验证平台,适用于区块链生态系统的所有组件,包括智能合约和DApp。如果竞争对手依靠手动验证和基于测试的经典方法,那么CertiK会指出这样的事实,即测试只能确定何时存在错误,而不能证明没有错误。取而代之的是,CertiK的平台将在数学上证明任何物品都没有错误和防黑客攻击。

  根据CertiK的说法,真正可扩展的验证的答案是基于层的系统。而不是测试(团队将其描述为依赖于人工的禁止性任务),CertiK使用模块化验证将任务分解为较小的任务,从而允许它们以分散的方式解决。这种工作方式会激励并奖励社区,以构建和验证证明,改进求解算法并维护有弹性的,具有成本效益的解决方案-所有这些都吸引了权力下放的倡导者。

  CertiK团队以前建立了世界上第一个抵抗黑客的操作系统,它融合了学术和公司验证经验-由耶鲁大学和哥伦比亚大学教授领导,并得到Facebook,Google和FreeWheel的软件工程师的支持。

  区块链本身可能是不信任的,不可变的和廉洁的,但是如果我们忽略它们中存在的错误,它们将像具有错误锁的数十亿美元的保险箱一样好。随着技术将全球推向新的经济模式,我们将仅对智能合约,DApp和支持其完整性的验证解决方案提出更多要求。

本文来自网络,不代表币圈信息网立场,转载请注明出处。

作者: bqxxw

联系我们

联系我们

微信号:904800

在线咨询: QQ交谈

邮箱: 微信号:904800

行情分析 专业指导 老师微信号:904800
关注微信
微信扫一扫关注我们

微信扫一扫关注我们

返回顶部