8月21日，火币CTO程显峰在火星财经POW’ER2019全球开发者大会上表示，当前智能合约需要比以往更强大的编程语言理论支持，对Facebook新推出的编程语言Move表示关注，“Move可能推动线性逻辑等特性在编程语言中广泛应用”。
智能合约自1995年尼克萨博首次提出至今已有24年时间，2013年以太坊白皮书的出现使智能合约得到前所未有的关注与发展，彼时智能合约的安全性也在不断经受考验。在此前智能合约语言里，数字资产记账采用Value方式，而Value可被随意拷贝，且由于以太坊EVM支持递归调用，造成代码编写时容易出现重入漏洞。2016年，TheDAO因该漏洞丢失360万个以太坊代币。
火币合约新增多个品种合约实时结算功能 盈利部分可随时划转:据火币合约官网公告，火币合约已于新加坡时间2020年12月17日11:00上线LINK、TRX、XRP和ADA币本位交割与币本位永续合约实时结算功能。目前，这两个产品已支持包括BTC、ETH和LTC在内的7大品种实时结算。
同时，火币U本位永续合约也上线了TRX、DOT、ADA、EOS和BCH永续合约在全仓和逐仓模式下实时结算功能，加上此前已经上线的BTC、ETH、LINK、XRP和LTC，支持实时结算的品种扩展到了10个。
据悉，目前市场上合约的结算机制大多为周结算、日结算或每日三结，而实时结算功能需要强大的风控实力支持。火币合约上线以来保持全品种合约“零分摊”，业界率先推出实时结算功能，用户已实现盈利部分（扣除掉浮动亏损和占用担保资产等）支持随时提取，无需等到结算或交割后，从而有效提升资金使用效率。[2020/12/17 15:32:16]
北京时间6月18日，Facebook发布加密项目Libra白皮书，此外Facebook还发布了名为Move的智能合约编程语言，该语言吸收了传统理论“线性逻辑”类型，用Resource代替Value作为记账方式，将数字资产定义为“资源类型”，同时解决了重放漏洞问题，大大增强了语言的安全性。
火币将于7月24日上线LINK交割合约:据火币合约官方公告，火币合约将于新加坡时间7月24日18点上线LINK交割合约，支持1x-75x倍数。
此前，火币交割合约已上线BTC、ETH、BCH、BSV、EOS、LTC、XRP、ETC和TRX九大主流币种，涵盖当周、次周、当季、次季四种持仓周期。 据悉，新上线的LINK交割合约，合约面值为10美元/张，合约标的为其对应数字资产的现货美元指数，支持火币合约“他所VIP即我所VIP”计划。详情请查看火币合约官网公告。[2020/7/23]
Move语言一经推出被受到区块链行业极客广泛关注及追捧。程显峰表示，火币技术人员对于业内领先技术十分关注，现有计算机系统漏洞大多数是资源管理不当造成了，在此背景下以Move语言具有的线性逻辑特性十分重要，该语言可使开发者通过编译器直接检查资源是否泄漏。
火币公链预计主网启动稳定运行后上线DEX:5月15日，火币全球站发布了2020年4月份HT运营月报。月报显示，火币公链正在推进公链KYC、链上治理功能的研发，目前处于DEX研发阶段，预计主网启动稳定运行后会上线DEX。
月报还显示，火币全球站将于近期推出全新做市商考核标准，其中HT权重调整至所有考核数字资产中的第一位，以进一步加强HT流动性。同时，为庆祝C2C正式上线，火币全球站将于5月22日推出Pizza节活动，使用C2C借入借出可参与瓜分奖池，HT持有者参与，额外拥有专属奖池。[2020/5/15]
他进一步表示，线性逻辑早在上世纪八九十年代就被关注并讨论，在线性逻辑里资源只能且必须被使用一次，这对智能合约资产安全安全是至关重要的。在目前的智能合约中，资产实际上是以信息形式存在的，可以被不断复制，我们需要靠挖矿过程中的共识来规避双重支付等漏洞，而在线性逻辑中，资产是一种资源，这将有效解决当前智能合约存在的固有漏洞。
对于区块链开发者，程显峰建议“如果你想做智能合约，你一定要了解这些东西。线性逻辑和类型系统将成为未来这个领域的标准配置。现在区块链行业反过来在技术创新上已经引领了现在普通的互联网，反过来互联网会把这些东西吸取进来，然后推动它的发展。”
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。