2163 天前

02月17日,星期天 08:03

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

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

7
0
  • Solana市值升至全球资产市值排名第146位

    火讯财经讯,1月19日消息,据8marketcap数据显示,Solana市值已升至约1306亿美元,已超越空客、波音等企业,在全球资产市值排名中上涨39位,目前位列第146位。

    1 分钟前

  • CZ:FOMO才刚刚开始

    火讯财经讯,1月19日消息,CZ发推表示:“FOMO才刚刚开始.....”。此前1月15日,CZ表示:“每个人都有FOMO。只要负责任地去做就行。”

    1 分钟前

  • $TRUMP第10大持有地址已在50分钟前将127.1万枚$TRUMP转进OKX

    火讯财经讯,1月19日消息,据链上分析师余烬监测,$TRUMP第10大持有地址已在50分钟前将127.1万枚$TRUMP全部转进OKX。他以11.15美元的均价购买,以34.34媒体的价格转进OKX,预计实现2948万美元的收益。

    16 分钟前

  • TRUMP团队地址通过Meteora向TRUMP/USDC流动性池注入150万枚TRUMP单边流动性

    火讯财经讯,1月19日消息,据@ai_9684xtpa监测,TRUMP团队地址2Fe47...gWSkv再次通过Meteora向TRUMP/USDC流动性池注入150万枚TRUMP的单边流动性,价值5,275万美元。目前该池子为TRUMP/USDC交易对的主流动性池,包含513万枚TRUMP和3.98亿枚USDC,TVL达5.77亿美元。

    31 分钟前

  • SOL最高触及274.93美元,创历史新高

    火讯财经讯,1月19日消息,欧易OKX行情显示,SOL突破270美元,最高触及274.93美元,创历史新高,现报272.51美元,今日上涨4.3%。

    31 分钟前