木星链 木星链
Ctrl+D收藏木星链
首页 > MATIC > 正文

MOVE:火币CTO程显峰:Facebook推出的Move语言值得关注

作者:

时间:1900/1/1 0:00:00

8月21日,火币CTO程显峰在火星财经POW’ER2019全球开发者大会上表示,当前智能合约需要比以往更强大的编程语言理论支持,对Facebook新推出的编程语言Move表示关注,“Move可能推动线性逻辑等特性在编程语言中广泛应用”。

智能合约自1995年尼克萨博首次提出至今已有24年时间,2013年以太坊白皮书的出现使智能合约得到前所未有的关注与发展,彼时智能合约的安全性也在不断经受考验。在此前智能合约语言里,数字资产记账采用Value方式,而Value可被随意拷贝,且由于以太坊EVM支持递归调用,造成代码编写时容易出现重入漏洞。2016年,TheDAO因该漏洞丢失360万个以太坊代币。

波场TRON(TRX)已正式上线火币日本交易所并开启交易:据官方最新消息,波场TRON(TRX)已正式上线火币日本交易所并开启交易。

据悉,波场 TRON 以推动互联网去中心化为己任,致力于为去中心化互联网搭建基础设施。旗下的 TRON 协议是全球最大的基于区块链的去中心化应用操作系统协议之一,为协议上的去中心化应用运行提供高吞吐,高扩展,高可靠性的底层公链支持。波场 TRON 还通过创新的可插拔智能合约平台为以太坊智能合约提供更好的兼容性。[2021/9/14 23:24:22]

北京时间6月18日,Facebook发布加密项目Libra白皮书,此外Facebook还发布了名为Move的智能合约编程语言,该语言吸收了传统理论“线性逻辑”类型,用Resource代替Value作为记账方式,将数字资产定义为“资源类型”,同时解决了重放漏洞问题,大大增强了语言的安全性。

火币全球站将于10月21日13:00暂停AR充提业务:火币官方刚刚发布公告称,由于主网升级,火币全球站将于10月21日13:00暂停AR (Arweave)的充币和提币业务。待升级完成后恢复,具体时间另行通知。[2020/10/20]

Move语言一经推出被受到区块链行业极客广泛关注及追捧。程显峰表示,火币技术人员对于业内领先技术十分关注,现有计算机系统漏洞大多数是资源管理不当造成了,在此背景下以Move语言具有的线性逻辑特性十分重要,该语言可使开发者通过编译器直接检查资源是否泄漏。

公告 | 火币全球站现已恢复BTM充提币:据火币官方公告,火币全球站现已恢复BTM的充币和提币业务。[2018/12/11]

他进一步表示,线性逻辑早在上世纪八九十年代就被关注并讨论,在线性逻辑里资源只能且必须被使用一次,这对智能合约资产安全安全是至关重要的。在目前的智能合约中,资产实际上是以信息形式存在的,可以被不断复制,我们需要靠挖矿过程中的共识来规避双重支付等漏洞,而在线性逻辑中,资产是一种资源,这将有效解决当前智能合约存在的固有漏洞。

对于区块链开发者,程显峰建议“如果你想做智能合约,你一定要了解这些东西。线性逻辑和类型系统将成为未来这个领域的标准配置。现在区块链行业反过来在技术创新上已经引领了现在普通的互联网,反过来互联网会把这些东西吸取进来,然后推动它的发展。”

标签:MOVEMOVALUBOOMOVEY价格move币价格valuetokenBOOMER币

MATIC热门资讯
ONE:新旅链(LVCB)即将上线BIONE交易所

尊敬的BIONE用户:新旅链(LVCB)已通过BIONE交易所审核,即将上线BIONE交易所,敬请期待.

1900/1/1 0:00:00
区块链:Vitalik Buterin:币价涨跌不可控 并非技术问题

以太坊联合创始人、25岁的VitalikButerin可以说是加密货币领域的开拓者。《财富》杂志在其最新的“40Under40”排行榜中,将这位“消瘦的梦想家”排在第22位.

1900/1/1 0:00:00
LBank:【8/20LBK空投】对持有LBK空投BFC的数据公示

尊敬的LBank用户:???LBank于8月17日开启“持有LBK空投BFC”的相关奖励活动,在8月17日16:00-8月22日16:00期间的5天里对持有超过50.

1900/1/1 0:00:00
稳定币:稳定币赛道还能挤下几家巨头?

“不可能所有人都能打败USDT。”业内人士分析,即便稳定币磨刀霍霍向USDT,但USDT仍将是市场大头。加密货币世界中,最被小看的赛道,可能是稳定币。直到去年,才有人终于发现了它的价值.

1900/1/1 0:00:00
比特币:比特币的波动性如此大 价值储存的逻辑是什么?

8月14号阿根廷比索(ARS)从1美元45.3大幅贬值到53.0-贬值幅度14.5%,引发股债汇三杀.

1900/1/1 0:00:00
稳定币:史上规模最大的稳定币年已至 浅谈2019年稳定币的争奇斗艳

摘要:目前市场上有超过200个稳定币,你需要了解今年以来区块链最活跃的行业。2019年对于稳定币和去中心化金融的发展来说是巨大的一年,尤其是在以太层区块链上的项目.

1900/1/1 0:00:00