8月21日,火币CTO程显峰在火星财经POW’ER2019全球开发者大会上表示,当前智能合约需要比以往更强大的编程语言理论支持,对Facebook新推出的编程语言Move表示关注,“Move可能推动线性逻辑等特性在编程语言中广泛应用”。
智能合约自1995年尼克萨博首次提出至今已有24年时间,2013年以太坊白皮书的出现使智能合约得到前所未有的关注与发展,彼时智能合约的安全性也在不断经受考验。在此前智能合约语言里,数字资产记账采用Value方式,而Value可被随意拷贝,且由于以太坊EVM支持递归调用,造成代码编写时容易出现重入漏洞。2016年,TheDAO因该漏洞丢失360万个以太坊代币。
火币合约平台已经正式上线BTT的U本位永续合约:据火币官方消息,火币合约平台已于新加坡时间4月9日14点正式上线BTT的U本位永续合约,用户现可在平台进行划转、交易等操作。据悉,USDT本位永续合约是正向合约,即稳定币合约,采用稳定币(USDT)作为担保资产,支持双向交易和最高75X倍数。
BitTorrent去中心化协议,拥有超过10亿用户。BitTorrent公司发明并维护了BitTorrent协议,虽然BitTorrent软件有诸多实现形式,BitTorrent和μTorrent(通常称为“utorrent”)仍然是最受欢迎的两种。BitTorrent协议与波场TRON区块链协议达成战略合作伙伴关系,两者的合作使波场协议成为最大的去中心化生态系统,它也使BitTorrent协议成为世界上最大的分布式应用程序。波场TRON在2018年7月24日完成了对P2P下载网络BitTorrent及其旗下所有产品的收购。[2021/4/9 20:02:49]
北京时间6月18日,Facebook发布加密项目Libra白皮书,此外Facebook还发布了名为Move的智能合约编程语言,该语言吸收了传统理论“线性逻辑”类型,用Resource代替Value作为记账方式,将数字资产定义为“资源类型”,同时解决了重放漏洞问题,大大增强了语言的安全性。
火币全球站第三代核心交易引擎“雷神之锤”全面发布:据官方消息,火币全球站第三代核心交易引擎“雷神之锤”(Thor's Hammer )已全面发布,藉此火币全球站在核心交易系统的承载能力和关键链路的各项指标,均相较上一代系统提升10倍以上。
据交易所系统性能数据测试显示,截至6月30日,基于亚马逊云服务器测量,火币全球站下撤单平均延时(含网络)为10毫秒左右,相关系列核心指标均达到业界顶尖水平。市场分析人士表示,下单与撤单的平均延迟时间数值越低,表明系统性能越好,用户交易体验越好,机构和高频用户的交易体验对延迟尤其敏感。[2020/7/17]
Move语言一经推出被受到区块链行业极客广泛关注及追捧。程显峰表示,火币技术人员对于业内领先技术十分关注,现有计算机系统漏洞大多数是资源管理不当造成了,在此背景下以Move语言具有的线性逻辑特性十分重要,该语言可使开发者通过编译器直接检查资源是否泄漏。
火币旗下FEU获得新加坡MAS指定期内豁免经营权限:近日,新加坡金融管理局(MAS)正式公布了关于支付服务经营牌照的豁免企业名单。其中,火币集团旗下FEU International PTE. LTD获得新加坡MAS六个月的数字代币支付豁免经营权限。新加坡金管局表示,根据《支付服务法》(Payment Services Act),名单上的实体已获得豁免在指定期间内可以提供特定支付服务(Specific Payment Services)。
FEU International PTE. LTD是Huobi Singapore在新加坡的运营主体,从事Digital Payment Token交易服务。FEU是火币科技(1611)全资子公司。
据了解,新加坡金融管理局是新加坡行使中央银行职能的金融机构,归财政部所属。除不发行货币外,全面行使一般中央银行的职权,包括指导金融业、监督银行的各项经营行为。[2020/3/27]
他进一步表示,线性逻辑早在上世纪八九十年代就被关注并讨论,在线性逻辑里资源只能且必须被使用一次,这对智能合约资产安全安全是至关重要的。在目前的智能合约中,资产实际上是以信息形式存在的,可以被不断复制,我们需要靠挖矿过程中的共识来规避双重支付等漏洞,而在线性逻辑中,资产是一种资源,这将有效解决当前智能合约存在的固有漏洞。
对于区块链开发者,程显峰建议“如果你想做智能合约,你一定要了解这些东西。线性逻辑和类型系统将成为未来这个领域的标准配置。现在区块链行业反过来在技术创新上已经引领了现在普通的互联网,反过来互联网会把这些东西吸取进来,然后推动它的发展。”
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。