Facebook 的 Libra 带来的最大创新:智能合约语言 Move

  6 月 18 日,Facebook 高调公布了 Libra 白皮书,在全球范围内引发热议,Libra 还发布了技术白皮书,详细介绍了其新开发的智能合约语言  

 Move 。

Move 横空出世, 尤为吸人眼球。有人评价,这才是智能合约语言应有的模样,被很多人誉为 Libra 最大的创新。

简单地讲,比特币是对货币的编程,以太坊是对应用的编程,而 Libra 是对资产的编程,Move 就是对这门资产编程的语言。

所以,要搞懂 Move,先弄清楚什么是 Libra 。

01 什么是 Libra ?

Facebook:目前服务已恢复,没有证据表明用户数据因宕机而被泄露:10月5日消息,Facebook表示,“目前服务已恢复,我们正努力使其完全恢复正常运行,没有证据表明用户数据因宕机而被泄露。我们认为这次宕机的根本原因是错误的配置更改。”(鞭牛士)[2021/10/5 17:25:04]

Libra 在英文中是“天秤座”的意思,天秤座象征着平衡与公正。根据 Facebook 公布的项目白皮书,Libra 是“货币”和与其对应的金融基础设施的综合体,形象地讲,可以被看作同时具有支付宝和跨境支付的功能,未来的 Libra 可能具有国内支付、跨境支付、货币、证券和金融服务等一系列功能。

Libra 白皮书的技术方案中,采用的智能合约语言就是 Move ,是为操作数字资产而生的智能合约语言。李笑来对 Facebook 的 Move 语言的评价,却与众不同:Facebook 又犯傻,用得着专门设计个 Move 语言吗?

动态 | 媒体:Libra 听证会后,Facebook 考虑重新设计 Libra 网络框架以迎合监管需求:在本周美国国会两院“Libra 听证会”后,由于与监管机构分歧较大,Facebook 正在考虑重新设计 Libra 网络框架。这意味着此前宣称的去中心化网络理念或将发生改变。(astechnica)[2019/7/21]

设计 Move 语言真的是多此一举吗?

现实世界的资产数字化过程中面临着两方面的困难:稀缺性和权限控制。

所谓稀缺性就是不允许用户随意复制资源;权限控制通俗地讲,就是你只能花自己的钱,不能花别人的钱,这在已有的区块链编程语言中得不到良好的支持,一旦出现问题,对于资产将是灾难性的,需要通过创建一个新的智能合约语言来解决此类问题。

这个智能合约语言之所以叫 Move ,表示区块链上的币从一个账户转移到另一个账户时,也就是实现资产的 Move ,即移动,而不是简单的 Copy,这样做的好处是,杜绝了像以太坊之前出现的各种合约记账的错误与漏洞。

声音 | 华尔街金融分析师:Facebook的GlobalCoin将消灭XRP等山寨币:据CCN报道,华尔街金融分析师、比特币支持者Max Keiser预测,Facebook的GlobalCoin将彻底消灭XRP和其他山寨币,同时提振BTC,因为BTC“与黄金竞争,而不是法币。”此外,加密“支付”公司可能会被淘汰。[2019/6/8]

还有人联想,可能与 Facebook  的格言 Move Fast and Break Thing 对应,达到了一语双关的效果。

02 Move 语言有什么特点?

Move 语言的主要设计目标是灵活性、安全性和可验证性。

Facebook有意发行加密货币 促进平台交易:据科技博客TheVerge北京时间5月12日报道,Facebook计划推出自主加密货币。目前,有关Facebook开发自主加密货币的细节还不多,但是据称该公司尤其专注于使用加密货币促进平台上的支付交易。考虑到Facebook的庞大用户群以及网站上现有提供商品买卖的网络平台,这可能是该公司的一个巨大转变。[2018/5/12]

1、安全可靠

概括地说,Move 作为一种新的编程语言,作用是为 Libra 区块链提供安全可编程的基础。提交给 Libra 区块链的每个交易,都使用以 Move 编写的交易脚本进行编码。

简单来说,Move 有三大功能:发行数字货币、Token 和数字资产; 灵活处理区块链交易; 验证器管理。

区块链项目的智能合约语言,安全性是第一位的,不然,你被黑客攻击了 ,就等于把资产拱手送人,还拿走不谢,甚至会害用户家破人亡,所以,Move 设计的核心诉求就是安全性 。

在 Move 语言中,所有的合约执行路径都能在编译的时候确定,然后可以进行非常充分地分析、验证。Move 合约在运行前,都会被一个验证器进行校验,这个验证器可以检查出各种类型错误,而且合约执行的时候,还一边运行,一边被检查,所以,Move 合约相对安全。

2、记账不容易出错

传统的编程语言,包括以太坊智能合约语言中,对于数字资产的记账方式,是有可能出错的,因为它们就好比你们单位墙上的标语,人人都可以念,导致记账是有可能重复的。比如,过去几年里的各种记账漏洞搞得大家对智能合约的未来丧失信心。

而 Move 合约采用资源类型,数字资产只能被消耗,不允许复制资源,目的是防止意外重复和丢失。就像你手上的蛋糕,吃掉一块,就少一块,这样一来,数字资产就像资源一样,不能被复制,不能凭空消失。例如某个公司搞营销活动,就可以在 Libra 中通过 Move 合约产生和验证优惠券的资产,还可以使用和转让。

3、成本更低

在 Move 语言中,一个 Token 可以被想象成一个箱子,像资源一样进行传递,且不会暴露箱子内部的任何细节,这使得运行成本更低。

03 Move 和以太坊的 Solidity 语言有哪些区别?

以太坊的 Solidity 语言,功能强大并且非常灵活,具有良好的适应性和扩展性,但它的硬伤是存在安全风险。安全问题是虚拟数字货币的基本要求,也是最大的痛点。

Move 语言,主打安全牌,针对以太坊智能合约中容易出安全漏洞的语言进行了大量的修改,额外添加了一层保护,可以避免很多 Solidity 的漏洞。

Move 语言比以太坊的智能合约语言严密,可以在编译的时候发现编程的低级错误,而不是拖到运行期才爆出漏洞,这样保证智能合约在执行中不会发生低级错误。

Move 语言会阻止代表其他用户发布数据,因此用户需要确认所发布的所有内容,使他们能够完全控制选择共享的信息。

04 小结

虽然,Move 看起来还不够细腻和成熟,但 Facebook 敢于创新,独家设计出真正适合金融应用的智能合约语言,甚至可能会成为区块链的“编程范式”的一个良好的开始。

Move 让智能合约开发者拥有了更大的选择自由,在安全的前提下,未来的区块链世界将会变得更加丰富多彩,值得每一个人拭目以待。

你认为设计 Move 语言真的是多此一举吗?为什么?欢迎在留言区分享你的观点。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

银河链

DAI区块链与文创产业丨Token是什么?

主讲人:资深文化产业投资人,千程投资CEO,美股区块链概念股走低:美股区块链概念股走低。嘉楠科技(CAN.O)、Marathon Patent(MARA.O)跌超4%,第九城市(NCTY.O)、SOS(SOS.N)跌超3%,Riot.

MATIC金色百科 | 除了Chainlink还有哪些预言机项目

什么是预言机? 区块链系统中,除了能够在链上记载数据,还能够通过智能合约完成一些操作。例如,去中心化金融(DeFi)依赖区块链系统进行加密货币的交易和借贷,而预言机作为从外部获取数据的重要机制,是维系DeFi正常运行必不可少的部分.

[0:15ms0-1:680ms