MOV:Move 语言的特点

Move是Meta为其稳定币项目Diem开发的编程语言,Diem的愿景是作为一款全球性的数字原生货币,集稳定性、低通胀、全球普遍接受和可互换性于一体。其愿景决定了Move是为金融而生的编程语言。Move的特点主要有以下五个方面:将资产作为一等公民编程

通过静态调用、虚拟机沙盒等确保其安全性可验证性灵活性合约可组合性将资产作为一等公民编程

Move语言通过Resource为数字资产定义。Move语言中数字资产以被特殊定义的代码/resource/表示和存储。

马斯克:X品牌价值将达到推特收购价的至少10倍:金色财经报道,特斯拉CEO埃隆·马斯克近期在社交平台上表示,他预计X的品牌价值将达到他收购推特价格的至少10倍,即4400亿美元以上。

此前,推特曾宣布正式启用X名称和Logo,告别原有的Twitter名称和小蓝鸟形象。

推特新任CEO Linda Yaccarino发文表示:X是无限交互的未来形态——以音频、视频、消息、支付/银行为中心,创建一个充满创意、商品、服务和机会的全球市场。在人工智能支持下,X将会连接所有人。[2023/8/7 21:29:27]

Move语言抽象了资源的四个属性:可复制、可索引、可丢弃、可存储,通过这四个属性的不同组合,用户可以方便的定义出任何类型的资源。

去中心化交易所Trader Joe将推出升级版交易引擎:金色财经报道,去中心化加密货币交易所 (DEX) Trader Joe营销负责人Blue周五表示,最快将于下周推出升级版交易引擎Liquidity Book V2.1,该版本将使存款人更有效地向Trader Joe的流动性池中添加代币,并改善链上交易体验。Trader Joe已在Arbitrum、BNB Chain和Avalanche上部署,升级还将引入“自动池”,自动管理存款人在流动性池中的活跃头寸,以降低风险。[2023/4/1 13:38:35]

Move规定资源会存储在由所有者的帐户控制的模块里,经过验证的所有者以/签名者/表示,这些资源的所有者具有最高决定权,只有所有者能够决定资源的存储和转移。

加密贷款协议 Alchemix Finance 批准 ALCX 代币回购计划:金色财经报道,加密贷款协议 Alchemix Finance 背后的 DAO 周一批准了一项提案,将支持其金库和流行性挖矿活动的部分现金转移到其原生 ALCX 代币回购计划中。该提案旨在通过指示 Alchemix 将其流行性挖矿收入的三分之一用于购买 ALCX代币来支持alAssets ,新模式应该产生足够的收入来“支付所有费用,并让金库有适度的盈余”。Alchemix Finance 财库目前拥有 100 万美元的稳定币和 200 万美元的以太坊,每年的消耗高达 120 万美元,提案称:“它将我们最大的开支变成了该协议的主要收入来源。[2023/2/7 11:51:06]

资源的设计让数字资产转移不是账户间余额数值的简单加减,而是存储位置间的移动,避免重入和双花攻击。

重入和双花攻击是黑客攻击常见类型。重入指的是黑客抓住项目方转账模式的漏洞,制造恶意合约,在接受转账的同时再次调用项目方转账函数,在不改变账户余额的情况下不断提走资金。双花攻击则更好理解,用同一笔钱多次完成支付。

资源确定数字资产仅在存储位置之间转移,避免了重入。不凭空产生或销毁数字资产,避免了双花攻击。通过静态调用、虚拟机沙盒等确保其安全性

Move语言采用静态调用,静态调用指程序A在调用程序B时,在运行之前就已经确定调用的对象,在运营过程中不改变调用对象。

静态调用提升了运行的安全性。动态调用过程中,恶意用户可以通过制造恶意合约,调用项目方函数,从而完成攻击。静态调用解决了动态调用存在的问题,增强网络运行的稳定性。

MoveVM是Move编程语言的虚拟机沙盒,虚拟沙盒让采用Move语言的区块链具备确定性,合约调用被放在同一个沙盒当中,在此过程中合约的状态的安全性主要要通过编程语言内部的安全性进行隔离,而非依赖虚拟机进行隔离。可验证性

Move编程语言采用形式化验证。简而言之,形式化验证是用数字工具分析的手段证明程序的安全性。此前提到的静态调用、虚拟机沙盒能够提升验证的安全性。灵活性

Move的灵活性体现在可以通过transaction脚本来z由组合各种transaction来实现不同的功能,一个脚本可以调用多个transaction。

Move通过面向泛型编程,保障了合约的扩展性,增加了代码的复用能力。合约可组合性

Move语言的合约可组合性源自于其Module的设计,基于Module间的组合只需要对Module进行升级和优化,所有使用过这个Module的其他合约都会自动使用最新的版本,加速使用Move语言的智能合约升级优化的速度。

Module相当于给这些智能合约提供了统一的兼容空间,智能合约就像乐高玩具的各个部分,通过任意组合产生新的产品。文章来自

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

链链资讯

[0:0ms0-3:845ms