比特币
现场 | Certik CEO Ronghui Gu：形式验证方法是实现计算机系统安全和隐私的可靠的方法
金色财经现场报道，NEO DevCon 2019开发者大会今日在西雅图举行，Certik CEO Ronghui Gu 做了以“建设可信的区块链生态”主题演讲。Ronghui Gu 表示，区块链目前是十分脆弱的，有许多执行上的漏洞。攻击区块链的受益也是巨大的，据统计截止到2017年已经有6.3亿美元的区块链资产被黑客盗取。智能合约对黑客开源，一旦执行很难去修改， 我们应该去避免区块链编程上的漏洞。程序的测试可以用于展示漏洞存在，但是它不能够去显示漏洞不存在。而形式验证的方法是目前唯一可靠的方法去实现计算机系统的安全和隐私，形式验证在数学上证明代码满足规范。
相关资讯
据news.bitcoin报道，加拿大网络贩Matthew Phan在暗网非法交易被捕，并被扣押288枚BTC，他向请求保留一半BTC，因为这些BTC并非全部用于犯罪目的。法官表示，虽然Phan之前可能曾因合法...
区块链：2019/2/17 0:00:002月16日，加密货币分析师Joseph Young发推称，与过去9年相比，加密领域在12个月内在机构化 ( Institutionalization ) 方面取得更多进展： 1. 美国两个公共养老基金投资4000万美...
区块链：2019/2/17 0:00:00Poloniex Exchange（P网）发布推特称，有些用户遇到无法登录的问题，并表示这与最近的软件版本有关, 该版本已被修复，而且资金是安全的。
区块链：2019/2/18 0:00:00据Huobi数据显示，BTC突破3900美元，现报3902.57美元，24小时涨幅为2.09%，行情波动较大，请做好风险控制。
区块链：2019/2/19 0:00:00金丘区块链研究院洪蜀宁发微博表示，矿工共识是可量化的、先验的，可以通过算力投票来发现，在分叉激活前就可以确定。而所谓“社区共识”是无法量化的、后验的，也是不确定的，只能通过分叉后的市场价格来确定。
区块链：2019/2/17 0:00:00金丘区块链研究院院长洪蜀宁微博回复网友表示，thread讨论的是全节点投票问题，不是记账，非挖矿全节点也没有记账权，无论真账假账都做不了。全节点的女巫攻击是用来伪造投票，导致“社区共识”出现巨大偏差，所以我认为“社区...
区块链：2019/2/18 0:00:00据Huobi数据显示，BTC在5分钟内快速上涨，最大涨幅超1.50%，行情波动较大，请注意控制风险。
区块链：2019/2/17 0:00:00据Coindesk消息，印度尼西亚贸易部下属的商品期货交易监管机构（Bappebti）周一公布了新规则，规定加密货币期货交易所必须在运营前进行登记和批准。该机构还证实，加密资产被正式确认为可以在该国期货交易所交易的商...
区块链：2019/2/18 0:00:00据Statista的统计显示，女性员工占主要科技公司员工的比例一般很小，其中在涉及核心技术开发是这一比例会进一步下降，而区块链和加密货币领域的问题更为突出，女性参与度非常低。
区块链：2019/2/18 0:00:00据coindesk分析，今天比特币出现了上涨，但仍需保持理性，目前仍有关键的阻力位尚未能成功突破。从技术面看，当前比特币走势处于头肩底的上沿，只有成功突破3760美元，才能持续上涨至4030美元；如未能突破3760美...
区块链：2019/2/18 0:00:00据日经新闻消息，日本税务机构今日正式开始接受2018年所得税“确定申告”，年薪资收入超过2000万日元或薪资外收入超过20万日元的个人需进行此项申报。依照规定，网络竞拍收入、加密货币交易收入、赛马等收入均被归类于...
区块链：2019/2/18 0:00:00据cryptonews消息，日本瑞穗金融集团已经开发出一种智能手机应用程序，将允许客户使用其即将推出的J Coin令牌在日本店铺支付，J Coin稳定币将于下个月公布，以1：1的汇率与日元挂钩。据悉，支付宝将支持客户...
区块链：2019/2/18 0:00:00
