研究人员开发以太坊智能合约扫描仪全网络覆盖寻找区块链漏洞

黎世联邦理工学院的研究人员开发了一个以太坊智能合约扫描仪,能够检查你的智能合约是否存在漏洞、bug、或是其他潜在问题。

苏黎世联邦理工学院的研究职员开辟了一以太坊能合约扫描仪,可以或许反省你智能合约否存在破绽、bug、或是其余潜伏成绩。这些研究职员包含Petar Tsankov博士,Hubert Ritzdorf博士,Martin Vechev传授和Arthur Gervais博士,他们都在体系平安方面领有丰硕的行业和学术履历,并且尽力改良区块链智能合约。近来,这几位研究职员建立了一家名为ChainSecurity的公司,旨在赞助开辟职员和初始代币刊行名目方推出他们的代币。

以太坊

Tsankov表现:

“为智能合约构建有用的平安扫描仪,最大的技术挑战便是要找到一种方法来探索区块链上接触到的一切行动,这个数量级是非常庞大的,甚至超过了宇宙中的原子数量。基本上,现有的智能合约平安反省器智能反省合约行动子集来防止这个成绩。然则,因为无奈涵盖区块链上的一切行动,是以这些反省法式可以或许会错过一些平安破绽,而咱们开辟的全新以太坊扫描仪,会考虑合约中的一切行动,继而解决之前的成绩。事实上,依据一项对于开源以太坊合约的研究注解,因为笼罩规模不敷,现有解决方案可以或许会遗漏多达三分之二的平安破绽。”

不外,有件工作彷佛使人觉得猎奇,那便是这个团队的创始人是谁?配景又是什么?

事实上,今朝了解到的环境是,该名目是自筹资金,并且ChainSecurity团队曾经明白表现,他们永久不会启动初始代币刊行(ICO),并且将在本周正式推出这款以太坊平安扫描仪产物。 

Tsankov还表现: 

“咱们的 Security体系天天收到上传的智能合约数量大约有100多份,好比贸易合约平台(好比Quantstmp)超过跨过50倍。可以说,咱们这个体系是今朝审计智能合约的首选,可供业余平安审计员应用。因为破绽和讹诈成绩笼罩规模愈来愈广,估计以太坊平安扫描仪的市场竞争力也将会变得愈来愈强。”

该团队的目的是完成智能合约平安审计自动化, 打造智能合约威逼检测和黄金尺度。

本文来自投稿,不代表【以太坊网-http://www.1585.com.cn】立场,如若转载,请注明出处:【当前页面链接】

区块链相关

区块链媒体相关

区块链技术相关

挖矿相关

比特币相关