EthSystems完成隐私池形式化验证，覆盖规范到Sepolia字节码
内容摘要
EthSystems宣布对隐私池（shielded pool）完成形式化验证，范围从书面规范一直到Sepolia测试网上运行的字节码。验证按层使用不同工具：模型、电路和哈希用Lean，合约用Halmos和Kontrol，钱包用Aeneas和Verus，验证器和部署通过逐字节重建核对；双花和价值守恒已由Lean定理机器验证。验证中共发现6个问题，其中3个出在验证工具本身；团队列出的依赖假设包括哈希无碰撞、验证器会拒绝伪造证明、合约行为与模型一致。
来源：PANews · panewslab.com
打开原文所属事件
EthSystems完成隐私池形式化验证
最新变化：EthSystems宣布完成隐私池从规范到Sepolia字节码的形式化验证。
相关报道
以下按资产或主题关联，供比较阅读，属于不同消息。
同主题资料深潮 TechFlow · Web3 资讯
链上追踪 Pump.fun 上 43 个钱包的 Meme 币发币集团
查看摘要与出处
作者通过资金链追踪发现一个由 43 个钱包组成的 Meme 币操盘网络，自 2026 年 1 月以来在 Pump.fun 上发行超过 6855 枚代币，采用同区块捆绑买入、中位 3 秒清仓、利润层层归集的模式，其中一个沉淀钱包持有 102.68 万美元 USDC 且只有流入。作者查了 160 次发币，461 笔捆绑买入全部集中在发币区块，90% 紧跟创建交易排在第 1、2、3 位；36 个钱包曾在同一区块把 SOL 清空转入归集钱包，且发币者首次买入的代币数量多次完全一致，指向同一脚本操盘。作者称追踪到的钱包由 KuCoin、Bybit 和 Binance 注资，与近 1000 个已知 KOL 钱包无重叠，幕后身份尚不清楚。
核对原文 ↗同主题资料深潮 TechFlow · Web3 资讯
Initia 停机 4 天后公布 MoveVM 漏洞修复进展，拟近日重启网络
查看摘要与出处
深潮 TechFlow 报道，模块化公链 Initia 于 10 月 27 日发布进展公告，称针对 10 月 23 日 MoveVM 零日漏洞的修复方案已拟定并进入外部安全审计，待审计通过后将公布受影响资产恢复计划，分阶段重启 L1 与交织 Rollup（Minitias）网络，预计未来几天内完成。此前复盘显示，攻击者利用 MoveVM 脚本缓存与函数权限校验的边界瑕疵，非法铸造 200 万枚无足额抵押的 Agora AUSD，并经 LayerZero 跨链桥等转移约 260 万至 270 万美元的 AUSD、ETH 及 USDC 至以太坊主网；验证者于 10 月 23 日 15:41（UTC）紧急熔断冻结网络。Initia 称原生代币 INIT 未受侵害，Agora 已冻结部分关联地址，Upbit、Bithumb、Kraken 对相关充提通道启动临时风控。
核对原文 ↗同主题资料Cointelegraph
Hayes 阐述 FLOP 算力衍生品构想，此前已卖出全部山寨币持仓
查看摘要与出处
BitMEX 联合创始人、Flop Labs CEO Arthur Hayes 在周一 Substack 文章中详述 Flop Network 愿景，提出按每次 AI 推理任务计量算力，并用交易数据推导以 FLOP 代币计价的算力现货价格，进而支撑算力衍生品市场，理由是目前缺少通用的 AI 算力基准价。他称若 Flop 成为 AI 代理的支付网络，FLOP/算力汇率将成为全球现货算力基准。此前周六 Hayes 称已“全部抛售”Maelstrom 方向性交易账本中的 ETH、ENA、UNI 持仓以获利了结，理由是宏观和地缘政治环境“棘手”；Lookonchain 后续标记 Hayes 关联钱包卖出约 2200 万美元代币，含 1500 万美元 ETH、270 万美元 ENA、220 万美元 UNI 等。Flop Labs 正在开发允许 AI 代理支付计算与去中心化内存服务的网络，Hayes 曾于 8 月宣布计划在 2026 年第四季度进行“大规模空投”并出任 CEO。
核对原文 ↗同主题资料Bitcoin.com News · 海外资讯
比特币ETF周一净流入1.1034亿美元 全部来自BlackRock IBIT
查看摘要与出处
周一比特币ETF净流入1.1034亿美元，全部来自BlackRock的IBIT，其他比特币基金无明显资金活动，成交额18.6亿美元，净资产1028.4亿美元。以太坊ETF净流出8858万美元，其中BlackRock的ETHA流出1.0471亿美元、Fidelity的FETH流入1613万美元；Solana、HYPE、XRP分别净流出823万、430万、361万美元。Zcash的ZCSH连续第五个交易日吸引196万美元，NEAR的Bitwise NRR流入140万美元。
核对原文 ↗同主题资料PANews
香港金管局澄清伪冒数码港元借贷项目与其无关并已报警
查看摘要与出处
据香港金管局微信公众号，金管局接获大量公众查询，涉及一项声称与金管局相关的伪冒数码港元（e-HKD）借贷项目，该项目诱骗公众签署协议并虚称贷款将转换为数码港元资产。金管局澄清相关协议及借贷项目与其无关，不会就个人财务事宜联络市民或要求转账，数码港元先导计划及其他沙盒计划的参与机构也不会向公众集资或推销理财、投资产品；个案已转交香港警方，曾向相关网站或 App 提供个人资料的市民可致电 2860 5012 联络警方。
核对原文 ↗同主题资料深潮 TechFlow · Web3 资讯
BSC 预测市场 Predict Fun 疑似遭攻击，约 30 万美元转入 Tornado Cash
查看摘要与出处
据链上分析师 Onchain Lens 监测，10 月 27 日 BSC 链上的预测市场平台 Predict Fun 疑似遭到漏洞攻击，约 30 万美元疑似被盗资金从多个合约经中间钱包转移至 Relay，据报在跨链后被转入 Tornado Cash。
核对原文 ↗