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

2018-07-03 08:44:02
苏黎世联邦理工学院的研究人员开发了一个以太坊智能合约扫描仪,能够检查你的智能合约是否存在漏洞、bug、或是其他潜在问题。这些研究人员包括Petar Tsankov博士,Hubert Ritzdorf博士,Martin Vechev教授和Arthur Gervais博士,他们都在系统安全方面拥有丰富的行业和学术经验,并且努力改进区块链智能合约。最近,这几位研究人员成立了一家名为ChainSecurity的公司,旨在帮助开发人员和初始代币发行项目方推出他们的代币。

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

Tsankov表示:

“为智能合约构建有效的安全扫描仪,最大的技术挑战就是要找到一种方法来探索区块链上接触到的所有行为,这个数量级是非常庞大的,甚至超过了宇宙中的原子数量。基本上,现有的智能合约安全检查器智能检查合约行为子集来避免这个问题。但是,由于无法涵盖区块链上的所有行为,因此这些检查程序可能会错过一些安全漏洞,而我们开发的全新以太坊扫描仪,会考虑合约中的所有行为,继而解决之前的问题。事实上,根据一项关于开源以太坊合约的研究表明,由于覆盖范围不足,现有解决方案可能会漏掉多达三分之二的安全漏洞。”

不过,有件事情似乎令人感到好奇,那就是这个团队的创始人是谁?背景又是什么?

事实上,目前了解到的情况是,该项目是自筹资金,而且ChainSecurity团队已经明确表示,他们永远不会启动初始代币发行(ICO),并且将在本周正式推出这款以太坊安全扫描仪产品。

Tsankov还表示:

“我们的 Security系统每天收到上传的智能合约数量大约有100多份,比如商业合约平台(比如Quantstmp)高出50倍。可以说,我们这个系统是目前审计智能合约的首选,可供专业安全审计员使用。由于漏洞和欺诈问题覆盖范围越来越广,预计以太坊安全扫描仪的市场竞争力也将会变得越来越强。”

该团队的目标是实现智能合约安全审计自动化, 打造智能合约威胁检测和黄金标准。(金色财经)

(原标题:苏黎世联邦理工学院开发以太坊智能合约扫描仪 全网络覆盖寻找区块链漏洞)

OKEX下载欧易下载OKX下载

okex交易平台app下载

下五篇