Move是Meta为其稳定币项目Diem开发的编程语言,Diem的愿景是作为一款全球性的数字原生货币,集稳定性、低通胀、全球普遍接受和可互换性于一体。其愿景决定了Move是为金融而生的编程语言。Move的特点主要有以下五个方面:将资产作为一等公民编程
通过静态调用、虚拟机沙盒等确保其安全性可验证性灵活性合约可组合性将资产作为一等公民编程
Move语言通过Resource为数字资产定义。Move语言中数字资产以被特殊定义的代码/resource/表示和存储。
2023年比特币永续合约资金费率第三次转负:金色财经报道,2023年比特币永续合约资金费率第三次转负。每次资金利率变为负值时,随着BTC价格上涨,空头清算量就会增加。1月和2月,1月份的资金费率为负时的持续时间略长于2月份。[2023/3/5 12:43:04]
Move语言抽象了资源的四个属性:可复制、可索引、可丢弃、可存储,通过这四个属性的不同组合,用户可以方便的定义出任何类型的资源。
Move规定资源会存储在由所有者的帐户控制的模块里,经过验证的所有者以/签名者/表示,这些资源的所有者具有最高决定权,只有所有者能够决定资源的存储和转移。
遭黑客攻击的算法稳定币Beanstalk Farms拟借入7700万美元资金重启项目:5月11日消息,遭黑客攻击的Stablecoin Beanstalk Farms正在从私人投资者那里筹集7700万美元的场外交易贷款拟重启项目。据悉,Beanstalk DAO已经于近日批准了相关贷款融资的治理投票,该团队计划向OTC贷方发行新代币,声称将支付500%的收益率,直到贷款全部偿还,但目前还不清楚谁会出资借给Beanstalk。
此前报道,2022年4月17日,Stablecoin项目Beanstalk DAO遭受黑客攻击,损失高达1.82亿美元。BeanStalk是一个分散的基于信用的Stablecoin协议,由三个相互连接的组件组成:去中心化价格预言机、去中心化治理系统和去中心化信贷工具。(TheBlock)[2022/5/11 3:04:56]
资源的设计让数字资产转移不是账户间余额数值的简单加减,而是存储位置间的移动,避免重入和双花攻击。
北京立法保障数字经济发展:金色财经报道,《北京市数字经济促进条例》25日经北京市第十五届人民代表大会常务委员会第45次会议表决通过,为北京市数字经济发展提供法治保障。
北京市经济和信息化局副局长王磊介绍,条例明确了数字基础设施的规划布局、建设内容和保障措施,提出加快建设信息网络基础设施、算力基础设施和新技术基础设施,同时也要求推进传统基础设施的数字化改造,促进数字技术与传统基础设施的深度融合,设立统一的城市码体系和时空基准底座,统筹建设数字公共服务基础设施,推进智能设施建设。
数字产业化方面,条例明确支持数字产业基础研究和关键核心技术攻关,提升基础软硬件、核心元器件、关键基础材料和生产装备的供给水平,强化关键产品自给保障能力;重点培育高端芯片、新型显示、基础软件、工业软件、人工智能、区块链、大数据、云计算等数字经济核心产业。(新华网)[2022/11/25 20:46:10]
重入和双花攻击是黑客攻击常见类型。重入指的是黑客抓住项目方转账模式的漏洞,制造恶意合约,在接受转账的同时再次调用项目方转账函数,在不改变账户余额的情况下不断提走资金。双花攻击则更好理解,用同一笔钱多次完成支付。
资源确定数字资产仅在存储位置之间转移,避免了重入。不凭空产生或销毁数字资产,避免了双花攻击。通过静态调用、虚拟机沙盒等确保其安全性
Move语言采用静态调用,静态调用指程序A在调用程序B时,在运行之前就已经确定调用的对象,在运营过程中不改变调用对象。
静态调用提升了运行的安全性。动态调用过程中,恶意用户可以通过制造恶意合约,调用项目方函数,从而完成攻击。静态调用解决了动态调用存在的问题,增强网络运行的稳定性。
MoveVM是Move编程语言的虚拟机沙盒,虚拟沙盒让采用Move语言的区块链具备确定性,合约调用被放在同一个沙盒当中,在此过程中合约的状态的安全性主要要通过编程语言内部的安全性进行隔离,而非依赖虚拟机进行隔离。可验证性
Move编程语言采用形式化验证。简而言之,形式化验证是用数字工具分析的手段证明程序的安全性。此前提到的静态调用、虚拟机沙盒能够提升验证的安全性。灵活性
Move的灵活性体现在可以通过transaction脚本来z由组合各种transaction来实现不同的功能,一个脚本可以调用多个transaction。
Move通过面向泛型编程,保障了合约的扩展性,增加了代码的复用能力。合约可组合性
Move语言的合约可组合性源自于其Module的设计,基于Module间的组合只需要对Module进行升级和优化,所有使用过这个Module的其他合约都会自动使用最新的版本,加速使用Move语言的智能合约升级优化的速度。
Module相当于给这些智能合约提供了统一的兼容空间,智能合约就像乐高玩具的各个部分,通过任意组合产生新的产品。文章来自
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。