CyberMiles发布的Lity能搞Solidity吗？

截至2018年8月2日黑客在智能合约中“窃取”的金额已经超过了10亿美元，而以太坊网络上的1700多个去中心化的应用程序（DApps）将随着其智能合约中的bug和损失持续增加。面对因智能合约出现bug导致的重大灾难，众目所盼的新编程语言Lity真的能“接管”正是因为编写智能合约才被技术捧为神坛的Solidity“王座”吗？

成败“萧何”Solidity，让人爱恨难料

为了编写智能合约，程序员必须学习一种新的编程语言。它会让以太坊上复杂的商业逻辑运营变得简单，颇受老少猿们喜爱，但却容易因为编写合约时犯下的简单错误将整个项目“置之死地”。所谓“死地”就一个安全漏洞和高昂的交易成本就可以让多数项目方和投资人“疼”的喊爹喊娘。

举个栗子

在智能合约代码很差的案例中，最出名的是去中心化的Decentralized Autonomous Organization (DAO)。最近，在Parity的智能合约中出现了一个bug，该bug导致了50万个ETH的损失，价值超过了1.69亿美元。

——1.69亿美刀儿，就说心疼不心疼！不是你的钱当然不心疼，但虽然不是我的钱，我也很心疼过，钱叔要是努力努力这钱可能就进我口袋了~

就事论事丢了1.69亿刀儿，谁来负责？

Solidity是替罪羊吗？

黑客挖掘智能合约中的漏洞，从而“盗取”大量的加密货币。多个ERC20 代币合约容易受到攻击，导致了高等级的安全警报。特别是Solidity整数溢出，也是一个严重的问题。

许多黑客攻击的发生，只是因为程序员在Solidity编写代码时犯了错误。例如，Beauty Chain(BEC) 是一个在中国颇有知名度的项目，于2018年2月23日在OKEX上开始交易。它在交易的第一天就狂涨4000％。在巅峰时，它有约700亿美元的市值，但在4月22日，其交易价值突然下降至零，价格也逐渐下降至约20亿美元。随后，OKEX暂停了BEC的交易。

此事件的发生是因为，在BEC的ERC20 智能合约中存在错误。在BEC的案例中，开发人员在合约中添加了一个名为“batchTransfer（）”的方法，可以让token能一次性转移给多方（即批量）

然而，开发人员在下面这行代码中犯了一个致命性错误：

uint256 amount = uint256(cnt) * _value.

是人祸？

以太坊火了，智能合约更普遍了，更多人知道也在用Solidity。以太坊的成功让人过分关注V神这个人，仿佛一夜之间，到处都在说V神多牛逼，以太坊多牛逼，你有多少份额，我有多少个币。我们关注便面的东西，有谁，或者叫有多少人在关注我们的Solidity，会不会犯错，我们的程序猿够不够专业是不是给智能合约进行适当优化和审核？

因为性能复杂所以贵？

面对执行起来复杂的智能合约，手续费花的钱可能是你们看到被黑客偷的那些钱。简单的说合约越复杂手续费越贵，因此我们就知道Solidity在简化“麻烦”的时候就有多受三圈儿（矿圈、链圈、币圈）老少爷们喜欢。如果你网速ok不产生拥堵，那么你的手续费将不会产生多余的出租车“计时费”。

我们算一笔账

假设用以太坊智能合约来验证单个比特币交易的header（即scrypt操作）将消耗3.7亿个以太坊gas。这意味着当你把以太坊gas价格设定为3 Gwei时，将花费超过10亿Gwei，也就是1个ETH。一个简单的跨链交易验证你就要花掉500美元！

Solidity的解决方案是进化成了Lity

转账手续费较原来降低100倍、转账速度只需几毫秒！

“通过LibENI，这些运算比原来快了一万倍不止，并且手续费只需几美分，而用Solidity执行跨链交易就需要500美元的手续费。”

在CyberMiles区块链、DApp和其他定制区块链上，Lity可用于开发智能合约。Solidity与Lity虽同为编写智能合约的高级语言，但Lity作为Solidity的迭代，刚好可以解决Solidity面临的性能和安全问题。简单粗暴，不用更改任何代码，所有用Solidity编写的程序即可在CyberMiles 虚拟机（CVM）上运行，运动灵活、功能强大、可优化，支持OTA添加新语言功能，且libENI函数由 CyberMiles虚拟机调用，在区块链节点作为原生代码执行。

Lity编译器可以检查ERC 20和ERC 721合约中代码的合规性和已知错误，并且可以在ERC 20合约中为ERC 223标准提供支持，以防止token被意外转到不接受转账的合约地址。自动防止整数溢出将合约所有者设置为无等常见问题。

智能合约的未来

Lity正是人们对解决Solidity问题的升级创新，这对跨区块链资产交换以及将链下数据纳入区块链交易具有重要意义。

毫无疑问，以太坊基金会也在积极寻找创新的方式。而其中最主要的“Casper”和原生合约的实施，最终以太坊将转为PoS共识机制。这一转变是解决源于PoW机制相关的各种问题的关键。就这部分而言，CyberMiles基金会宣称他们已经找到了解决方案：正如http://litylang.org 所述，有效的DPoS机制及其虚拟机CVM比赛已经开始了。