2099 天前

02月17日,星期天 08:03

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

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

7
0
  • 加密套利交易平台DeFi Alpha第三季度收入2060万加元

    火讯财经讯,11月16日消息,据Theblock报道,总部位于加拿大的金融科技公司DeFiTechnologies(股票代码:DEFTF)第三季度总收入为2420万加元,其加密货币套利交易平台DeFiAlpha的收入为2060万加元,超过Benchmark估计的1600万加元。这比上一季度的1.115亿加元大幅下降。Benchmark分析师MarkPalmer在给客户的一份报告中写道:“本季度末之后,支持DEFI增长的趋势变得更加强劲,因为美国大选结果为加密行业带来了更积极的环境前景,推动比特币和其他几种代币的价格创下历史新高。”分析师表示,围绕加密货币的热潮激增对DeFi平台产生了巨大影响,因为该公司管理的资产在第三季度末后增长了近38%,11月13日达到11亿加元。

    3 分钟前

  • 一鲸鱼4小时前从Binance提取120万枚OM ,价值198万美元

    火讯财经讯,11月16日消息,据OnchainLens监测,4小时前,一鲸鱼再次从Binance以平均1.65美元的价格提取了120万枚OM,价值198万美元。目前,该鲸鱼持有1627万枚OM,其中1236万枚OM质押在MantraDAO上,产生了1925万美元的浮动利润。

    3 分钟前

  • 链上交易终端DEXX:正排查代币被转走问题,没有Rug

    火讯财经讯,11月16日消息,链上交易终端DEXX表示,已注意到多名用户反馈的代币被转走问题,多家专业安全审计团队已经在着手进行分析排查。团队正在全力解决,没有Rug。后续进展会第一时间同步。对此,DEXX早期推广者Roy表示,会掏钱补,已隔离了部分用户。

    33 分钟前

  • 彭博分析师:CFTC已为比特币现货ETF期权的上市扫清障碍

    火讯财经讯,11月16日消息,彭博社分析师EricBalchunas在X平台表示,CFTC的清算和风险部门今天发布了一份员工咨询报告,涉及现货商品交易所交易基金期权的清算。该通知为现货比特币ETF期权的上市扫清了道路。这是继SEC之后需要清除的第二个障碍。现在只需等待OCC(期权清算公司)列出名单。

    33 分钟前

  • 加密ATM制造商Bitcoin Depot第三季度收入1.353亿美元,同比下降25%

    火讯财经讯,11月16日消息,据Theblock报道,总部位于亚特兰大的加密ATM制造商BitcoinDepot发布了2024财年第三季度的财务业绩。根据11月14日提交给美国证券交易委员会的文件,该公司第三季度收入为1.353亿美元,与2023年第三财季的1.795亿美元相比下降了25%。该公司还报告称,持有超过131万美元的加密货币。

    48 分钟前