http://www.7klian.com

苏黎世联邦理工学院开拓以太坊智能合约扫描仪

  Tsankov还暗示:“我们的 Security系统天天收到上传的智能合约数量约莫有100多份,好比贸易合约平台(好比Quantstmp)跨越50倍。可以说,我们这个系统是今朝审计智能合约的首选,可供专业安详审计员利用。由于裂痕和欺诈问题包围范畴越来越广,,估量以太坊安详扫描仪的市场竞争力也将会变得越来越强。”


  事实上,今朝相识到的环境是,该项目是自筹资金,并且ChainSecurity团队已经明晰暗示,他们永远不会启动初始代币刊行(ICO),而且将在本周正式推出这款以太坊安详扫描仪产物。


  该团队的方针是实现智能合约安详审计自动化, 打造智能合约威胁检测和黄金尺度。https://www.bibaodao.com/blockchain/


  不外,有件工作好像令人感想好奇,那就是这个团队的首创人是谁?配景又是什么?



  苏黎世联邦理工学院的研究人员开拓了一个以太坊智能合约扫描仪,可以或许查抄你的智能合约是否存在裂痕、bug、或是其他潜在问题。这些研究人员包罗Petar Tsankov博士,Hubert Ritzdorf博士,Martin Vechev传授和Arthur Gervais博士,他们都在系统安详方面拥有富厚的行业和学术履历,而且尽力改造区块链智能合约。最近,这几位研究人员创立了一家名为ChainSecurity的公司,旨在辅佐开拓人员和初始代币刊行项目方推出他们的代币。



  Tsankov暗示:“为智能合约构建有效的安详扫描仪,最大的技能挑战就是要找到一种要领来摸索上打仗到的所有行为,这个数量级长短常复杂的,甚至高出了宇宙中的原子数量。根基上,现有的智能合约安详查抄器智能查抄合约行为子集来制止这个问题。可是,由于无法涵盖区块链上的所有行为,因此这些查抄措施大概会错过一些安详裂痕,而我们开拓的全新以太坊扫描仪,会思量合约中的所有行为,继而办理之前的问题。事实上,按照一项关于开源以太坊合约的研究表白,由于包围范畴不敷,现有办理方案大概会遗漏多达三分之二的安详裂痕。”


郑重声明:本文版权归原作者所有,转载文章仅为传播更多信息之目的,如作者信息标记有误,请第一时间联系我们修改或删除,多谢。

说点什么吧
  • 全部评论(0
    还没有评论,快来抢沙发吧!

相关文章阅读