发现找出大量的漏洞。报告也说可以证明Solidity程式和以太虚拟机编码的等同性。
程式语言.Gavin Wood写的《以太坊黄皮书》中定义了以太虚拟机的运作流程。智慧合约可以专门为此开发的Solidity程式语言写成，或是Python的一个变体Serpent，或是LLL。以太虚拟机也可以在Mutan上运行。智慧合约之后会编译成位元组码，然后发佈在以太坊区块链上。
运行效率.将所有合约存在区块链上每个结点的作法有好有坏。主要的缺点是所有的结点都同时要运算所