宇宙链 宇宙链
Ctrl+D收藏宇宙链
首页 > 以太坊 > 正文

火币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万个以太坊代币。

火币全球站恢复ZIL充提业务:据官方公告,火币全球站现已恢复ZIL的充币和提币业务。[2020/10/14]

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

火币全球站开放ITC新币充提业务:据官方公告,ITC主网切换已完成,火币全球站现已开放ITC新币的充币和提币业务,并支持ITC旧币(ERC20)的充币业务。[2020/5/22]

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

公告 | 火币恢复EOS充提币业务:据火币公告,现已开放EOS充币业务,并将于7月5日20:00开放EOS提币业务。目前每日EOS提币限额是:1000EOS,待系统稳定后,将逐步恢复至原有提币限额。[2018/7/4]

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

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

标签:MOVMOVEEOSITCMovement DAOmove币最新消息柚子币eos最新真实消息itc币最新消息

以太坊热门资讯
瞬间暴富 多家交易所交易异常 0.3美元成交40多枚比特币(最新跟进)

今天早些时候,亚马逊旗下AmazonWebServices(AWS)出现Bug,导致币圈众多交易所出现异常交易,史诗级“捡漏”的机会来了.

1900/1/1 0:00:00
TUR-角塔链宣布数字钱包正式上线 全球数字公链强势登陆

2019年8月23日,获得SVAngel、CryptoDiffer等资本投资的全球数字公链项目TUR-角塔链对外宣称:主网布局完成,正式对外上线数字钱包——TURWallet.

1900/1/1 0:00:00
区块链 VR ANGELIUM天结链引领新一代跨现实娱乐

1932年,AldousHuxley在他推出的长篇小说《美丽新世界》里首次对虚拟现实设备进行了描绘。但是直到2012年PalmerLuckey和他的团队研发的OculusRift的的诞生,才正式将VR带入大众的视野.

1900/1/1 0:00:00
Fortress正以单价900美元收购门头沟丢失的比特币,赔偿申请截止日期是8月31日

据区块律动BlockBeats报道,8月21日,从Mt.Gox门头沟交易所受害者收到的邮件显示,FortressInvestmentGroup正在以900美元的价格收购受害者在门头沟丢失的比特币.

1900/1/1 0:00:00
卖掉了矿机 我去炒鞋了

比起炒币,炒鞋更像炒矿机。文|黄雪姣运营|盖遥编辑|卢晓明出品|Odaily星球日报吴亦凡引爆炒鞋圈之后,沉寂多日的币圈按耐不住了。币民老K心理颇不平衡。“同为投机行业,眼看鞋圈突然高潮,我们这头小牛却是奄奄一息.

1900/1/1 0:00:00
WBFex平台上线TPS的公告

尊敬的WBFex用户:WBFex即将上线TPS,并在开放区开放TPS/USDT交易对,具体情况如下:充值时间:2019/08/1811:00交易时间:2019/08/1818:00提币时间:2019/08/2218:00TPS项目介绍.

1900/1/1 0:00:00