MOVE:被 Libra 刷屏的你绝对不知道 也许这才是它最大的核武器

作者|SecondState

Libra火了,火得一塌糊涂。

一个原因是其被争相讨论的「建立一套简单的、无国界的货币和为数十亿人服务的金融基础设施」光荣使命。朋友圈刷屏、社群刷屏,线上线下专家PK、xx论剑,支持、质疑、反对,「Libra太牛了」、「Libra被吹得太牛了」。

另一个原因,伴随其出生的Move语言也是一大亮点。不管Libra的「光荣使命」是否可以实现,但在另一阵地,在GitHubTrending榜单上,基于Rust语言搭建却又发布Move语言的Libra确实是实实在在地火了,不知不觉就冲上了GitHub日活第2名......

图片来源:https://github.com/trending?since=daily

那么问题来了,你认为Libra最大的亮点是什么?

可以说,Libra也许是目前为止本年度区块链领域最受期待、最多讨论的新闻了。

根据Libra白皮书描述的「建立去中心化的全球货币」的目标,该项目有着非常野心勃勃的加密经济学设计管理规则,同时其联盟中的合作伙伴也非常重磅。

包括VISA、ebay和Coinbase在内的29个首批合作伙伴

多个上币监控Bot发布OKX新增Worldcoin,OKX暂未发布公告:7月24日消息,多个上币监控Bot发布信息,OKX新增Worldcoin(WLD),当前OKX暂未发布公告。[2023/7/24 15:54:32]

Libra区块链是一个去中心化的可编程的数据库,其被设计成用于支持一个波动性低的加密货币,它能作为有效的交换媒介服务世界上几十亿人。

——Libra白皮书

但作为技术人员,我们对于其运用区块链技术的方式最感兴趣。

为什么Libra项目要求有自己的一条区块链呢?对于应用程序开发者来说机会在哪里?对于企业以及传统的IT公司而言,从中可以得到哪些推断?我们将分三篇文章来讨论这几个问题。

1、Libra应用程序开发方法;

2、深度解析Libra项目的核心应用;

3、如何基于Libra开发一款应用程序?

本文为系列文章第一部分,一起来看吧。

智能合约先行

Libra项目中最引人瞩目的设计功能之一,就是其智能合约先行的策略。就算是像以太坊这样的智能合约平台,智能合约的执行仅仅是一种交易的类型。以太坊原生操作仍然是币的交易。而Libra不同。智能合约是Libra上的一等公民。

香港证监会:《虚拟资产交易平台营运者指引》将于2023年6月1日生效:金色财经报道,香港证监会官网消息,有关适用于获证券及期货事务监察委员会发牌的虚拟资产交易平台营运者的建议监管规定的咨询期于2023年3月31日结束。证监会考虑了广泛的意见及提议后,已修改或釐清部分建议规定。经修订的建议监管规定《适用于虚拟资产交易平台营运者的指引》将于2023年6月1日生效。

该指引订明多项适用于持牌交易平台的标准和规定,其中包括稳妥保管资产、分隔客户资产、避免利益冲突及网络保安。证监会将就新监管规定提供额外指引、其他实施细节(包括牌照申请程序),以及过渡安排的详情。

香港证监会表示,欢迎已准备好遵守证监会标準的虚拟资产交易平台营运者申领牌照。至于无意申领牌照的营运者,则应着手以有序方式结束其于香港的业务。尽管有关制度将于2023年6月1日生效,但证监会尚未批准任何虚拟资产交易平台向零售投资者提供服务,且现有大部分公众可接触的虚拟资产交易平台均不受证监会监管。[2023/5/23 15:20:42]

通过LibraCore内部组件写智能合约的流程

Libra区块链本身是用Rust编写的,但是Libra上的应用程序是使用新的编程语言Move来编写。所有来自外部的区块链互动都由Move程序来处理,在Libra上,即便是一个币的转账,也是由Move程序来处理的。每一个Libra节点都会运行一个虚拟机。虚拟机执行程序,并且记录共识达成后的结果。笔者认为智能合约先行的方式能够让Libra项目建立起一个功能多样的基础设施,这也能适用于未来的需要。

安全公司:近24小时Jump Trading从FTX提取约4040万枚USDC:11月7日消息,据派盾预警监测,在过去24小时内Jump Trading从FTX提取约4040万枚USDC。[2022/11/7 12:27:05]

为什么使用Move编程语言

那么,为什么我们需要一种新的编程语言?是因为安全和性能的要求。Libra要建造一条新的链,因为目前市场上的区块链解决方案没有办法满足其对性能和安全的要求。

Facebook和Libra想要建立专注于支付和资产数字化的区块链,因此他们创造了Move编程语言,内置了对不可更改且不可复制的资产的支持。Move编程语言是一个用于数字资产管理的DSL。

比特币在加密方面成就非凡,能够在数字世界创建无法复制的东西,有着非常巨大的价值。

——艾里克斯米特,谷歌主席

Move编程语言的名字来自于Move本身支持的基础操作器。Move操作器负责移动资产。Move消除了原本常见的两步操作:减掉前面一个账户的余额,然后加到另外一个账户。Move语言将资产与资源放在一等公民的地位。当然,Move语言也有其他重要的特性,使其在资产管理方面更加安全,更加健壮。

Tether CTO:Terra项目并非Rug Pull,而是设计糟糕的“纸牌城堡”:5月20日消息,Tether和Bitfinex首席技术官Paolo Ardoino认为,Terra(LUNA)项目并不是为了Rug Pull,而只是“设计糟糕”。

在谈到Terra生态市场崩溃时,Ardoino将Terra算法稳定币TerraUSD(UST)比作一座随时都会倒塌的“纸牌城堡”。Ardoino表示,我不认识Do Kwon。但是让我们假定他是无辜的。他傲慢地创建了这个项目,并认为他是对的,许多人支持他,当然可能是出于经济原因,但这项目本身并不是为了Rug Pull,这是一个设计糟糕的项目,而许多项目都设计糟糕。那就像一座纸牌城堡,它可能会倒塌,但他当然不能说出来,因为否则它会倒得更快,而且,我很清楚,很多人都很清楚,我知道这是一个坏主意。

Ardoino称,UST已经变得太大而无法保持锚定,因为其抵押品不足以支撑该稳定币,但仍然大到足以让市场进一步崩盘。(Cointelegraph)[2022/5/20 3:30:45]

1publicdeposit(payee:address,to_deposit:Coin){2letto_deposit_value:u64=Unpack(move(to_deposit));3letcoin_ref:&mutCoin=BorrowGlobal(move(payee));4letcoin_value_ref:&mutu64=&mutmove(coin_ref).value;5letcoin_value:u64=*move(coin_value_ref);6*move(coin_value_ref)=move(coin_value)move(to_deposit_value);7}

Beanstalk Farms:关于开启Barn Raise的提案BFP-71已获投票通过:5月15日消息,算法稳定币项目Beanstalk Farms发推称,关于The Path Forward、Barn Raise Structure的提案BFP-71已经以100%的投票率通过。随着BFP-71的通过,Barn Raise将于6月6日下午4:00(UTC时间)开始,截至6月27日下午4:00(UTC时间)或直到所有NFT被售出。[2022/5/15 3:17:08]

Move操作器,存款代码

1publicwithdraw_from_sender(amount:u64):Coin{2lettransaction_sender_address:address=GetTxnSenderAddress();3letcoin_ref:&mutCoin=BorrowGlobal(move(transaction_sender_address));4letcoin_value_ref:&mutu64=&mutmove(coin_ref).value;5letcoin_value:u64=*move(coin_value_ref);6RejectUnless(copy(coin_value)>=copy(amount));7*move(coin_value_ref)=move(coin_value)-copy(amount);8letnew_coin:Coin=Pack(move(amount));9returnmove(new_coin);10}

Move操作器,取款代码

Move编程语言是静态的,并且由编译器工具来发现错误和潜在的问题。

Move源代码被编译为由虚拟机执行的静态的IR(intermediaterepresentation)代码。IR代码由工具进行检查并验证是否正确。

1publicmain(payee:address,amount:u64){2letcoin:0x0.Currency.Coin=0x0.Currency.withdraw_from_sender(copy(amount));30x0.Currency.deposit(copy(payee),move(coin));4}

实际上,目前的Libra资料仅仅有MoveIR代码的案例。Move源代码的细节,在撰写本文时还未公布。

Move编程语言和虚拟机是Libra项目的关键创新之处,但是Move编程语言与传统的Solidity和Vyper智能合约语言,以及EVM和WebAssembly区块链虚拟机相比,所做出的妥协有哪些呢?

牺牲图灵完备性

大多数DSL特定语言系统都会就具体的任务进行优化,因此并不适用于广泛意义上的计算。Libra并未直接表示Move编程语言是不是一个图灵完备的体系,但是,Move专门针对金融交易进行优化,Move系统可能并不适合用在开发加密货币游戏或。

也就是说,Libra软件对于大多数企业智能合约用例来说并不合适。但还有其他的方面,Move编程语言在很大程度上不是智能合约。

Move程序不是智能合约

Move程序必须进行编译,并且集成到一个Libra节点软件当中,对普通用户来说才是可用的。Libra区块链如果要支持新的Move程序,必须要暂停整条链,并且所有三分之二的验证人节点进行软件升级,才能够支持同样的Move程序,这在本质上意味着,每次要添加新的Move程序到区块链,都要进行硬分叉,期间伴随着区块链服务暂停。这不是智能合约,而是chaincode。

智能合约的一个决定性的特点就是它有能力按照要求在区块链在并不需要暂停服务的情况下,通过共识,部署并且执行新代码,这对于企业区块链或者是公链来说非常重要。

公链必须允许任何人在不需要得到授权也不需要暂停服务的情况下部署并执行智能合约代码;

企业级的区块链特别需要使用智能合约来创造自动化的商务决策。比如在不同几方之间,进行担保交易。雇员与合伙人必须能够按照实际需要来修改和部署智能合约,同时不需要暂停整条链。

Libra项目作为一个专注于金融交易的准入式区块链,它的最初的方案,是使用不可更改的chaincode。这样能够让整个系统更加安全,而且更加稳定,因为所有的Move程序都会至少要得到100个验证人节点中的67位的检查和允许。但是Libra项目所声称的目标是在接下来五年当中,进化成一条公链。我们相信Move架构会与区块链共同进化。

写在最后

在本篇文章中,我们聚焦讨论了Move编程语言以及由其驱动的智能合约。当然,Libra还有其它很有意思的技术创新。比如以下值得关注的点:

以太坊每个节点都维护了一个全球性的数据库,在每个区块更新之后,数据库也会跟着更新;而Libra与以太坊不同,Libra的数据库是基于不同版本的,Libra的状态数据库在每个交易完成后得到更新。对Libra来说,相较交易的概念而言,区块的概念没有那么重要。

Libra区块链最初的性能目标是每秒1000笔交易。很显然,这对于一个全球性的支付企业或者全球性的电商场景而言,已经足够了,因为VISA平均TPS也仅仅在1700左右。Libra没有不切实际、不负责任地吹嘘百万TPS。

在接下来的两篇文章中,我们将提供对Move程序的深度解读,并向读者展示Move语言具体是如何工作的。敬请期待。

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

地球链

LTCNFT:从区块链的工作逻辑探究理想的共识机制

作为比特币的底层技术,区块链解决的一个核心问题是双花问题,即它需要让分布式节点达成一个统一的认可,这需要一定的方式确定哪些节点是合法的存在,哪些是不合法的存在,由此也就需要共识机制的加入.

[0:15ms0-0:723ms