8月21日，火币CTO程显峰在火星财经POW’ER2019全球开发者大会上表示，当前智能合约需要比以往更强大的编程语言理论支持，对Facebook新推出的编程语言Move表示关注，“Move可能推动线性逻辑等特性在编程语言中广泛应用”。
智能合约自1995年尼克萨博首次提出至今已有24年时间，2013年以太坊白皮书的出现使智能合约得到前所未有的关注与发展，彼时智能合约的安全性也在不断经受考验。在此前智能合约语言里，数字资产记账采用Value方式，而Value可被随意拷贝，且由于以太坊EVM支持递归调用，造成代码编写时容易出现重入漏洞。2016年，TheDAO因该漏洞丢失360万个以太坊代币。
GRDOG将于5月11日20:30上线Heco火币生态链MDEX交易:据官方消息，狗狗币3代GRDOG（金毛犬）将于2021年5月11日20:30上线Heco火币生态链MDEX交易。狗狗家族新成员“金毛犬GRDOG”由百大狗狗家族社区联合发行。
GRDOG团队代币全部加流动性且LP令牌打入黑洞，无预留，完全由社区自治。GRDOG合约地址：0x0530c4180ad686e6e6efa46c5d47dafc45f9821a，每笔交易燃烧10%，其中5%回流到流动池，5%持币分红。[2021/5/11 21:48:32]
北京时间6月18日，Facebook发布加密项目Libra白皮书，此外Facebook还发布了名为Move的智能合约编程语言，该语言吸收了传统理论“线性逻辑”类型，用Resource代替Value作为记账方式，将数字资产定义为“资源类型”，同时解决了重放漏洞问题，大大增强了语言的安全性。
港股收盘：欧科云链收跌7.86%，火币科技收平:今日港股收盘，恒生指数收盘报26169.380点，收跌0.22%；欧科集团旗下欧科云链（01499.HK）报0.129港元，收跌7.86%；火币科技（01611.HK）报3.270港元，收平。[2020/11/12 14:06:54]
Move语言一经推出被受到区块链行业极客广泛关注及追捧。程显峰表示，火币技术人员对于业内领先技术十分关注，现有计算机系统漏洞大多数是资源管理不当造成了，在此背景下以Move语言具有的线性逻辑特性十分重要，该语言可使开发者通过编译器直接检查资源是否泄漏。
火币将于11月15日18:00暂停BCH和HBCH充提币业务:据官方公告，BCH (Bitcoin Cash) 预计将于2020年11月15日20:00进行硬分叉升级。因当前BCHN算力占比具有绝对优势，根据社区与用户反馈，火币全球站将作出如下安排：
1、BCHN节点方案将继承BCH原有名称、K线和交易对；
2、BCH分叉后，火币全球站将对全站用户的BCH资产进行快照并空投分叉代币；
3、火币将于11月13日16:00对BCH/USD币本位交割合约的当周、次周、当季、次季合约进行提前交割并停牌；11月15日11:00对BCH/USD币本位及USDT本位永续合约进行交割并停牌；11月15日18:00暂停BCH和HBCH充币和提币业务；11月15日20:00将对火币全球站账户（包含币币，合约，法币，杠杆，矿池和子账户）的BCH资产进行快照。[2020/11/11 12:20:43]
他进一步表示，线性逻辑早在上世纪八九十年代就被关注并讨论，在线性逻辑里资源只能且必须被使用一次，这对智能合约资产安全安全是至关重要的。在目前的智能合约中，资产实际上是以信息形式存在的，可以被不断复制，我们需要靠挖矿过程中的共识来规避双重支付等漏洞，而在线性逻辑中，资产是一种资源，这将有效解决当前智能合约存在的固有漏洞。
对于区块链开发者，程显峰建议“如果你想做智能合约，你一定要了解这些东西。线性逻辑和类型系统将成为未来这个领域的标准配置。现在区块链行业反过来在技术创新上已经引领了现在普通的互联网，反过来互联网会把这些东西吸取进来，然后推动它的发展。”
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。