CyberMiles发布动态可扩展语言Lity,它凭什么叫板Solidity?

版权声明:本文为博主原创文章,未经博主允许不得转载。 https://blog.csdn.net/Blockchain_lemon/article/details/81904699

第一次见 Michael Yuan(CyberMiles 联合创始人&首席科学家) 是在今年5月份的 CSDN 区块链技术沙龙会上,戴着鸭舌帽的阳光“大男孩”从美国德州远道而来,为在场的区块链技术爱好者们奉献了精彩、专业的技术分享。

也许是因为我在成都读过4年书,很喜欢那里的人,Michael 曾在成都石室中学读高中,突然有一种亲切感。

当时仅有一些简单的交流,没有深入进行沟通,还好,时隔多月,再一次见面了。

在望京 SOHO CyberMiles 会议室,面对面,谈论的主题是基于 Solidity 改进的 Lity 语言。

 

Lity 语言是 CyberMiles 新发布的动态可扩展语言,支持 Solidity 代码的全部实现,通过使用 ERC checker、libENI、基于时钟的长期智能合约,在理论上,相比于 Solidity,它更加安全、性能更好、交易费用更低、可扩展性更强,同时,独特的计时功能更加适合电商区块链分期付款等功能。

 

CyberMiles联合创始人&首席科学家
CyberMiles 联合创始人&首席科学家

 

天体物理学博士 Micheal 为何放弃诺贝尔奖梦转做开源?又为何从最初认为比特币是空气、是不可信、没价值的东西,态度直转去开发新的高级编程语言?相比于 Solidity 语言,Lity语言做了哪些改进?能否经过实践的考验?带着这些疑问,区块链大本营(blockchain_camp)记者对 Micheal 进行了采访,在不改变 Michael 原意的情况下,进行了精心的整理与转述。

 

我们开源的想法赢了微软

区块链大本营:Michael,你从本科读到博士,一直在做天体物理学研究,后来怎么选择了互联网,选择了开源?

Michael:我高中是在成都石室中学读的书,然后在南京大学读的本科,本科毕业后来到了美国。从本科到博士一直在进行天体物理学研究,那个时候想的是做科学家,有一颗要拿诺贝尔奖的心,但事实证明,拿不了诺贝尔奖。

在美国读书时,了解到写代码挣钱,虽然在美国超算中心、微软、诺基亚写过大量的程序代码,但因为没有计算机专业学位,进不了那些大公司。

做开源不需要门槛、学历,是去中心化的,任何人都可以干。从 JBoss 到红帽,做的都是开源的东西,做开源社区。沟通是需要成本的,要讲究效率,利用去中心化的开源社区,十几个人可以干倒微软上千人。

时任微软 CEO Steve Ballmer 曾说“开源软件是癌症,是社会的毒瘤,是劣币驱逐良币”,认为开源是没有价值的,但事实上,是做开源这个想法赢了,微软收购了最大的开源社区 GitHub,现在的大公司都在做开源。

 

为何重新踏入区块链?

 

区块链大本营:Michael,这一路走来,可以说你的事业很成功,为什么又选择去做区块链?

Michael:每个人对成功的理解不同,我不想维持现状,不满足于固定的收入,安逸的生活,我心中有一个持续的创业梦。

我在2011年开始接触区块链,当时认为这个东西是空气,是不可信的。2013年,我在比特币市值1000美元的时候买过,后来跌倒了100美元,就不敢买了,当时觉得如果是“空气”的话100美元也很贵,因为当时动摇了,没有一直坚持着。

而这一次,我们看到了不一样的东西,认为区块链是个好东西,年轻人都相信这个东西,年轻人要干什么我们就干什么。我们是去年中旬决定去做 CyberMiles 的,以 5miles 为依托进行的冷启动,要做一个去中心化的网络商城。5miles 是去中心化自治组织(DAO),而 CyberMiles 是要做成链的,电商第一公链。

 

要做以太坊上不能做的事

 

区块链大本营:区块链是一种改变生产关系的技术,但目前来看,它是低效的、不安全的,CyberMiles 要做电商第一公链,需要解决哪些问题或痛点?

Michael:CyberMiles 是以太坊生态的一员,以太坊(Ethereum)是一个开源的有智能合约功能的公共区块链平台,其通过专用加密货币以太币(Ether)提供去中心化的虚拟机(EVM)来处理点对点合约,被称为“下一代加密货币与去中心化应用平台”。

但光环背后,仍存在一些问题。以太坊是图灵完备的,理论上可以利用它干所有可以用数学方法验证的事情,而在工程上却并非如此。

2015年V神(Vitalik Buterin)曾在一篇paper中提到用以太坊的智能合约去验证比特币交易的想法,要完成这件事,大概需要3.7亿 Gas,放在今天大概400-500美元的样子,高额的交易手续费使得区块链技术难以大规模落地。

除了高额的手续费,其安全性也备受争议。目前,以太坊网络上有1700多个去中心化的应用程序(DApp),所有的 DApp 都依靠智能合约来完成,但在智能合约中,Bug、灾难性漏洞频出。截止到目前,包括The DAO、BEC、EDU等事件,黑客在智能合约中“窃取”的金额已超10亿美元。

作为以太坊平台的官方语言,Solidity 自然成为众矢之的。

我们要做的,就是解决这些问题,做以太坊不能做的事!我们承认对90%的事不可行,但要把剩余的10%做得特别优化,目前落地的方案产品就是 Lity 和 CVM 虚拟机。

 

 

区块链大本营:为什么叫 Lity?有何特殊含义?

Micheal:这是 CyberMiles 台湾团队取的一个名字,是有一定意义的,就是液态的意思。因为物质有四态,还有一个被相对论证明不存在的状态叫做“以太”,Solidity 是固态、Gas 是气态、Plasma 是等离子态,Lity 是液态,CyberMiles 要做的事,就是补全以太坊生态。

 

区块链大本营:刚刚也提到了,以太坊平台上 DApps 数量庞大,但流量并不高,而且安全问题频出,针对 Solidity 已出现的性能及安全问题,在 Lity 开发过程中,开发团队针对性做了哪些改进?

Michael:就拿以太坊验证比特币交易为例,以太坊需要验证很多区块,每次交易大概需要500美元,而如果在 CyberMiles 上进行,仅仅需要几毫秒,并且只花费几美分。我们是如何做到的?我们没有利用科学的、美观的解决方法,而是用了工程上的解决方案。

我们在 Solidity 上开了一个口,这个口就是以太坊原生接口libENI,是可以直接接入 C++ 的。这在V神眼里,是极为丑陋的事,这是因为世界观不同吧,他要把以太坊做成世界计算机,只做可以用数学方法可以验证的事,而作为电商公链,我希望交易是快速安全且低手续费的。

Lity是灵活的,因为它支持 OTA 添加新语言结构,Lity 将在其应用程序中支持“商业规则”构造。通过 Cyber​​Miles 虚拟机中的新 OPCODE,用户可以在编程语言中添加更多功能。通过三分之二验证人的共识,就可以将扩展部署到 Cyber​​Miles 区块链。

Lity的扩展适用于特定的计算任务,因此可以进行高度优化。libENI 函数由 CyberMiles 虚拟机调用,但由区块链节点当做本机代码执行。比如,以太坊上的公钥和私钥算法非常慢并且过于昂贵,因此在以太坊上不可能有许多(不同)种类的应用。社区可以去中心化地为常见电商场景、DApp 和其他区块链定制优化的 LibENI 函数,这在区块链世界还是先例,如此,智能合约的开发更加高效,虚拟机承载的功能也更多。

同时,采用 DPoS 共识机制,在超级节点达成共识的前提下,可以做到“一边飞,一边换引擎”,就是说可以在区块链不分叉、不停止的情况下,为虚拟机添加功能,你要做的就是,说服超级节点就可以了,只进行链上实现而不是软件更新。

在安全性方面,CyberMiles 分类提取了常见的以太坊 Solidity 智能合约安全问题,并在Lity语言编辑器和 CVM 虚拟机中利用ERC checker 对这些安全问题进行自动检查,可以说,Lity 比现有的编程语言更安全。例如,Lity 编译器可以检查 ERC 20 和 ERC 721 合约代码中的合规性和已知错误。

Lity 还可以在 ERC 20 合约中为 ERC 223 标准提供支持,以防止 Token 被意外转到不受支持的合约地址而丢失。而在虚拟机级别,Lity 会自动防止整数溢出等常见问题和将合约所有者设置为无的问题。

以太坊缺少计时器功能,这是以太坊最明显的缺陷之一,而这是在现实商业世界不可或缺的。Lity 将提供一个名为 schedule 的新语言关键词,允许智能合约未来执行计时器任务。这是许多现实商业合同所需要的功能,例如信托,遗嘱,分期付款,保险,股票期权和投资回报。

此外,针对电商行业,在 CyberMiles 区块链上,已经针对常见电子商务场景优化的libENI功能,例如需要大量运算的加密解密以保护用户的隐私。并且 Lity 与 CVM 即将全面支持规则引擎和商业流程引擎,符合真实的商业需要。

Lity 和 CVM 虚拟机极大地丰富了 CyberMiles 区块链及其生态系统,并且也将增强 DApp 的功能和特征,为区块链应用带来更多可能。

 

一切有用的技术,都可以拿来优化

 

区块链大本营:Vyper 语言也是针对 Solidity 目前存在问题的改进语言,相比于可能是未来以太坊的官方语言,Lity 有哪些不同?

Michael:没错,Vyper 是一种新的语言,但它在虚拟机的层面上没有实质性的改变,如果 Solidity 像 JavaScript 的话, Vyper 就像 Python。对于开发人员来说,Python 会舒服得多,所以,开发者使用 Vyper 就可以少犯错误,如今 Solidity 里面大量的问题是持续性错误,因为它太难用了,Vyper 在这点上面要比它好得多。

但是,像整数溢出这种问题或者漏洞,在 Vyper 上还是会出现,它还是基于 EVM 的语言,是没有小数的,这在电商领域,还是不可用的,而 Lity 语言,是支持小数的,针对于电商领域,我还是看好 Lity 的。目前,Lity 可以支持所有 Solidity 语言的功能和代码编译,未来会不会去支持 Vyper?可以拿过来直接用,而且会比它更优化。

 

区块链大本营:如果 Plasma 和 Casper 技术成熟,也可以拿过来针对电商做优化并使用吗?

Michael: 在我们的设想中,世界将由许多区块链构成,而每个链都将针对特定类型的应用进行优化。CyberMiles 区块链是为服务于电子商务和金融应用而进行优化的。由于 CyberMiles 区块链与以太坊完全相互兼容,所以 Plasma 的设计也将成为 CyberMiles 上可扩展调节的解决方案。

这就是为什么我们要在以太坊社区去扩展的原因,因为我们跟以太坊是兼容的。以太坊能干的事情我们也能干,但我们干的事情他们可能干不了。Plasma 如果真的做成并发展成熟,也可以拿过来用,这是一体性的关系,CyberMiles 只是在它的基础上,做以太坊核心团队不愿做的事,那10%让世界计算机梦想丑陋但更实用的事。

 

区块链大本营:如何理解以太坊的分片技术呢?

Michael:分片技术在以太坊是一种扩容机制。 应用公链,比如我们作为电商第一公链,就已经是分片了。因为电商第一公链跟打车第一公链,其中的交易是相对互相独立的,这就是逻辑分片。以太坊是所谓的计算分片,不考虑逻辑层面,所有以A开头的事情放在一个片里做,以B开头的事情放在另一个片里做。以太坊是通用计算机,只能这么机械地分片 。

 

区块链大本营: Lity语言是不是还在“幼年期”或者说是否还存在很多位置问题呢?如何去改进?

Michael:我觉得这是一个发展中的过程,技术上还有很多问题需要解决。以太坊设计成这样,并不是因为他们傻,是因为他们在区块链上有约束限制,他们追求的是图灵完备,是世界计算机。Lity 开发团队来自台湾,是从AI芯片转过来的,他们最早不做区块链,所以说就得磨合。北京团队对区块链比较熟,所以,团队间平时要沟通,我们为什么要干这件事?我觉得肯定不完美吧,肯定有 bug,但我觉得 CyberMiles 的方向是对的。

 

区块链大本营:这次会在区块链行业一直坚持下去吗?

Michael:下一个牛市来的时候谁来做老大?取决于今天你干了多少。到下一个牛市来的时候你还没有独特的技术,那你就是最后一名。如果说下一个牛市来的时候你想当第一名,你一定要有东西。所以说,我们的想法是,下一个牛市一定会来的,只是时间问题而已,但一定要搏到那一天,等到那一天来的时候。我经常讲一句话,我也经常跟我团队讲,天上掉钱下来,你要站在第一排才能砸得到,所以下一个牛市来,我们就要站在第一排。

 

究竟 Lity&CVM 对开发者给与的高安全性、高性能、低费用和可扩展性等承诺,能否经受住10月份主网上线的考验?团队能否在熊市间沉淀,在牛市间挥舞拳脚,真正做成电商第一公链?一切等待时间来验证!

猜你喜欢

转载自blog.csdn.net/Blockchain_lemon/article/details/81904699
今日推荐