链资讯 链资讯
Ctrl+D收藏链资讯

MOV:Move语言:我眼中的 Libra 最大亮点_数字资产

作者:

时间:

编者按:本文来自安比实验室SECBIT,作者:安比实验室创始人郭宇,星球日报经授权发布。在区块链领域里面,凡是套用传统方法的方案,无一胜出,唯有创新才有未来。——郭宇相信各位和我一样,今天被Facebook刷爆朋友圈。Facebook发起的加密数字货币项目Libra今天正式公开亮相。Libra同步发布了多语言官网和白皮书,定位为面向数十亿人的全球货币和金融服务基础设施。Libra还发布了多个技术白皮书,详细介绍了其新开发的编程语言Move和共识协议LibraBFT。Libra源码已在GitHub开源,测试网络也已上线。目前设计为许可链,其声称当前非许可链不存在成熟的解决方案能够支撑数十亿人的使用需求,并表明将在发布五年内开始转向非许可链的过渡工作。Libra的一系列发布中,新的编程语言Move尤为吸人眼球。第一时间看了Move的白皮书,嗯,这也许才是未来智能合约语言该有的样子。一位来自柏林的开发者LefterisKarapetsas在社交平台上提出了自己的观点:Theirdesigngoalsseemtooverlap,orevenaimtoreplaceEthereum?他们的设计目标似乎有些重叠,或者甚至旨在代替以太坊?PuzzleToLife.com的创始人CryptoPuzzleDream认为:Ithink"move"programminglanguagereleasedby$FBcouldbemoreinterestingthanlibra.我认为FB发布的“move”语言比libra更有趣。JamesClark是一名标准极客,他说:I'musuallyprettyskepticalofanythingrelatedtocryptocurrency,buthere'sonepieceofLibrathatlookspotentiallyinteresting:abytecodeprogramminglanguagecalledMovewithsemanticsinspiredbylinearlogic.我通常对与加密货币相关的任何东西都表示怀疑,但是Libra中有一部分看起来相当有趣:一个被称为Move的字节码编程语言,其语义受线性逻辑的启发。而我脑子里闪过是这样一句话:Move是为「数字资产」而生的智能合约平台型语言。Move语言的三大用处

F2Pool联创王纯13小时前提取15886枚ETH并将1420枚转至币安:金色财经报道,据Lookonchain监测,13小时前F2Pool联合创始人王纯(satofishi.eth)提取了15886枚ETH(价值3300万美元),并将1420枚ETH(价值300万美元)转移至币安。[2023/4/18 14:10:22]

发行数字货币,Token,和数字资产灵活处理区块链交易验证器管理自底向上的静态类型系统

Move采用的是静态类型系统,类型系统本质上是一种逻辑约束。相比以太坊的智能合约语言来说要严格地多。现代的编程语言比如Rust,Golang,Typescript,Haskell,Scala,OCaml都不约而同采用了静态类型系统,他们的优点是,很多编程低级错误都可以在编译的时候发现,而不是拖到运行期才爆出bug。Well-typedprogramsnevergetstuck.这是程序语言领域的一句黑话:一个类型无误的代码永远不会跑飞。意思是,如果一段合约代码经过了类型检查,那么可靠性会相当高。Move也没有设计成一个100%静态类型检查的语言,那样会降低实用性。Move提到了尽量让类型检查在编译的时刻进行,而不是等部署到链上之后。当然有些类型检查不得不放到运行期,但是仍然可以保证类型安全。Move有个非常好的设计思路是,从虚拟机开始就是静态类型化的,然后往上是一个中间语言层,IR,也是类型化的。将来,Move上层将会提供更多的面向各种金融应用的高级语言,那些语言自然也是静态类型,保证智能合约不再会发生非常低级的错误。First-classResources理念

Variant推出新的创始人奖学金孵化器:金色财经报道,加密风险投资公司 Variant 普通合伙人Jesse Walden 和 Li Jin宣布推出 Variant 的新创始人奖学金,一项为期三个月的教育计划,面向处于创业初期阶段的加密货币创始人。[2023/3/24 13:24:44]

First-classResources这个词相当的学术,中文翻译过来叫资源是一等公民,这究竟什么意思呢?所谓的编程语言的一等公民就是编程语言在编程的时候首要考虑的被编程对象。那么资源,Resources又是什么呢?这也是一个很学术的名字。Resources是和Value相对应的概念。Value是可以随意拷贝的,而Resources只能被消耗,不能被拷贝。Resources就像可乐,你喝了一瓶就少了一瓶,而Value,就好比写在本子上的英文单词,每天早上都可以念一遍,念完他不会消失,如果你记住了,那就在脑子里拷贝了一份。不仅你可以念,我也可以念,你可以背,我也可以背。传统的编程语言,包括以太坊智能合约语言中,对于数字资产的记账是采用的Value方式,这会导致一个问题:记账是有可能记错的。事实上记错账的智能合约相当得多,比如张三向李四转账,李四的账户多了10块钱,但是张三的账户余额却没改。过去两年里的各种记账漏洞甚至一度搞得大家已经对智能合约的未来丧失了信心。Move合约采用了一种吸收了传统理论「线性逻辑」的类型,叫做资源类型。数字资产可以用「资源类型」来定义,这样一来,数字资产就像资源一样,满足线性逻辑中的一些特性:数字资产不能被复制数字资产不能凭空消失First-classResources的真正含义是数字资产是一等公民,这句话可以引申出,Move是为操作数字资产而生的智能合约语言。从技术角度讲,数字资产可以作为合约的变量,数字资产可以存储,可以赋值,可以作为函数/过程的参数,也可以作为函数/过程的返回值。而Move的静态类型系统使得智能合约代码能够在编译期,也就是部署前就可以通过编译器检查出绝大多数的资源使用错误。保证智能合约不再像以前那样的脆弱不堪。摘用白皮书摘要中的一句话:First-classresourcesareaverygeneralconceptthatprogrammerscanusenotonlytoimplementsafedigitalassetsbutalsotowritecorrectbusinesslogicforwrappingassetsandenforcingaccesscontrolpolicies.作为一等公民的资源是一种非常普遍的概念,程序员不仅可以用它实现安全的数字资产,同时也可以编写正确的业务逻辑,实现正确的访问控制策略。合约安全性设计

Coinbase:质押验证者2022年收益可达30亿美元:金色财经报道,据官方推特,Coinbase援引据公开数据表示,仅在美国,支付处理商于2022年收取费用达就超过5000亿美元。而如果不是大公司运营并从支付基础设施中赚钱,普通人可以从中赚取收入。选择链上质押,质押验证者2022年收益可达30亿美元。[2023/3/17 13:09:24]

Move合约在设计时,充分考虑了安全性。首先Move完全不支持动态指派。好,我这里解释下什么是DynamicDispatch,通俗地说,这是一种非常灵活的语言机制。在程序里面是可以写很多的函数,或者过程,或者子程序。然后一个主程序可以来调用这些函数/过程/子程序,来分别完成不同的功能。如果程序在运行之前,我们就能知道它到底都调用了哪个函数,或者以某种顺序调用很多函数,那么这些函数调用是「静态」的,如果在运行之前,我们不清楚某一步的函数调用究竟是调用了哪一个函数,直到程序运行的时候,通过观察,我们才能知道的话,那么这个函数调用被称为是「动态」的。「动态」显然要比「静态」灵活的多。但是灵活也意味着更容易出问题。现代很多编程语言都或多或少支持动态指派,也就是从语言层面直接支持,比如面向对象语言中的「继承」导致的「动态绑定」。动态特性是不利于程序的推理,更不利于形式化验证,也更容易出安全问题。在以太坊智能合约设计中就存在许多「动态特性」,比如支持函数指针做参数,合约做参数,delegatecall等等。而在Move语言中,完全不支持任何形式的「动态指派」或者「动态特性」,所有的合约执行路径都能在编译的时候确定,然后可以进行非常充分的分析、验证。Move合约在运行前都会经过一个字节码验证器进行校验,这个验证器可以检查出各种类型错误。同时字节码在解释执行的时候,仍然是带着类型,一边运行,一边检查。Move语言对合约可修改变量进行了非常严格的限制,并且从Rust语言那边偷师了一些设计理念。保证任何时刻只能由一个指针对可修改变量进行修改,这样不会造成混乱。以太坊Solidity里面,可以定义很多的指针指向同一个变量,如果代码逻辑没考虑清楚,就会很容易出问题。与以太坊EVM平台相比,Move模块系统不支持循环递归依赖,完美解决合约重入漏洞。强悍的模块系统

全链借贷协议Radiant Capital将于下周上线Radiant v2版本:2月10日消息,全链借贷协议Radiant Capital近日发文表示,Radiantv2版本讨论的所有新功能已在测试版中构建并完全实现,安全团队派盾和Zokyo正在进行审计。官方表示希望在2月16日左右上线v2版本。

此前报道,新版本通过将协议Token RDNT从ERC-20格式转换成LayerZero OFT格式,实现跨链费用无缝共享,同时便捷协议多链启动。此外,Radiant v2还将改变协议费用分配方案,通过增加流动性提供者在协议费用流中的份额,减少解锁RDNT的稀释影响,为流动性提供者提供更强大的效用。[2023/2/10 11:59:43]

Move模块系统采用的是一种函数式编程语言风格的设计,按照白皮书的说法:Movemodulesaresimilartosmartcontractsinotherblockchainlanguages.…,However,modulesenforcestrongdataabstraction—atypeistransparentinsideitsdeclaringmoduleandopaqueoutsideofit.模块系统可以很好地将数字资产的概念打包封装,对于数字资产的操作比如通过模块的公开接口,并且在这个接口上可以做灵活的权限控制。在写以太坊智能合约的时候,以太坊上的ERC20Token是作为一个合约而存在,而在Move语言中,一个Token可以被想象成一个箱子,被随意像资源一样传递,但是同时不会暴露箱子内部细节。同时模块系统的抽象也完全基于它的静态类型系统,并且类型安全性完全可以由智能合约虚拟机来检查保证。Move的模块系统为智能合约的形式化验证提供了非常好的基础,在模块内部可以定义「不变式」。所谓的不变式是指对数字资产内部状态的一个严格约束,这个约束可以为形式化验证的自动化提供非常有价值的信息。而且,模块系统的「不透明抽象」可以使形式化验证工作变得模块化,成本更低。在Move模块系统上编写程序分析器,符号执行器也会简单很多,因为经过抽象,可以把合约逻辑变得非常简单,易推理。面向未来的Move智能合约Move虽然看起来还略显粗糙和稚嫩,但是这个方向仍然让人激动人心,从Move语言层面可以看到Facebook的野心,是想做一个庞大的数字资产平台。这个角色本来是应该属于以太坊。我为什么有点喜欢上了Move,想了想,大概下面三个原因:汲取了PL(程序语言)领域研究成果,同时也吸收了EVM智能合约语言的经验教训从设计上无比重视「智能合约安全性、正确性」没有墨守成规,而是积极创新,是设计构思真正适合金融应用的智能合约语言

行情 | Gate.io Startup首发区项目MovieBloc今日跌超20%:Gate.io Startup首发区项目MovieBloc(MBL)持续下跌,现跌至0.0010美元,较开盘价(0.0012美元)已下跌23%,较今日最高价格(0.002114美元)下跌超过50%。跌幅较大,请做好风险控制。[2019/5/6]

标签:MOV数字资产RESLIBMoviToken数字资产交易平台ares币前景libra币在哪个交易所

莱特币价格热门资讯
XRP:起底瑞波:一家靠砸自己盘为生的公司_PPL

定期卖币砸盘 瑞波是一家怎样的公司?简单来说,这是一家靠卖币为生的企业。根据官方公布的数据,瑞波在2019年一季度盈利1.6亿美元,盈利模式很简单——卖币.

XRP:一块广告牌的激进实验:欢迎进入没有物权的世界_PPL

编者按:本文来自禅与宇宙维修艺术,作者Mable,Odaily星球日报经授权转载。英国插画师JohnHolcroft作品今天推荐的这篇文章来源于一位朋友做的有趣实验.

MOV:“瞭望塔”六月发布在即,闪电网络这下更安全了_FHTN价格

Odaily星球日报译者|Moni闪电网络的“瞭望塔”——这个备受期待的保护网络很快就要正式发布了.

LIBRA:「Facebook+Libra」,能保护数十亿用户的数据安全吗?_LIB

编者按:本文来自光之树科技,作者张佳辰,Odaily星球日报经授权转载。6月中旬,Facebook主导的区块链加密货币项目Libra的白皮书正式公布;并宣称其使命是“建立一套简单的、无国界的货币.

中心化交易所:打破去中心化世界里的权利垄断_区块链最大局

只要交易成本等于零,产权的初始配置不影响效率。——1991年诺贝尔经济学奖经济学家罗纳德·科斯一、交易所的历史人类商业的历史就是一部交易的历史.

区块链:蚂蚁区块链首席产品架构师徐惠:为了服务实体经济,我们落地了30+个区块链应用场景_BAAS币

5月28日,由2019中国国际大数据博览会组委会主办,中国信息通信研究院承办,Teleinfo和Odaily星球日报协办的2019全球区块链技术发展论坛在贵阳召开.