2765 天前

02月17日,星期天 08:03

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

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

7
0
  • H100 Group 任命 Eirik Grøttum 为首席执行官

    火讯财经讯,H100 Group发布公告,任命Eirik Grøttum为新任首席执行官。Grøttum此前执掌的Moonshot AS已于昨日完成被H100收购的交易。其具备技术、金融科技、系统化交易及数字资产领域经验,曾与首席投资官Peter C. Warren共同管理比特币持仓。此外,Peter C. Warren留任首席投资官,Sander Andersen继续担任执行董事长,Johannes Wiik回归任首席运营官,负责运营、企业发展、资本市场及战略交易等事务。

    33 天前

  • Coldcard 黑客攻击损失估计达 1816 枚比特币,CryptoQuant 确认 1432 枚

    火讯财经讯,硬件钱包Coldcard遭遇黑客攻击,目前暂未确定最终损失总额。CryptoQuant经链上核验确认损失为1432枚比特币,Galaxy Research给出的高可信最低损失为1730枚比特币,其中超450枚有受害者直接报告佐证,其早前估算的1816枚为潜在数值。TRM Labs称攻击者分四阶段从超5200个地址转移约1816枚比特币,随着更多受害者披露信息,损失统计或进一步上升。

    33 天前

  • 数据:若 ETH 突破 1,981 美元,主流 CEX 累计空单清算强度将达 9.6 亿美元

    火讯财经讯,据Coinglass数据,若ETH价格突破1981美元,主流CEX累计空单清算强度将达9.6亿美元;若ETH跌破1795美元,主流CEX累计多单清算强度将达7.38亿美元。

    33 天前

  • 数据:若 BTC 突破 67,435 美元,主流 CEX 累计空单清算强度将达 12.87 亿美元

    火讯财经讯,据 Coinglass 数据,若比特币突破 67,435 美元,主流中心化交易所累计空单清算强度将达 12.87 亿美元;反之,若比特币跌破 61,231 美元,累计多单清算强度将达 11.13 亿美元。

    33 天前

  • Websea 已上线黄金、白银 CFD 合约,最高 500 倍杠杆

    火讯财经讯,8月11日,Websea平台上线国际黄金XAU与白银XAG的CFD合约,两类合约均支持最高500倍杠杆。XAU、XAG分别为国际黄金、白银交易代码,用户可通过USDT计价的CFD合约参与贵金属价格波动,无需实际持有标的资产。平台后续将结合市场需求、流动性及风险评估,陆续拓展更多CFD交易品种,相关合约参数将根据市场风险情况动态调整,具体以平台公告为准。

    33 天前