8月21日,火币CTO程显峰在火星财经POW’ER2019全球开发者大会上表示,当前智能合约需要比以往更强大的编程语言理论支持,对Facebook新推出的编程语言Move表示关注,“Move可能推动线性逻辑等特性在编程语言中广泛应用”。
智能合约自1995年尼克萨博首次提出至今已有24年时间,2013年以太坊白皮书的出现使智能合约得到前所未有的关注与发展,彼时智能合约的安全性也在不断经受考验。在此前智能合约语言里,数字资产记账采用Value方式,而Value可被随意拷贝,且由于以太坊EVM支持递归调用,造成代码编写时容易出现重入漏洞。2016年,TheDAO因该漏洞丢失360万个以太坊代币。
火币将BTC、ETH和LTC合约实时结算功能试行延长至今年12月:据官方公告,火币合约平台决定将BTC、ETH和LTC合约实时结算功能延长至2020年12月31日,其中涉及合约品种包括,交割合约:BTC、ETH、LTC,永续合约:BTC、ETH。[2020/6/30]
北京时间6月18日,Facebook发布加密项目Libra白皮书,此外Facebook还发布了名为Move的智能合约编程语言,该语言吸收了传统理论“线性逻辑”类型,用Resource代替Value作为记账方式,将数字资产定义为“资源类型”,同时解决了重放漏洞问题,大大增强了语言的安全性。
金色财经声明:EXN上线火币是假新闻 未进行过相关报道:3月7日,针对网上流传金色财经发布“Exchange Neural(EXN)上线火币全球站”内容一事,特此声明:该内容系伪造,金色财经从未对“EXN”项目进行任何报道,且经与火币官方人员求证,“EXN上线火币全球站”是假新闻。请用户注意甄别,防控项目风险。[2020/3/7]
Move语言一经推出被受到区块链行业极客广泛关注及追捧。程显峰表示,火币技术人员对于业内领先技术十分关注,现有计算机系统漏洞大多数是资源管理不当造成了,在此背景下以Move语言具有的线性逻辑特性十分重要,该语言可使开发者通过编译器直接检查资源是否泄漏。
独家 | 火币集团全球业务副总裁:区块链社区之前是中心化和监管的对立面:1月21日,火币集团全球业务副总裁Ciara Sun在达沃斯世界经济论坛上表示,2019年,政府和传统企业普遍有了共识,区块链技术可以为各行业和场景的业务提供基于技术的解决方案。德勤(Deloitte)一项调查显示,超过50%的受访者将区块链技术视为其所在机构在2019年的关键优先项。JP Morgan和CME等传统巨头以及Facebook和IBM等技术巨头的参与推动了落地步伐。
区块链社区之前是中心化和监管的对立面,现已转向致力于将区块链技术的优势整合到金融技术中的可信行业。[2020/1/22]
他进一步表示,线性逻辑早在上世纪八九十年代就被关注并讨论,在线性逻辑里资源只能且必须被使用一次,这对智能合约资产安全安全是至关重要的。在目前的智能合约中,资产实际上是以信息形式存在的,可以被不断复制,我们需要靠挖矿过程中的共识来规避双重支付等漏洞,而在线性逻辑中,资产是一种资源,这将有效解决当前智能合约存在的固有漏洞。
对于区块链开发者,程显峰建议“如果你想做智能合约,你一定要了解这些东西。线性逻辑和类型系统将成为未来这个领域的标准配置。现在区块链行业反过来在技术创新上已经引领了现在普通的互联网,反过来互联网会把这些东西吸取进来,然后推动它的发展。”
加密货币的世界越来越多姿多彩了,但还有人记得比特币曾经的承诺吗?比特币的崇高目标之一,就是让每个人成为“自己的银行”——虽然这个理念在2008年提出的时候会让人觉得有些荒谬.
本文从隐私安全的角度,将比特币和匿名币门罗、Zcash、Grin、Beam之间的优劣势进行对比,谁会是大势所趋?本文原作者EricWall,发表于Medium.
提起暗网,总会让人不自觉联想到BTC;但现如今暗网世界里活跃度最高的加密货币已不再是比特币,非法交易的最优选也并非BTC,而是热度一直不温不火的——门罗币.
清华、北大、斯坦福大学、密码学专家、图灵奖、诺贝尔经济学奖、知名学者……当这些光鲜亮丽的头衔被加注到项目,团队最先吸引了一批盲目崇拜名校的人,铺天盖地的包装、宣传,让不少投资者蜂拥而至.
本文观点仅代表个人,仅限交流学习,所有内容不构成任何投资建议。想及时了解更多行情信息,请添加官方微信进群:jiamibaoluo.
据Zycrypto报道,赵长鹏日前在推特上回复他人关于“最新中本聪”的推文时表示:“我们都是Satoshi”,但是他没有进一步说明这句话的含义。加密社区对此给出了回应.