Ziren:面向 MIPS32r2 的简洁证明 zkVM 预印本
Ziren: Succinct Arguments for MIPS32 Execution
内容摘要
作者发布预印本 Ziren,称其为面向 MIPS32r2 的生产级 zkVM,支持 77 条用户态整数指令,并已端到端证明以太坊主网区块。其算术化将程序计数器对嵌入每条 opcode 的指令帧以省去中央 CPU 表,每个分片用单个 lookup 参数、zerocheck 和经批量 WHIR 打开的 jagged commitment 证明;作者从 prover 约束描述中机械提取 104 条确定性定理并在 Lean 4 中验证,覆盖核心机器 62 个 chip 中的 57 个(含 precompile),排除项为三张预处理表和两个 SHA-256 控制 chip。在所评估的以太坊区块上,单张 NVIDIA RTX 5090 的 warm proving 吞吐达 12.0 MHz,八张达 75.8 MHz;每个证明阶段交互式可靠性超过 100 bit,149 个核心调度证明加一个根的树按 union bound 计为 93.5 bit 交互式复合安全性。作者说明端到端 knowledge soundness 仍取决于五项明示假设(含递归关系强制与跨分片摘要的计算绑定),且该摘要未建立数值安全界,故上述估计不量化已部署非交互证明的完整安全性。此为预印本,尚未代表同行评审。
来源:IACR ePrint · 区块链预印本 · eprint.iacr.org
打开原文相关报道
以下按资产或主题关联,供比较阅读,属于不同消息。
同主题资料PANews
加密市场全线下跌,RWA板块领跌超6%
查看摘要与出处
据SoSoValue数据,受美国9月CPI超预期等综合因素影响,10月15日加密市场板块全线下跌,RWA板块领跌6.33%,其中Maple Finance(SYRUP)下跌10.24%。Bitcoin(BTC)下跌1.93%跌破8.2万美元,Ethereum(ETH)下跌3.61%至2400美元附近;DeFi板块下跌3.63%,但Pyth Network(PYTH)逆势上涨8.91%。
核对原文 ↗同主题资料深潮 TechFlow · Web3 资讯
麻吉大哥遭全额清算后再次开设 25 倍 ETH 多单
查看摘要与出处
据 Hyperbot 数据,10 月 15 日,麻吉大哥在遭全额清算后再次开设 ETH 25 倍多单仓位,持仓 295 枚以太坊,仓位价值约 70.38 万美元,开仓均价 2353.1 美元,清算价格 2326.5 美元。
核对原文 ↗同主题资料深潮 TechFlow · Web3 资讯
余烬监测:某巨鲸 1.87 亿美元 ETH 多单逼近清算线,整体浮亏 1887 万美元
查看摘要与出处
据余烬监测,10 月 15 日 ETH 跌破 2400 美元后,某巨鲸或机构持有的 79,260 枚 ETH(价值约 1.87 亿美元)多单清算价区间为 2,290 至 2,301 美元,距清算价仅约 60 美元。该地址另持有 1,140 枚 BTC(约 9,260 万美元)多头,清算区间 72,268 至 74,449 美元,整体持仓浮亏已达 1,887 万美元。
核对原文 ↗同主题资料深潮 TechFlow · Web3 资讯
过去 1 小时全网爆仓 4.86 亿美元,ETH 爆仓 2.01 亿美元
查看摘要与出处
据 CoinGlass 数据,10 月 15 日过去 1 小时加密货币市场总爆仓金额达 4.86 亿美元,其中多单爆仓 4.65 亿美元,空单爆仓 2070.11 万美元。分币种看,以太坊(ETH)爆仓约 2.01 亿美元(多单 1.94 亿美元,空单 733.84 万美元),比特币(BTC)爆仓约 1.17 亿美元(多单 1.11 亿美元,空单 536.16 万美元)。
核对原文 ↗同主题资料深潮 TechFlow · Web3 资讯
Bitget PoolX 锁仓 ETH 瓜分 15 万 USDT 空投
查看摘要与出处
Bitget PoolX 将于 10 月 15 日 15:00 至 10 月 20 日 15:00(UTC+8)上线新一期 ETH 锁仓活动,用户锁仓 ETH 可瓜分 150,000 USDT 空投,个人锁仓上限为 1,500 枚 ETH。活动支持长期持仓加成,系统将根据用户过去 15 天内 ETH 的最低持仓量,对有效锁仓量提供 1 倍额外加成。
核对原文 ↗同主题资料动区 BlockTempo · 中文资讯
VanEck 撤回 Lido stETH ETF 申请,登记声明从未生效
查看摘要与出处
VanEck 10 月 14 日向 SEC 递交 Form RW,撤回一年前申请的「VanEck Lido Staked Ethereum ETF」,文件未说明原因,仅确认登记声明从未生效、没有任何份额发行过。文章分析称,贝莱德 iShares Staked Ethereum Trust ETF(ETHB)等现货以太币 ETF 已可原生质押,绕道 stETH 的理由减少;同时 Lido 协议 TVL 从申请时近 400 亿美元降至 10 月 15 日约 234 亿美元,缩水约四成。
核对原文 ↗