主页 > 海外版imtoken > CyberMiles发布动态可扩展语言Lity,为何挑战Solidity?
CyberMiles发布动态可扩展语言Lity,为何挑战Solidity?
第一次见到 Michael Yuan(CyberMiles 联合创始人兼首席科学家)是在今年 5 月份的区块链技术沙龙上。 这位头戴鸭舌帽的阳光“大男孩”专程从美国德州赶来,为区块链技术现身。 区块链技术爱好者贡献精彩专业的技术分享。
可能是因为我在成都学习了4年,很喜欢那里的人。 迈克尔是成都石狮中学的一名高中生,我突然有一种亲切感。
那时候只有一些简单的交流,没有深入的交流。 幸运的是,时隔数月,我们再次相遇。
在望京SOHO CyberMiles会议室,面对面讨论的话题是基于Solidity的改进版Lity语言。
Lity 语言是 CyberMiles 发布的一种新的动态和可扩展的语言。 它支持 Solidity 代码的所有实现。 通过使用ERC校验器、libENI和基于时钟的长期智能合约,理论上比Solidity更安全,性能更好。 交易手续费更低,可扩展性更强。 同时,独特的计时功能更适用于电商区块链分期支付等功能。
CyberMiles 联合创始人兼首席科学家
为什么 Micheal, Ph.D. 天体物理学,放弃诺贝尔奖梦想转向开源? 又为何从最初认为比特币是空气、不可信任、毫无价值的态度,直接转向了开发新的高级编程语言? 与Solidity语言相比,Lity语言有哪些改进? 能否通过实践检验? 带着这些疑问,blockchain_camp记者采访了Michael,在不改变Michael初衷的前提下,精心整理转播。
我们的开源理念赢得了微软的支持
区块链大本营:Michael,你从本科到博士一直在做天体物理研究。 你是如何选择互联网和开源的?
迈克尔:我高中就读于成都石狮中学,然后本科就读于南京大学。 本科毕业后,我来到了美国。 我从本科到博士一直在做天体物理学研究。 那时,我想当一名科学家,也有一颗获得诺贝尔奖的心,但结果却无法获得诺贝尔奖。
我在美国读书的时候,学着写代码赚钱。 虽然我在美国超算中心、微软、诺基亚写了很多程序代码,但是因为没有计算机专业的学位,所以进不了那些大公司。
做开源不需要门槛,不需要学历。 它是去中心化的,任何人都可以做到。 从JBoss到Red Hat,都是做开源的东西,做开源社区。 沟通需要成本,要讲究效率。 使用去中心化的开源社区,十几个人可以压倒微软的数千人。
时任微软CEO的史蒂夫鲍尔默曾说过“开源软件是毒瘤,是社会毒瘤,劣币驱逐良币”。 开源社区GitHub,现在大公司都在做开源。
为什么要回归区块链?
区块链大本营:Michael,可以说你的事业一路走来很成功,为什么又选择做区块链?
迈克尔:每个人对成功都有不同的理解。 我不想维持现状。 我不满足于固定的收入和舒适的生活。 我心中有一个持续不断的创业梦想。
我是2011年开始接触区块链的,当时觉得这个东西是空气,不可信。 2013年,我在比特币市值1000美元的时候买入,跌到100美元的时候,我不敢买了。 当时我觉得100美元如果是“空气”就贵了,因为我当时很动摇,并没有一直坚持下去。 .
但这一次,我们看到了不一样的东西。 我们认为区块链是个好东西。 年轻人相信这个东西,年轻人想干什么我们就干什么。 去年年中我们决定做CyberMiles,在5miles的基础上冷启动,做一个去中心化的网上商城。 5miles是一个去中心化的自治组织(DAO),而CyberMiles要做一个链,第一个电商公链。
做以太坊上做不到的事
区块链大本营:区块链是一种改变生产关系的技术比特币扩展公钥,但目前来看,它是低效且不安全的。 CyberMiles要做电商第一公链需要解决哪些问题或痛点?
迈克尔:CyberMiles 是以太坊生态系统的成员。 以太坊是一个具有智能合约功能的开源公共区块链平台。 它通过专用的加密货币以太币提供分散式虚拟机(EVM)。 ) 处理点对点合约,被称为“下一代加密货币和去中心化应用平台”。
但在光环的背后,也存在一些问题。 以太坊是图灵完备的,理论上它可以用来做所有可以用数学方法验证的事情,但在工程上却不是这样。
2015 年,Vitalik Buterin 在一篇论文中提到了使用以太坊的智能合约来验证比特币交易的想法。 要完成这个,大约需要 3.7 亿个 Gas,也就是今天大约 400-500 美元。 然而,高昂的交易费用使得区块链技术难以大规模实施。
除了高昂的手续费,其安全性也备受争议。 目前,以太坊网络上有超过 1700 个去中心化应用程序(DApps),所有的 DApps 都依赖智能合约来完成,但在智能合约中,漏洞和灾难性漏洞时有发生。 截至目前,包括The DAO、BEC、EDU等事件,黑客已经“窃取”了超过10亿美元的智能合约。
作为以太坊平台的官方语言,Solidity自然成为众矢之的。
我们要做的就是解决这些问题,做以太坊做不到的事情! 我们承认90%的事情是不可行的,但我们必须优化剩下的10%。 目前的解决方案产品有Lity和CVM虚拟机。
区块链大本营:为什么叫Lity? 有什么特殊意义?
Micheal:这是CyberMiles Taiwan团队取的名字。 它有一定的含义,就是液体的意思。 因为物质有四种状态,所以还有一种状态叫做“以太”,被相对论证明是不存在的。 Solidity是固态,Gas是气态,Plasma是等离子态,Lity是液态。 CyberMiles要做的就是完善以太坊生态。
区块链大本营:刚才提到,以太坊平台上的DApp数量庞大,但流量不高,安全问题频发。 针对Solidity已经出现的性能和安全问题,在Lity的开发过程中,开发团队有针对性地做了哪些改进?
Michael:以以太坊中比特币交易的验证为例。 以太坊需要验证多个区块,每笔交易的费用约为 500 美元。 但是,如果在 CyberMiles 上执行,则只需要几毫秒,成本也只有几美分。 我们该怎么做呢? 我们没有使用科学的、美学的解决方案,而是使用了工程解决方案。
我们在Solidity上开了一个端口,就是以太坊的原生接口libENI,可以直接对接C++。 在V神眼里,这是一件极其丑陋的事情。 这是因为世界观不同。 他要把以太坊做成世界计算机,只做可以用数学方法验证的事情。 作为电商公链比特币扩展公钥,希望交易快速、安全、低手续费。
Lity 的灵活性在于它支持 OTA 添加新的语言结构,Lity 将在其应用程序中支持“业务规则”结构。 借助 CyberMiles 虚拟机中的新 OPCODE,用户可以为编程语言添加更多功能。 通过三分之二的验证者的共识,可以将扩展部署到 CyberMiles 区块链。
Lity 的扩展是针对特定的计算任务量身定制的,因此可以进行高度优化。 libENI 函数由 CyberMiles 虚拟机调用,但由区块链节点作为本机代码执行。 例如,以太坊上的公钥和私钥算法非常慢且成本太高,因此以太坊上不可能有很多(不同)种类的应用程序。 社区可以通过去中心化的方式为常见的电商场景、DApps和其他区块链定制和优化LibENI功能。 这是区块链世界的先例。 这样,智能合约的开发效率更高,虚拟机承载的功能也更多。 .
同时,采用DPoS共识机制,在超级节点达成共识的前提下,可以实现“边换引擎边飞”,也就是说可以在不给虚拟机添加功能的情况下实现分叉或停止区块链。 ,你要做的就是说服超级节点,只实现链上而不是软件更新。
在安全方面,CyberMiles 对常见的以太坊 Solidity 智能合约安全问题进行分类提取,并使用 Lity 语言编辑器和 CVM 虚拟机中的 ERC 检查器自动检查这些安全问题。 可以说 Lity 比现有的编程语言更安全。 例如,Lity 编译器可以检查 ERC 20 和 ERC 721 合约代码的合规性和已知错误。
Lity 还可以在 ERC 20 合约中提供对 ERC 223 标准的支持,以防止代币意外转移到不支持的合约地址而丢失。 在虚拟机级别,Lity 自动防止整数溢出和将合约所有者设置为 None 等常见问题。
以太坊最明显的缺陷之一是它缺少定时器功能,而这在现实商业世界中是不可或缺的。 Lity 将提供一种新的语言关键字,称为 schedule,允许智能合约在未来执行定时任务。 这是许多现实世界的商业合同所需要的功能,例如信托、遗嘱、分期付款、保险、股票期权和投资回报。
此外,针对电商行业,在CyberMiles区块链上,libENI功能针对电商常见场景进行了优化,比如加解密等需要大量计算的加密,保护用户隐私。 而Lity和CVM也将很快全面支持规则引擎和业务流程引擎,符合真实业务需求。
Lity和CVM虚拟机极大地丰富了CyberMiles区块链及其生态系统,也将增强DApps的功能和特性,为区块链应用带来更多可能。
所有有用的技术都可以用来优化
区块链大本营:Vyper语言也是针对Solidity目前存在的问题改进的语言。 与未来以太坊的官方语言相比,Lity 有何不同?
Michael:是的,Vyper 是一种新的语言,但它在虚拟机层面并没有发生实质性的变化。 如果 Solidity 就像 JavaScript,那么 Vyper 就像 Python。 对于开发者来说,Python 会舒服很多,所以开发者可以使用 Vyper 来少犯错误。 现在,Solidity 中大量的问题都是持久性错误,因为它太难用了。 Vyper 在这方面比它更好。 好多了。
但是,Vyper 上仍然会出现整数溢出等问题或漏洞。 它仍然是一种没有小数点的基于 EVM 的语言。 这在电子商务领域还没有,而Lity语言支持小数。 对于电商领域,我还是看好Lity的。 目前,Lity 可以支持所有 Solidity 语言功能和代码编译。 将来会支持 Vyper 吗? 直接用就可以了,会比它更优化。
区块链大本营:如果Plasma和Casper技术成熟了,是不是也可以用来优化,用于电商?
迈克尔:在我们的愿景中,世界将由许多区块链组成,每个区块链都针对特定类型的应用程序进行了优化。 CyberMiles 区块链针对电子商务和金融应用程序进行了优化。 由于 CyberMiles 区块链与以太坊完全兼容,因此 Plasma 的设计也将是 CyberMiles 上可扩展和可调整的解决方案。
这就是为什么我们要在以太坊社区中扩展,因为我们与以太坊兼容。 以太坊能做的,我们可以做,但我们做的,他们未必能做。 如果 Plasma 真的做出来了,成熟了,也是可以用的。 这是一个整合的关系。 CyberMiles只是基于它,做以太坊核心团队不愿意做的事情。 那 10% 使世界上的计算机梦想变得丑陋。 但更实用的东西。
区块链大本营:如何理解以太坊的分片技术?
Michael:分片技术是以太坊中的一种扩容机制。 公链的应用,比如我们做电商第一条公链,已经是碎片化的了。 因为电商第一条公链和打车第一条公链,里面的交易是相对独立的,这是逻辑上的分片。 以太坊就是所谓的计算分片,无论逻辑层级如何,A开头的东西都在一个分片里做,B开头的东西在另一个分片里做。 以太坊是一台通用计算机,只能进行机械分片。
区块链大本营:Lity语言是否还处于“初级”阶段,还是存在很多定位问题? 如何提高?
迈克尔:我认为这是一个发展过程,还有很多技术问题需要解决。 以太坊是这样设计的,不是因为他们傻,而是因为他们对区块链有约束。 他们追求的是图灵完备,世界计算机。 Lity开发团队来自台湾,他们是从AI芯片转过来的。 他们一开始不做区块链,所以要调整。 北京团队对区块链比较熟悉,所以团队平时需要沟通,为什么要这样做? 我不认为它是完美的,肯定有错误,但我认为 CyberMiles 正朝着正确的方向前进。
区块链大本营:这次会坚持做区块链行业吗?
迈克尔:下一次牛市来临时,谁会是老大? 取决于你今天做了多少。 下一次牛市来的时候,你没有独门技术,那你就是最后一个。 如果你想在下一次牛市来临时成为第一,你必须要有一些东西。 所以,我们的想法是,下一个牛市一定会来,只是时间问题,但一定要争取到那一天,等到那一天的到来。 我经常说一句话,我经常告诉我的团队,当钱从天上掉下来的时候,你必须站在第一排才能得到它,所以当下一次牛市来临时,我们必须站在第一排。
Lity&CVM对开发者的高安全、高性能、低成本、可扩展性等承诺,能否经得起10月主网上线的考验? 团队能否在熊市中安身立命,在牛市中挥舞拳头,真正成为电商第一公链? 所有的等待时间来验证!