2644 天前

02月17日,星期天 08:03

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

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

7
0
  • 数据:过去 24 小时全网爆仓 4.41 亿美元,主爆多单

    火讯财经讯,Coinglass数据显示,过去24小时全网爆仓4.41亿美元,其中多单爆仓3.85亿美元,空单爆仓5596万美元。同期全球共有128021人被爆仓,最大单笔爆仓单发生在币安ETHUSDT交易对,价值572.59万美元。

    57 分钟前

  • KelpDAO 遭攻击后多个协议弃用 LayerZero,已有 40 亿美元资产迁移至 Chainlink CCIP

    火讯财经讯,KelpDAO遭攻击引发2.92亿美元损失后,跨链基础设施安全性引发行业高度关注,约40亿美元资产已完成或正从LayerZero迁移至Chainlink跨链互操作协议(CCIP)。DeFi协议Lombard最新加入迁移行列,宣布弃用LayerZero,将超10亿美元比特币背书资产转至CCIP,称该决策源于4月攻击事件后的内部安全全面审查。Lombard发行LBTC、BTC.b两种比特币背书代币,将优先完成Solana、Etherlink等多链资产迁移,同时终止在Morph、Swell对LayerZero的使用。其选择CCIP是因后者具备独立节点运营商、内置限速机制及经审计的基础设施,还将采用Chainlink跨链代币标准,通过销毁铸造模型实现跨链流转。此前Kelp DAO、Solv Protocol、Re及加密平台Kraken均已完成类似迁移,合计转移资产约40亿美元,Chainlink Labs首席商务官称行业正经历持续的避险迁移浪潮。

    1 小时前

  • 数据:过去 24h Binance 净流入 2.77 亿 USDT

    火讯财经讯,据 Coinglass 数据,Binance 过去 24 小时净流入 2.77 亿 USDT。

    1 小时前

  • Digital Asset Clearing Center 完成 1000 万美元战略融资,复星国际、Conflux 等参投

    火讯财经讯,代币化金融市场基础设施Digital Asset Clearing Center(DACC)宣布完成1000万美元战略融资,参投方包括Conflux、卓信科技Global InfoTech、复星国际、Blockstone、Avior Capital、Fintech World、Satoshi Ventures及BridgeTower等。DACC当前为金融机构提供端到端的“清算即服务”,新资金将用于搭建合规金融结算及清算基础设施。

    1 小时前

  • 数据:过去 24 小时全网爆仓 4.7 亿美元,多单爆仓 3.9 亿美元,空单爆仓 7,994.21 万美元

    火讯财经讯,Coinglass数据显示,过去24小时全网爆仓4.7亿美元,其中多单爆仓3.9亿美元,空单爆仓7994.21万美元。比特币多单爆仓8779.7万美元、空单爆仓3047.25万美元;以太坊多单爆仓9871.56万美元、空单爆仓989.06万美元。同期全球共有132597人被爆仓,最大单笔爆仓单为Binance的ETHUSDT合约,价值572.59万美元。

    1 小时前