比特币
动态 | 首个基于EOS的形式化验证项目取得突破性进展
据IMEOS消息，近日，Starteos与电子科技大学区块链技术研究与应用联合实验室展开阶段性工作成果汇报，首个基于EOS的形式化验证取得突破性进展。形式化验证是用逻辑来验证程序的可靠性，证明它能得到预期的结果，没有bug。目前已经有很多基于以太坊智能合约的形式化验证项目，但基于EOS智能合约的形式化验证现阶段还没有成熟的方案。从最近频繁发生的黑客袭击事件来看，期待Starteos与电子科技大学联合实验室形式化验证项目取得突破进展的同时为DApp带来更严谨的测试和安全审计。
相关资讯
据Bitfinex数据显示，ETH 1小时内涨幅超过2.50%，现报价140.00美元，价格波动较大，注意风险控制
区块链：2018/11/20 0:00:00韩国区块链产业振兴协会理事长金炯柱近日表示， 韩国区块链产业振兴协会将在400亿韩元中分得一部分。金炯柱向记者介绍道，韩国区块链产业振兴协会将于2019年起享受政府补贴，预算将用于技术实验和人才培养。预计2020年韩...
区块链：2018/11/20 0:00:00据Bitcoin.com最近发布的视频，比特币耶稣Roger Ver表示，“ABC自开打以来一直领先，因为我们比SV有更多的哈希率。讽刺的是，SV的支持者也这么说。”他表示，分叉前，nChain就给ABC团队打过电话...
区块链：2018/11/20 0:00:00在“链锁反应7”发布会上，赛迪全球公有链技术评估指数（第7期）正式发布。此期结果显示，EOS、以太坊、比特股依然占据榜单前3位，这是其连续第三期占据榜单前3位，综合指数分别为152.0、133.9和111.8。比特币...
区块链：2018/11/20 0:00:00据RTTnews消息，华盛顿州Chelan县政府公共事务部计划提高当地加密采矿业的电费单价。据悉该产业消耗了此县大量电力，公共事务部此举意在收回变电站建设成本。许多加密采矿从业者表示，如果提价计划通过，他们将会把产业...
区块链：2018/11/20 0:00:00据TNW消息，柯达许可的ICO项目KodakOne出现了问题，构建该平台的承包商有超过12万美元的费用没有支付。据悉，KodakOne是一个摄影发行和知识产权的平台，此前还计划推出自己的加密货币KodakCoin。
区块链：2018/11/21 0:00:00据cointelegraph报道，秘鲁中央银行11月16日在其官方推特上对近期加密市场的崩溃作出回应，警告了加密货币的高波动性。秘鲁央行表示：“中央银行不支持加密货币，并且由于其价格高波动性，存在欺诈案件及可能被用于...
区块链：2018/11/20 0:00:00据zycrypto报道，李启元（Bobby Lee）表示，目前的熊市可能延续至未来18个月，持有弱势头寸的人可能会疲惫不堪并试图放手。李启元并没有指出那些坚持到熊市结束的人最终会成为赢家，他将这类投资者称为“真正的信...
区块链：2018/11/21 0:00:00据law360消息，经济合作与发展组织（OECD）的一名高级官员称，经合组织计划于下周启动一项关于数字货币征税的调查。
区块链：2018/11/21 0:00:00据Huobi数据显示，BTC强势反弹至4800USDT上方 。现报价4825.05 USDT，行情波动较大，请做好风险控制。
区块链：2018/11/20 0:00:0011月19日，算力投官方发布蚂蚁S9合约终止公告，根据公告内容，蚂蚁S9合约自2018年11月7日至2018年11月16日已连续十日无法支付管理费、电费。根据《算力投算力服务协议》，如若连续十天合约收益不足以支付管理...
区块链：2018/11/20 0:00:00据cryptovest消息，泰国央行表示，目前正在测试使用“数字货币”作为该国金融机构之间的一种支付手段，以期在明年初开始交易。根据泰国新闻社，泰国央行行长Veerathai Santiprabhob表示，将在201...
区块链：2018/11/20 0:00:00
