10月17日，星期三 09:15
火讯财经讯，10月17日，猎豹移动区块链安全中心首席科学家、白帽安全专家杨文玉在接受火讯琅琊榜第四期访谈时表示，形式化验证很早就被提出来了，之前一直用在航空航天、金融软件等对安全性要求极高的环境中进行严格的逻辑校验。区块链中如果发生了安全问题，可能直接涉及到大量的资金安全，安全要求比传统的系统、软件高很多，并且目前智能合约的逻辑还比较简单，不复杂，所以形式化验证技术便被引入了进来。形式化验证技术可以帮助审计员全面地发现问题，人工审计确实可能存在一些偏差。相互结合可以减少一部分的漏报。另外当前智能合约每天都在按千增加，人工没法一个个地审计，所以形式化验证自动技术还是能够帮助我们大方面地了解当前合约的安全整体状态。（责任编辑：席恒）
0
火讯财经讯，5月16日消息，据WhaleAlert，北京时间19:55，USDCTreasury在以太坊链新增铸造92,435,120枚USDC，折合约92,416,679美元。
19 分钟前
火讯财经讯，5月16日消息，Gate.ioLaunchpad首期项目Puffverse(PFVS)现已圆满结束，共计吸引超35,000人参与，累计认购总额达656,514,966USDT，已超募938倍。
19 分钟前
火讯财经讯，5月16日消息，据TheBlock报道，特朗普支持的DeFi项目WorldLibertyFinancial驳回参议员Blumenthal对其USD1稳定币及与特朗普家族关系的指控，称调查“根本性错误”。律所BakerHostetler回应称USD1完全由美债及现金支持，旨在增强美元全球地位并推动金融普惠，否认与Trumpmemecoin发行方FightFightFightLLC有任何关联。
19 分钟前
火讯财经讯，5月16日消息，全链RollupL1网络Initia的空投认领将于北京时间2025年5月24日18:00截止，目前已认领93%，剩余约340万枚$INIT代币。
49 分钟前
火讯财经讯，5月16日消息，Anthropic官方X账号发文称，Claude现已在移动端支持网页与GoogleWorkspace内容研究，可生成附带数百来源引用的综合报告。
49 分钟前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
