2328 天前

02月17日,星期天 08:03

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

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

7
0
  • Nano Labs已购买约5000万美元的BNB代币,将数字资产储备扩大至约1.6亿美元

    火讯财经讯,7月3日消息,据Globenewswire报道,NanoLabsLtd(纳斯达克股票代码:NA)宣布通过OTC方式购入74,315枚BNB,平均价格约为672.45美元,总交易额约为5000万美元。本次交易完成后,公司持有的包括比特币和BNB在内的主流数字货币累计储备已达约1.6亿美元。

    30 分钟前

  • YZi Labs将价值56万美元的HOOK代币转至币安

    火讯财经讯,7月3日消息,据链上分析师余烬监测,40分钟前YZiLabs将501.7万枚HOOK(价值56万美元)转进了币安。 YZiLabs的链上地址持有的代币基本都来自于投资解锁归属获得,目前一共持有约4727万美元的资产。其中数额比较大的是9420万枚ID(价值1512万美元)跟7400万枚1INCH(价值1351万美元)。

    30 分钟前

  • The Open Platform完成2850万美元A轮融资,Ribbit Capital领投

    火讯财经讯,7月3日消息,据《财富》杂志报道,Telegram生态开发平台TheOpenPlatform宣布完成2850万美元A轮融资,投后估值达10亿美元。本轮由金融科技投资机构RibbitCapital领投,加密风投PanteraCapital参投。此次融资出让约5%的股权,且未包含加密货币份额。TheOpenPlatform累计融资已超7000万美元。 TOP是Telegram官方区块链TheOpenNetwork(TON)的核心开发方,其打造的“Telegram钱包”已向俄罗斯、亚洲等地区用户开放。公司CEO表示,新资金将用于拓展欧美合规市场,并孵化基于TON的区块链游戏和AI应用。

    30 分钟前

  • DeFi Development Corp再次增持价值272万美元的SOL代币

    火讯财经讯,7月3日消息,据官方消息,美股上市公司DeFiDevelopmentCorp宣布再次增持17,760枚SOL,约合272万美元。截至2025年7月3日持有640,585枚SOL及其等值资产,总价值9810万美元。

    30 分钟前

  • ZachXBT:WhiteRock创始人因涉嫌参与Zkasino退出骗局被捕

    火讯财经讯,7月3日消息,据加密侦探ZachXBT分享的一则消息,WhiteRock创始人IldarIlham(又名@XBT_Prometheus)因涉嫌参与价值3000万美元的Zkasino退出骗局,被阿联酋执法部门逮捕。接下来,他将因该刑事案件被引渡至荷兰。 此前6月份消息,ZachXBT披露WhiteRockFinance(WHITE)项目存在多项风险。

    30 分钟前