1、SkyEye。这是一个比较知名的开源虚拟机项目,如果大家在网上用Google和百度搜索这个项目,可以看到用户还是比较多的,包括国内或者国外。
2、Androids2e。这个项目主要做的是符号执行,它可以检测安全漏洞。
大概在去年的时候,以太坊的智能合约被爆出大概有几千个漏洞。其实就是用符号执行的方法,把智能合约的好多漏洞都扫描出来了。而我做的这个项目是可以对Android的整个操作系统做符号分析,并且这个项目在华为内部得到使用。
所以,我对操作系统或者说编译器方面是蛮有经验的。我想先从系统软件从业者的角度,分享一些对EOS的看法。
EOS和以太坊很像,EOS很明确的说明它就是一个区块链的操作系统,BM在博客中也是说过的。
可以这样比喻,EOS就相当于内置激励系统的Windows/Linux/MacOS,这是它的一个定位。包括以太坊也有自己的定位,Vitalik在2014年第一次说以太坊想法的时候,他就很明确的说了,以太坊就是一个全球计算机,这些都是创始人本人提出的一个想法。