8月21日,火币CTO程显峰在火星财经POW’ER2019全球开发者大会上表示,当前智能合约需要比以往更强大的编程语言理论支持,对Facebook新推出的编程语言Move表示关注,“Move可能推动线性逻辑等特性在编程语言中广泛应用”。
智能合约自1995年尼克萨博首次提出至今已有24年时间,2013年以太坊白皮书的出现使智能合约得到前所未有的关注与发展,彼时智能合约的安全性也在不断经受考验。在此前智能合约语言里,数字资产记账采用Value方式,而Value可被随意拷贝,且由于以太坊EVM支持递归调用,造成代码编写时容易出现重入漏洞。2016年,TheDAO因该漏洞丢失360万个以太坊代币。
火币将于9月11日上线SUN并开启“新币挖矿”:据官方消息,火币全球站“全球观察区”将于9月11日上线 SUN (SUN)?并开放币币交易。同时火币将开启“锁仓HT参与新币挖矿”三期活动,活动将提供丰厚的SUN代币用于奖励参与新币挖矿活动的锁仓用户,目前火币已开放SUN 的充币业务,具体开放交易时间将以公告形式另行通知。
据悉,火币“新币挖矿”一期活动上线50.4秒售罄,共有2437人锁仓800万HT参与。
市场分析人士表示,近期火币开创性推出“DeFi 挖矿”、“新币挖矿”等产品,为用户大规模参与DeFi生态建立起了高效、安全、零摩擦、丰厚奖励的入口,成为连接用户参与DeFi世界的桥梁。[2020/9/10]
北京时间6月18日,Facebook发布加密项目Libra白皮书,此外Facebook还发布了名为Move的智能合约编程语言,该语言吸收了传统理论“线性逻辑”类型,用Resource代替Value作为记账方式,将数字资产定义为“资源类型”,同时解决了重放漏洞问题,大大增强了语言的安全性。
火币全球站推出存币宝业务:金色财经消息,火币全球站存币宝业务已于近期上线火币全球站和APP,在交易空档期存入即享收益。如需要交易时可一键快速赎回。另外,申购存币宝活动也同步开启,参与活动可瓜分3万USDT。据了解,目前存币宝业务对下列地区用户不开放:、香港、日本、新加坡、美国、德国、英国。[2020/9/8]
Move语言一经推出被受到区块链行业极客广泛关注及追捧。程显峰表示,火币技术人员对于业内领先技术十分关注,现有计算机系统漏洞大多数是资源管理不当造成了,在此背景下以Move语言具有的线性逻辑特性十分重要,该语言可使开发者通过编译器直接检查资源是否泄漏。
港股收盘:欧科云链收跌1.89%,火币科技收跌3.02%:今日港股收盘,恒生指数收盘报25347.34点,收涨0.65%;欧科集团旗下欧科云链(01499.HK)报0.208港元,收跌1.89%;火币科技(01611.HK)报4.50港元,收跌3.02%。[2020/8/17]
他进一步表示,线性逻辑早在上世纪八九十年代就被关注并讨论,在线性逻辑里资源只能且必须被使用一次,这对智能合约资产安全安全是至关重要的。在目前的智能合约中,资产实际上是以信息形式存在的,可以被不断复制,我们需要靠挖矿过程中的共识来规避双重支付等漏洞,而在线性逻辑中,资产是一种资源,这将有效解决当前智能合约存在的固有漏洞。
对于区块链开发者,程显峰建议“如果你想做智能合约,你一定要了解这些东西。线性逻辑和类型系统将成为未来这个领域的标准配置。现在区块链行业反过来在技术创新上已经引领了现在普通的互联网,反过来互联网会把这些东西吸取进来,然后推动它的发展。”
标签:MOVEMOVALUBOOmovez币值得投资吗Limoverseintervalue币怎么买BooBanker Research Association
在本文中,我们将尝试解释区块链/加密公司在再次融资之前,平均筹集了多少资金以及这些资金能够持续多长时间.
1900/1/1 0:00:00比特币脚本的功能虽然有限,但它的重要性不言而喻,而其在今日迎来了重要升级,Bitcoincore协议维护者PieterWuille正式公布了Miniscript技术项目.
1900/1/1 0:00:00亲爱的KuCoin用户:为进一步提升服务质量,KuCoin将于2019年8月21日下午3点进行系统服务升级,预计将持续1小时。整个升级过程将不会对平台服务造成直接影响.
1900/1/1 0:00:00“想‘你’是一颗药。”在币圈发迹后,90后创业者赵峰最大的念想,便是找寻下一个“百倍币”。身为币圈人,他不习惯百无聊赖、无所事事的日子。毕竟,区块链速度远比我们想象中的更快.
1900/1/1 0:00:00本报告由火币区块链研究院出品,报告发布时间2019年8月18日,作者:袁煜明、王蕊摘要本周区块链资产总市值比上周下跌9.45%,TOP100项目中84个项目市值有不同程度下跌.
1900/1/1 0:00:00据了解,AminoNetwork是商业化落地的5G边缘计算网络,其稳健的通证经济模型也让社区日趋繁荣,成为一匹黑马引起多方关注。近期发现,多个项目公然抄袭.
1900/1/1 0:00:00