2043 天前

02月17日,星期天 08:03

Certik CEO Ronghui Gu:形式验证方法是实现计算机系统安全和隐私的可靠的方法

2月17日讯,NEO DevCon 2019开发者大会今日在西雅图举行,Certik CEO Ronghui Gu 做了以“建设可信的区块链生态”主题演讲。Ronghui Gu 表示,区块链目前是十分脆弱的,有许多执行上的漏洞。攻击区块链的受益也是巨大的,据统计截止到2017年已经有6.3亿美元的区块链资产被黑客盗取。智能合约对黑客开源,一旦执行很难去修改, 我们应该去避免区块链编程上的漏洞。程序的测试可以用于展示漏洞存在,但是它不能够去显示漏洞不存在。而形式验证的方法是目前唯一可靠的方法去实现计算机系统的安全和隐私,形式验证在数学上证明代码满足规范。

7
0
  • 全网比特币合约未平仓头寸小幅下挫至347.79亿美元,24小时跌幅1.49%

    火讯财经讯,9月21日消息,Coinglass数据显示,全网比特币期货合约未平仓头寸为55.1万枚BTC(约合347.79亿美元),24小时跌幅1.49%,其中CME比特币合约未平仓头寸为16.05万枚BTC(约合101.21亿美元),位列第一;币安比特币合约未平仓头寸为12万枚BTC(约合75.73亿美元),位列第二。

    2 分钟前

  • Arthur Hayes标记地址提取165万枚PENDLE并将约91.8万枚转入币安

    火讯财经讯,9月21日消息,据Lookonchain监测,ArthurHayes标记地址刚刚取出了其主钱包中全部165万枚PENDLE(价值576万美元),并向币安存入了918,556枚PENDLE(价值约320万美元)。

    2 分钟前

  • LBank将上线DOGGO/USDT交易

    火讯财经讯,9月21日消息,据LBank公告显示,LBank将于9月21日15:00(UTC+8)首发上线DOGGO/USDT交易,已于9月21日14:00开放充币业务,将于9月22日14:00开放提币业务。

    2 分钟前

  • Elon Musk:美国政府的开支将使国家破产

    火讯财经讯,9月21日消息,据金十报道,ElonMusk在社交媒体平台“X”上回复一位网友的帖子时称:“(美国)联邦政府的开支将使国家破产,除非采取行动减少政府浪费。这就是导致通胀的原因!”此前有报道称,美国共和党总统候选人特朗普称如果他当选,将任命ElonMusk领导一个政府效率委员会,负责审查政府支出。

    32 分钟前

  • BTC反弹突破63000 USDT,24小时跌幅收窄至1%

    火讯财经讯,9月21日消息,OKX行情显示,BTC反弹突破63000USDT,现报63008USDT,24小时跌幅收窄至1%。

    47 分钟前