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

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

 Move 。

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

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

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

01 什么是 Libra ?

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

加密投资机构 Arcanum Capital 首支基金完成1200万美元募资,Polygon 联创参投:3月3日消息,加密投资机构Arcanum Emerging Technologies Fund I ISA旗下的 Arcanum Capital 宣布首支风险投资基金完成超额认购,募资金额从最初的1000万美元扩大到1200万美元。据悉,基金的主要投资方包括Draper University Ventures、Polygon 联合创始人 Sandeep Nailwal和和瑞士资产管理公司 Tavis Digital。

据介绍,Arcanum Emerging Technologies Fund I ISA 为新兴市场的区块链技术公司提供种子轮和 A 轮融资,主要关注印度市场。

其他投资者还包括Bybit 旗下投资部门、Mirana Ventures、Ragnar Digital Investments 创始人、SevenX Ventures、 Quarkchain Foundation、Foresight Ventures及Polygon Studios。[2022/3/3 13:33:58]

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

Sheila Warren:预计明年美国监管机构将增加加密听证会次数:12月28日消息,世界经济论坛第四次工业革命中心副主任 Sheila Warren 预测,2022年美国政府和监管机构会针对加密领域进行更多听证会和并且增加相关监管活动。此外,Warren 还表示,2022 年将看到越来越多的投资资金涌入加密领域——无论现货 BTC ETF 是否获批,加密行业都会进一步发展,甚至可能看到更多 SPAC 和上市公司,一些创企和项目也会走出早期种子阶段,进入更加成熟的阶段,这些都会市场产生巨大影响。[2021/12/28 8:09:29]

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

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

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

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

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

02 Move 语言有什么特点?

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

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 语言真的是多此一举吗?为什么?欢迎在留言区分享你的观点。

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

区块博客

比特币交易区块链 斩断传统教育戈尔迪乌姆之结的利剑?

随着时代的发展,知识和人才的重要性也愈加突出,教育的作用也愈发凸显。当今世界综合国力的竞争,归根结底就是人才的竞争,而人才的培养关键就是要依靠教育。 近年来,我国的教育在软件和硬件方面都有非常大的进步,教育水平也得到了极大提高,特别是义务教育和素质教育的推行,越来越多的人才被培养出来,为社会发展提供了源源不断的人才储备。

XLM年度点评 | 2019加密货币行业十大流行语

(Hyperbitcoinization) 如果你读过《比特币标准》这本书,或者在推特上关注了那些自由主义加密货币硬核玩家,你肯定会看到关于未来世界将实现超比特币化(Hyperbitcoinization)的大量讨论。超比特币化指的是比特币取代各国法币,成为世界货币,这种说法非常激进,至少目前还显得不合时宜。

比特币价格央行数字货币DCEP为何是M0发行 背后有何深意?

不久前履新的数字货币研究所所长穆长春在得到开设的《Libra与数字货币展望》这门课,成为了最近的行业热点,一方面让我们可以窥得监管层对于影响力巨大的Libra的态度,另一方面也能了解到央行数字货币项目DCEP(Digital Currency Electronic Payment 译为数字货币和电子支付工具)的信息。

火币网下载官方app听说只要这个技术成熟应用 中心化交易平台都会消失?| 白话区块链入门210

   作者 | Wayne 出品|白话区块链(ID:hellobtc) 我们经常会在一些区块链媒体报道中看到“原子交换”这个词语。那么,它是什么意思呢? 今天,我们就来了解下。 原子交换是一种从一方到另一方的加密货币点对点交换,无需通过像加密货币交易平台这样的第三方服务。在整个过程中,用户完全自己控制和拥有其私钥。

[0:0ms0-3:135ms