8月21日,火币CTO程显峰在火星财经POW’ER2019全球开发者大会上表示,当前智能合约需要比以往更强大的编程语言理论支持,对Facebook新推出的编程语言Move表示关注,“Move可能推动线性逻辑等特性在编程语言中广泛应用”。
智能合约自1995年尼克萨博首次提出至今已有24年时间,2013年以太坊白皮书的出现使智能合约得到前所未有的关注与发展,彼时智能合约的安全性也在不断经受考验。在此前智能合约语言里,数字资产记账采用Value方式,而Value可被随意拷贝,且由于以太坊EVM支持递归调用,造成代码编写时容易出现重入漏洞。2016年,TheDAO因该漏洞丢失360万个以太坊代币。
火币:警惕不法分子冒充火币人员:近日,有社群用户反映有不法分子冒用火币工作人员名义在各类微信群以高价收USDT等名义公开行。
火币在此郑重提醒,凡是打着火币投资炒币、高价收USDT等名义联系用户的,皆视为行为。此外,火币致力于保护用户隐私,火币工作人员不会以任何形式向外界泄露任何用户信息,也不会以任何形式在非官方渠道向用户收售代币。火币坚决打击网络,请各位用户警惕虚假宣传,仔细甄别推销,所有与火币相关的活动、社群信息,务必以官网公告为准,以免造成资产损失。
火币全球站现已上线官方验证通道,详情点击原文链接,供用户辨别虚假行为,用户可随时通过该验证通道确认联系您的电话、微信等是否为火币官方渠道。[2020/10/19]
北京时间6月18日,Facebook发布加密项目Libra白皮书,此外Facebook还发布了名为Move的智能合约编程语言,该语言吸收了传统理论“线性逻辑”类型,用Resource代替Value作为记账方式,将数字资产定义为“资源类型”,同时解决了重放漏洞问题,大大增强了语言的安全性。
公告 | 火币Pro将于今日20时30分恢复ETH/HUSD交易对:据火币Pro公告,火币Pro将于新加坡时间10月26日20:30恢复ETH/HUSD交易对的交易。[2018/10/26]
Move语言一经推出被受到区块链行业极客广泛关注及追捧。程显峰表示,火币技术人员对于业内领先技术十分关注,现有计算机系统漏洞大多数是资源管理不当造成了,在此背景下以Move语言具有的线性逻辑特性十分重要,该语言可使开发者通过编译器直接检查资源是否泄漏。
火币公众号并未被封 可以正常关注使用:火币网的微信公众号出现异常,在搜索微信公众号时,无法搜索到火币网的官方公众号,《金色财经》就此事联系火币官方负责人,火币官方人员称:“因为账号进入年检期,正在申请年检并改名,用户可以检索关键词huobicom关注火币公众号,除名称外,公众号其他功能并受到影响,可以正常更新与发布。”[2018/3/2]
他进一步表示,线性逻辑早在上世纪八九十年代就被关注并讨论,在线性逻辑里资源只能且必须被使用一次,这对智能合约资产安全安全是至关重要的。在目前的智能合约中,资产实际上是以信息形式存在的,可以被不断复制,我们需要靠挖矿过程中的共识来规避双重支付等漏洞,而在线性逻辑中,资产是一种资源,这将有效解决当前智能合约存在的固有漏洞。
对于区块链开发者,程显峰建议“如果你想做智能合约,你一定要了解这些东西。线性逻辑和类型系统将成为未来这个领域的标准配置。现在区块链行业反过来在技术创新上已经引领了现在普通的互联网,反过来互联网会把这些东西吸取进来,然后推动它的发展。”
8月21日中午12点,BigONE交易所正式宣布已上线门罗币,开启XMR/USDT、XMR/BTC交易对。门罗币,全称Monero,代币符号XMR.
1900/1/1 0:00:00文|嚯嚯编辑|文刀上线8个月后,火币对外披露了合约业务的新突破:双边交易额累计突破6400亿美元,月均复合增长率超过112%,增长速度在全球交割合约平台中排名第一.
1900/1/1 0:00:008月18日,新华社受权发布《中共中央国务院关于支持深圳建设中国特色社会主义先行示范区的意见》。《意见》提出,支持在深圳开展数字货币研究与移动支付的创新应用.
1900/1/1 0:00:00本文观点仅代表个人,仅限交流学习,所有内容不构成任何投资建议。想及时了解更多行情信息,请添加官方微信进群:jiamibaoluo。行情分析ETC受到利好消息的刺激,反弹8.65%让市场整体下跌.
1900/1/1 0:00:00尊敬的LOEx用户:LOEx交易所即将收录DDXP,并开放DDXP/USDT的交易对,具体时间如下:LOEx于新加坡时间8月23日15:00开放XITA充提币业务.
1900/1/1 0:00:00据官方消息,英国第六区块链基金开发会耗时3年精心打造的全新项目SDFS将于近期发布白皮书宣告全球上线.
1900/1/1 0:00:00