2403 天前

10月17日,星期三 09:05

杨文玉:有效保障海量智能合约的安全最好的方法是采用智能合约自动化审计

火讯财经讯,10月17日,猎豹移动区块链安全中心首席科学家、白帽安全专家杨文玉在接受火讯琅琊榜第四期访谈时表示,有效保障海量智能合约的安全最好的方法是降低人工审计复杂度,采用智能合约自动化审计,不过现在它处于一个很不成熟的阶段。自动化检测的优势显而易见,就是快且质量一致。人工审计耗时长,且不同审计员的评判标准可能有稍微的差别,有时会导致审计结果的偏差。但是自动化检测技术当前还存在误报高、漏报高、系统不稳定等缺点,要完全取代人工审计还需要很长一段时间的发展。漏报、误报的解决方法最直观的就是增加反馈。不断地增加学习样本,来提供机器的精度。(责任编辑:席恒)

8
0
  • USDC Treasury在以太坊链新增铸造超9243万枚USDC

    火讯财经讯,5月16日消息,据WhaleAlert,北京时间19:55,USDCTreasury在以太坊链新增铸造92,435,120枚USDC,折合约92,416,679美元。

    19 分钟前

  • Gate.io Launchpad 首期项目 PFVS 结束,认购总额突破 6.56 亿 USDT,超募 938 倍

    火讯财经讯,5月16日消息,Gate.ioLaunchpad首期项目Puffverse(PFVS)现已圆满结束,共计吸引超35,000人参与,累计认购总额达656,514,966USDT,已超募938倍。

    19 分钟前

  • WLFI驳斥美参议员对USD1稳定币及特朗普加密联系调查

    火讯财经讯,5月16日消息,据TheBlock报道,特朗普支持的DeFi项目WorldLibertyFinancial驳回参议员Blumenthal对其USD1稳定币及与特朗普家族关系的指控,称调查“根本性错误”。律所BakerHostetler回应称USD1完全由美债及现金支持,旨在增强美元全球地位并推动金融普惠,否认与Trumpmemecoin发行方FightFightFightLLC有任何关联。

    19 分钟前

  • Initia:93%空投代币已被领取,当前约340万枚INIT待认领

    火讯财经讯,5月16日消息,全链RollupL1网络Initia的空投认领将于北京时间2025年5月24日18:00截止,目前已认领93%,剩余约340万枚$INIT代币。

    49 分钟前

  • Anthropic:Claude 现已支持移动端网页与Google Workspace研究

    火讯财经讯,5月16日消息,Anthropic官方X账号发文称,Claude现已在移动端支持网页与GoogleWorkspace内容研究,可生成附带数百来源引用的综合报告。

    49 分钟前