Bianews独家报道 区块链技术是最安全、去中心化和透明的数据存储形式,这是众所周知的事实。
然而,以太坊智能合约区块链的失败率为0.36%也是事实。尽管这个智能合约失败率看起来微不足道,但这就有可能让一个公司在一眨眼之间损失数十亿美元。
富士通团队充分的认识到了智能合约的局限性,并且已经宣布要创立一个完美的解决方案。
零风险智能合约
总部在日本的科技巨头富士通实验室和富士通研发中心,宣布成功创造了自动智能合同风险检测技术。
该团队开发了一种算法,可快速发现以太坊智能合同中受风险影响的交易序列。
据富士通称,这个新系统可以全面识别智能合约中的六种风险,这些风险在人工审查中很容易被忽略。该解决方案无缝识别在源代码上的风险。
富士通表示,他们的风险检测技术将帮助开发人员创立一个更为安全的智能合约:“区块链提供一个名为智能合约的功能,其中合约可以在系统中自动形成,使用这个系统可以对合约进行自动检查和执行。由于智能合约被复制到多个地点并以分布式的方式执行,因此一旦合同开始执行,它就不会轻易停止,即使在智能合约中发现风险也不能修改。”
富士通指出并补充说:“事实上,曾经发生过一个事故,由于在区块链上,为了创建自动投资信任应用程序的一个智能合约存在缺陷,大量资金被错误地转移。”
一个革命性的解决方案
据富士通团队称,这种新算法可以完全识别源代码中隐藏的缺陷,这种缺陷可能会使应用程序容易受到未授权人员的操纵和攻击。用富士通的话来说,这项技术可以:“确定源代码中的缺陷可能会导致风险,即某些人会通过在各种情况下使用符号执行来执行虚拟交易,而滥用以太坊的语言规范来冒充一个交易呼叫的发出地。”
该团队还解释说,该解决方案有能力准确识别和调试带有风险源代码的确切部分。
富士通自夸其新的风险验证工具拥有100%的检测率和88%的准确率,这是先前系统所从未实现过的壮举。
富士通宣称,“在此之前,验证工具的检测率大约为67%,而这项新技术能够达到100%的检测率(少数几个项目外),在精度方面它实现了高达88%的准确率,能够实现高度精确的风险检测以及源代码风险位置识别”。
富士通坚信其最新的解决方案将帮助开发人员创立更为可靠的智能合约,并将有助于各行各业对于区块链技术的有效应用。
富士通还暗示,它将继续为Hyperledger Fabric以及其他基于区块链的框架开发有创新性的验证技术。
该团队还专注于创立可以促进100%安全的区块链开发解决方案。
如果富士通的智能合约验证技术能够成功消除智能合约0.36%的失败率,那么我们可以说富士通确实解决了一个大问题。(Bianews 编译)