金色财经消息,伊利诺伊大学厄巴纳-香槟分校计算机科学教授Grigore?Rosu正式出任PlatON技术顾问,将在协议建模和智能合约的形式化验证等领域为PlatON提供助力,帮助团队更好地构建PlatON Network技术生态。
Rosu教授是科技企业Runtime Verification的创始人兼首席执行官。曾任美国国家航空航天局(NASA)研究科学家,期间与同事一起开创了“运行时验证”这一前沿理念。2010年,创立Runtime Verification,企业拥有世界顶尖的形式化验证团队,专注于区块链领域提供软件测试和验证方面的产品与服务,运用独特的动态验证技术来审核虚拟机和公链上的智能合约,全面提升区块链软件系统的安全稳定性。
KILT Protocol:将KILT功能添加至Spiritnet的runtime升级已上线:开源区块链协议KILT Protocol发推称,将KILT功能添加到Spiritnet的runtime升级刚刚上线。我们现在正处于测试KILT功能的阶段,这意味着朝去中心化更近了一步。[2021/10/28 6:17:56]
黑客攻击游戏Runescape漏洞获取资金以购买比特币:黑客利用游戏Runescape的漏洞进行双花攻击获取了数万亿的游戏币,价值超25万美元,并利用这些资金购买比特币。据称,Runescape发行商Jagex已经修补了Runescape的漏洞,但黑客却仍能对Runescape 3进行类似的双花攻击。 对此,一些社区成员建议Jagex考虑采用比特币或其他加密资产作为他们的游戏货币,并利用区块链技术来抵抗双花攻击。(Cryptoglobe)[2020/7/13]
声音 | TechCrunch创始人:比特币在很大程度上是由市场操纵驱动的:在举行的The Capital会议上,TechCrunch创始人Michael Arrington谈到了市值前百的加密货币,声称这是一个“不太光彩的话题,因为一切都被交易所操纵了。”尽管他认为比特币是目前加密货币里最完美的资产,但它在很大程度上仍受市场操纵的驱动。由于缺乏基本面支撑,其他加密货币也是如此。他进一步指出,目前加密行业是病态的,为了取得长期发展,市场操纵必须消失。另外,Arrington声称,在这个行业中,有必要发生一些有趣的事情,即产生所谓的“杀手级应用”,就像电子表格如何彻底改变了计算机的使用方式,使其能够完成那些用纸张和铅笔无法完成的任务。Arrington表示,全世界已经有了比特币的杀手级应用:货币。他补充说,有一段时间,以太坊有一个能够发行ERC20代币的杀手级应用,这推动了以太坊在2017年的增长。然而,Arrington目前还不清楚这个杀手级应用到底是什么。(AMBCrypto)[2019/11/15]
火币全球站数据显示,XTZ短线上涨,突破4.5美元关口,现报4.5023美元,日内跌幅达到1.93%,行情波动较大,请做好风险控制。 库币安全事件更新:新增BNB、DOT、XTZ等12种代币充提服务:据库币K...
区块链:2021/4/1 19:34:373月29日至31日,火币科技控股有限公司(01611.HK)受邀参加摩根士丹利一年一度的旗舰峰会——“Morgan Stanley Virtual Hong Kong Summit”(摩根士丹利香港投资者峰会)。 ...
区块链:2021/3/31 19:32:54据以太坊浏览器数据显示,NFT项目Ether Cards过去2周内总交易额达5703ETH,约合1026.54万美元。 美国主持人Jimmy Fallon宣布持有Moonbirds系列NFT:金色财经消息,美...
区块链:2021/3/31 19:33:393月31日消息,知名体育收藏品拍卖平台Goldin Auctions宣布接受比特币与以太坊作为支付方式,并已于3月20日以比特币的支付方式成功拍卖了Jay-Z的纪念卡片,价值10.3万美金。 GoldinA...
区块链:2021/3/31 19:32:41官方消息,以太坊2.0客户端Nimbus发布v1.0.12版本,支持信标链测试网Prater,该测试网现已向公众开放。 超过80%质押以太坊的投资者目前处于亏损状态:金色财经报道,Watcher.Guru在社...
区块链:2021/3/30 19:29:08据官方公告,Gate.io于3月31日(今日)12:00开启第105期投票上币项目AMEPAY (AME) ,投票截止时间至2021年4月1日上午10点。在本轮投票中,AME如获得1000万票,Gate.io将上线A...
区块链:2021/3/31 19:32:11火币全球站数据显示,MDX短线上涨,突破4美元关口,现报4.001美元,日内涨幅达到15.84%,行情波动较大,请做好风险控制。 ETHST已成功上线ET-Mdx和ET-Cake:据官方消息,以太坊永续标准算...
区块链:2021/3/30 19:28:46金色财经行情显示,DeFi 概念板块今日平均涨幅为2.04%。47个币种中26个上涨,21个下跌,其中领涨币种为:JST(+28.58%)、BTM(+25.97%)、BAND(+21.87%)。领跌币种为:LBA(-...
区块链:2021/4/1 19:35:38据官方消息,IOST链上DeFi项目Donnie Finance今日上线iwBNB单币质押挖矿。目前单币质押挖矿除了iwBNB还包含IOST、DON、HUSD、PPT、iwBTC、iwBLY六个项目通证,总锁仓金额突...
区块链:2021/3/30 19:29:20现货黄金第一季度累跌约10%,为2018年三季度以来首次录得季度下跌,且创2016年底以来最差季度表现。(金十) 现货黄金短线下挫逾10美元:行情显示,现货黄金短线下挫逾10美元,现报1945.72美元/盎司...
区块链:2021/4/1 19:35:00金色财经报道,Bakkt正在与星巴克等商户合作伙伴一起推出其数字钱包应用程序。Bakkt在一份新闻稿中说,在周二公开发布之前,该应用在仅限邀请试用中吸引了50万名用户。该应用程序于2019年10月首次宣布,并计划于2...
区块链:2021/3/31 19:31:19据官方消息,Darwinia PC2在Rococo-V1中成功中继以太坊Ropsten网络区块头,标志着以太坊和波卡生态实现了通过达尔文网络,波卡生态桥中心,实现了连通的第一步。Rococo-V1中首笔异构链间跨链转...
区块链:2021/4/1 19:35:31