LIBRA:被 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个首批合作伙伴

上周加密初创公司融资6000万美元:金色财经报道,上周11家加密货币初创公司总共筹集了近6000万美元,其中大多数专注于流动性质押或智能合约安全。本周最大的资本吸引者是流动性质押衍生品解决方案Helio Protocol,该解决方案从BinanceLabs获得了1000万美元的融资。据币安实验室称,该协议锁定的总价值总计3亿美元,主要从事其去中心化稳定币HAY的超额抵押贷款。

SphereX是第三家也是最后一家以安全为首要考虑的融资公司。该公司以2400万美元的估值筹集了820万美元的种子资金,投资者包括Aleph、PillarVC、FabricVentures、MenschCapitalPartners和其他天使投资者。该公司的旗舰产品是SphereXProtect,这是一种智能合约安全解决方案,可防止黑客利用代码中的漏洞。[2023/8/14 16:24:06]

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

——Libra白皮书

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

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

NFT项目Deadfellaz推出最新IP产品“Streamingfellaz”:金色财经报道,NFT项目Deadfellaz在社交媒体宣布推出最新IP产品“Streamingfellaz”,允许其NFT收藏家群体(被亲切地称为“部落”)能够通过视频流显示他们的数字身份。Streamingfellaz持有者能在虚拟通话、直播和预录视频内容中表达他们的Deadfellaz角色,通过模拟用户的动作和表情使PFP角色栩栩如生,Twitch、YouTube、Google Meet和Zoom等平台都针对此实用程序进行了优化。DFZ LABS联合创始人兼首席执行官Betty称数字身份表达是Deadfellaz品牌的基石,Streamingfellaz是品牌使命延续,可以为藏家提供资源和创意扩展,让他们能够在任何地方表达化身。[2023/5/21 15:16:35]

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

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

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

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

智能合约先行

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

外媒:AAX尼日利亚用户冲入当地办公室殴打员工:12月4日消息,据当地媒体报道,尼日利亚用户近日冲进了AAX交易所位于拉各斯的办公室,并殴打了员工。据报道,愤怒的用户要求交易所取消取款冻结。尼日利亚区块链技术协会(SIBAN)公告反对愤怒的尼日利亚用户对 AAX 员工的袭击。

11月13日消息,AAX网站突然暂停服务,称由于系统升级第三方合作伙伴的失误,导致部份用户数据的完整性欠佳,影响了平台服务及风险管控。AAX已删除其官方Youtube频道及Facebook账号,有市场传言称AAX即将破产。加密交易所AAX副总裁Ben Caselin 11月28日发推文称其已从AAX辞职 ,称其提议未被接受且公司品牌不复存在。[2022/12/4 21:21:48]

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

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

Oasis Pro Markets与Solidus Labs合作,提供机构级的加密货币风险监测和合规服务:金色财经报道,交易系统Oasis Pro Markets宣布选择Solidus Labs作为战略合规合作伙伴。Solidus的加密原生、自动化和全面的统一市场完整性软件套件HALO,将使Oasis Pro Markets能够在一个平台上访问多个风险和合规项目,利用由机器学习支持的基于行为的检测模型来处理一系列特定于加密货币的威胁和警报。

Oasis Pro Market在5月份宣布获得了2700万美元的A轮超额认购。投资者包括Avalanche Fund、Inveniam、Redwood Trust、TrustLabs、Mirae Asset Venture Investment、Gate Ventures、LedgerPrime。(businesswire)[2022/9/16 7:01:03]

为什么使用Move编程语言

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

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

OpenNode与Primer达成合作,帮助全球商家提供比特币支付方式:金色财经消息,比特币支付处理器和基础设施提供商OpenNode宣布与Primer建立新的合作伙伴关系,将使世界各地的商家能够接受比特币作为产品和服务的支付方式。

据悉,Primer是在全球范围内运营的商业和支付自动化平台,提供易于使用的基础设施来构建更好的购买体验。通过其合作关系,使用Primer的商家现在可以通过一键式集成方案添加比特币作为结账支付选项。(Prweb)[2022/5/18 3:23:23]

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

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

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

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}

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语言具体是如何工作的。敬请期待。

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

金星链

[0:15ms0-0:568ms