Facebook最近发表了联盟链项目Libra,其中的最大亮点是Move语言。下面我们从技术视角解读一下“Move:ALanguageWithProgrammableResources”这篇白皮书,供大家参考。
为了便于理解,我们拿比特币、以太坊和Libra来做一个对比。
可编程货币、可编程应用与可编程资源
其实,单从白皮书的标题,就可以大概看出三个项目在设计目标上的差异。
比特币的目标是——可编程货币,所以白皮书标题是“Bitcoin:Apeer-to-peerelectroniccashsystem”。
以太坊的目标是——可编程的去中心化应用,在货币的基础上,扩展到更通用的领域。所以白皮书标题是:“Ethereum:anextgenerationsmartcontractanddecentralizedapplicationplatform”,黄皮书标题是:“Ethereum:Asecuredecentralizedgeneralizedtransactionledger”。
开源-联盟、ChainUP与四川链存科技有限公司达成深度战略合作:据官方消息,开源-联盟、ChainUP宣布与四川链存科技有限公司达成战略合作,双方将在IPFS分布式存储、Filecoin生态建设等方面展开深度合作,共同推进IPFS分布式文件技术、5G技术、云与边缘计算技术、Al大数据及区块链技术等创新技术应用落地。
开源-联盟 f040665 属于开源矿池节点,开源矿池致力于研发分布式存储,以为用户提供分布式存储解决方案为使命,产品包括分布式存储服务器、智能应用系统开发、算力云和分布式存储服务器托管运维等服务,目前拥有成熟的技术研发体系和完整的产业生产供应链。[2021/1/7 16:39:46]
而Libra的设计目标恰好介于二者中间——可编程资源,或者叫可编程资产。
ChainUP与Bigcoin越南将展开深度合作:官方消息,3月4日,ChainUP和越南社区Bigcoin Vietnam将展开深度合作。双方已达成长期合作协议,将在越南区块链行业技术和社区方面共同发展,相互支持,并不断探索以求发展覆盖面更广泛、影响力更持续的合作。
据悉,Bigcoin Vietnam是越南社区营销企业,成立于2017年,拥有完整的社区生态系统闭环,目前已覆盖越南区块链相关的企业、投资者和个人爱好者,触及人数达到20万。ChainUP实行集团化和全球化运行战略,结合自身全球化经验和区块链技术的积累,目前已与多个国家区块链企业积极展开合作。[2020/3/5]
Facebook的技术路线比较务实,没有尝试更颠覆性的创新,而是把目光聚焦在“货币”和“通用应用”之间的“资产”,围绕解决实际问题,便于工程实现而展开。从这点来看,Libra既不是区块链3
动态 | 数据科学家使用深度学习来实时预测BTC价格:印度韦洛尔技术大学的一名数据科学家提出了一种方法,据称可以利用长短时记忆(Long Short-Term Memory,LSTM)神经网络实时预测加密货币价格。在12月2日发表的一篇博客文章中,研究者Abinhav Sagar展示了一个四步过程,即如何使用机器学习技术预测一个“与传统市场相比相对不可预测”的行业的价格。 Sagar提出的四步方法包括:1)收集实时加密货币数据;2)准备用于神经网络训练的数据;3)使用LSTM神经网络测试预测;4)可视化预测结果。(Cointelegraph)[2019/12/2]
…………}
以太坊是无法找到代码中多出来的一行balances=amount;的,每次send()被调用,Coin这个代币的总量都会凭空多出amount个。
声音 | 房爱卿:要促进电商技术创新 使区块链等技术电子商务深度融合:据每日经济新闻报报道,全国政协经济委员会副主任房爱卿指出,要促进电商技术创新,使物联网、人工智能、大数据和云计算、区块链等技术与电子商务深度融合,为电商提供更为高效、安全的技术手段和交易方式。[2019/8/24]
Move字节码验证器
读到这里,大家应该能够意识到,Move中最核心的组件就是字节码验证器。让我们来看看它是如何对一段Move字节码进行验证的,验证过程通常包括以下步骤:
控制流图构建:这一步会将字节码分解成代码块,并构建它们之间的跳转关系;
栈高度检查:这一步主要是防止栈的越界访问;
类型检查:这一步会通过一个“类型栈”模型来对代码进行类型检查;
资源检查:这一步主要针对资源类型进行安全性检查,防止资源被复制或消毁,并确保-资源变量被后续代码所使用。上文举的例子中的bug,就是在这一步被发现的;
引用检查:这一步参考了Rust的类型系统,对引用进行静态和动态检查。检查是在字节码级别进行的,确保没有悬空的引用,以及引用的读写权限是安全的;
全局状态链接:这一步主要检查结构体类型和过程的签名,确保模块的私有过程不会被调用,以及调用的参数列表符合过程的声明。
Move虚拟机
Move的虚拟机,和EVM相似的地方比较多。它也是一个基于栈的虚拟机。指令集包含6类指令:数据加载和移动、栈操作/代数运算/逻辑运算、模块成员及资源操作、引用相关操作、控制流操作、区块链相关操作。
与EVM类似,每一条指令都会计算一个gas,耗光gas后代码会停机。Move中,一个交易的代码执行符合原子性,要么全部执行成功,要么一条也不执行。有趣的是,虽然Libra是一个标准的区块链账本结构,所有交易都是全局有序的,但Move语言本身支持并行执行,这意味着,也许以后Libra可以改进成类似Vite的DAG账本,提高交易并行处理的效率。
未来工作
当前Move还处于一个比较早起的开发阶段,后续工作包括:
实现Libra链的基本功能,包括账户、Libra代币、准备金管理、验证节点的加入和移除、交易手续费管理、冷钱包等;
新的语言功能,包括范型、容器、事件、合约升级等;
提高开发者体验,包括设计一个人性化的高级语言等;
形式化建模和验证工具;
支持第三方Move模块。
本文如有错误,请读者不吝指正。想获取更多的细节,可以阅读白皮书或开源代码。顺便说一句,这篇白皮书写的相当不错,概念准确,而且通俗易懂,没有使用特别形式化的描述或者复杂的数学知识,一个对区块链技术有所了解的读者完全可以一次读懂。这也从侧面反映出Facebook团队专业和务实的风格。
本文作者:刘春明,ViteLabs创始人,区块链技术专家,中国区块链应用研究中心常务理事。转载请注明出处。
请通过Vite官方渠道了解最新动态:
官网:https://www.vite.org/
ViteAPP下载:https://app.vite.net/
论坛:https://forum.vite.net
官方微博:http://m.weibo.cn/u/6572727462
Discord:https://discordapp.com/invite/CsVY76q
Telegram:https://t.me/vite_zh
Twitter:https://twitter.com/vitelabs
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。