作者|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个首批合作伙伴
中国移动今日在福州新区完成闽港区块链“中移闽链”和“中移香港链”的跨境跨链流通测试:6月19日消息，据C114通信网报道，中国移动今日在福州新区完成闽港区块链“中移闽链”和“中移香港链”的跨境跨链流通测试。本次测试采用中国移动研究院自主研发的“中移链”跨链服务和跨链NFT智能合约技术方案，构建链间标准跨链协议，通过“跨链服务+链适配器+智能合约”实现一套标准跨链原语，支持不同链之间进行通用数据和数字资产的跨链互操作，实现不同链之间的可信交互、双向流通，从而构成区块链价值信任网络，为闽港两地通用数据在不同区块链间的可信交互、自由流通提供坚实基础。“中移闽链”目前部署在福州长乐数据中心，后续将在平潭综合实验区落地部署，“中移香港链”则部署在香港的云资源池。下一步，“中移链”将与福建实达集团自主研发的区块链平台进行打通，实现闽、港和社会三方跨链协同服务。[2023/6/19 21:47:16]
Libra区块链是一个去中心化的可编程的数据库，其被设计成用于支持一个波动性低的加密货币，它能作为有效的交换媒介服务世界上几十亿人。
——Libra白皮书
但作为技术人员，我们对于其运用区块链技术的方式最感兴趣。
为什么Libra项目要求有自己的一条区块链呢？对于应用程序开发者来说机会在哪里？对于企业以及传统的IT公司而言，从中可以得到哪些推断？我们将分三篇文章来讨论这几个问题。
GALA突破0.06美元，24小时涨幅逾26%:金色财经报道，行情显示，GALA突破0.06美元，现报0.0615美元，24小时涨幅为26.09%。行情波动较大，请做好风险控制。[2023/1/28 11:33:48]
1、Libra应用程序开发方法；
2、深度解析Libra项目的核心应用；
3、如何基于Libra开发一款应用程序？
本文为系列文章第一部分，一起来看吧。
智能合约先行
Libra项目中最引人瞩目的设计功能之一，就是其智能合约先行的策略。就算是像以太坊这样的智能合约平台，智能合约的执行仅仅是一种交易的类型。以太坊原生操作仍然是币的交易。而Libra不同。智能合约是Libra上的一等公民。
通过LibraCore内部组件写智能合约的流程
Libra区块链本身是用Rust编写的，但是Libra上的应用程序是使用新的编程语言Move来编写。所有来自外部的区块链互动都由Move程序来处理，在Libra上，即便是一个币的转账，也是由Move程序来处理的。每一个Libra节点都会运行一个虚拟机。虚拟机执行程序，并且记录共识达成后的结果。笔者认为智能合约先行的方式能够让Libra项目建立起一个功能多样的基础设施，这也能适用于未来的需要。
Gemini英国子公司距离提交2021年账目最后期限已超过三个月:金色财经报道，加密货币交易所Gemini的英国子公司已经错过提交2021年账目的最后期限，超过了三个月。该交易所目前正面临着对其Earn计划的审查，其2020年的账目也延迟提交。
英国税务部门要求公司在财政年度结束后九个月向公司总部提交账目。Gemini公司2021年账目提交的最后期限是2022年9月30日。Gemini没有回应关于延迟发表评论的多项请求。[2023/1/5 10:23:41]
为什么使用Move编程语言
那么，为什么我们需要一种新的编程语言？是因为安全和性能的要求。Libra要建造一条新的链，因为目前市场上的区块链解决方案没有办法满足其对性能和安全的要求。
Facebook和Libra想要建立专注于支付和资产数字化的区块链，因此他们创造了Move编程语言，内置了对不可更改且不可复制的资产的支持。Move编程语言是一个用于数字资产管理的DSL。
比特币在加密方面成就非凡，能够在数字世界创建无法复制的东西，有着非常巨大的价值。
——艾里克斯米特，谷歌主席
Move编程语言的名字来自于Move本身支持的基础操作器。Move操作器负责移动资产。Move消除了原本常见的两步操作：减掉前面一个账户的余额，然后加到另外一个账户。Move语言将资产与资源放在一等公民的地位。当然，Move语言也有其他重要的特性，使其在资产管理方面更加安全，更加健壮。
9月迄今STEPN月活用户已降至3万以下，新鞋铸造量降幅达84%:金色财经报道，据 Dune Analytics 最近数据显示，9 月迄今 M2E 应用 STEPN 月活用户已降至 3 万以下，相较于今年 5 月下跌了 95%。此外，自 9 月初以来，STEPN 每日用户数量也一直在走低，目前新用户增幅已下跌 32%。在“新鞋”铸造量上，6-8 月期间，每日铸造的新鞋数量下降了 84%，而本月存款交易量降幅达到了 91%。[2022/9/19 7:05:42]
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}
Binance NFT和葡萄牙波尔图足球俱乐部合作推出NFT盲盒:7月4日消息，Binance NFT 市场宣布和葡萄牙波尔图足球俱乐部达成合作推出「波尔图足球队：第三十届联赛冠军」NFT 盲盒系列。
这是波尔图足球队推出的第三个 NFT 盲盒系列，展示了他们成功的第九个 Dobradinha 赛季的关键球员时刻，以及赢得国家联盟和国家杯过程中的亮点，每个盲盒包含一个 NFT，定价为 3 个 PORTO 粉丝 Token。盲盒分为 4 个稀有度：普通（N）、稀有（R）、超级稀有（SR）、极度稀有（SSR）。[2022/7/4 1:50:13]
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语言具体是如何工作的。敬请期待。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。