ZK Hints
Daily Digest 每日摘要 View All 查看全部
09
Sun 日
zkVM RISC-V
@openvm_org released OpenVM 2.1 Preview with 64-bit RISC-V and native recompilation, enabling real-time Ethereum block proving on four RTX 5090 GPUs. It is unaudited and not recommended for production. @openvm_org 发布OpenVM 2.1预览版，引入64位RISC-V与原生重编译，使用4张RTX 5090即可实时证明以太坊主网区块；该版本尚未完成审计和形式化验证，不建议用于生产环境。
Key Points: 要点：
- • Four RTX 5090 GPUs proved 7,200 mainnet blocks with 9.7s p99 and 5.0s average latency. 4张RTX 5090处理7,200个主网区块，证明时间p99为9.7秒、平均5.0秒
- • Sixteen GPUs reached 3.7s p99 and 2.4s average, with live proofs submitted to EthProofs. 16张GPU的p99为3.7秒、平均2.4秒，并在EthProofs实时提交证明
- • RV64IM_Zicclsm support aligns with the Ethereum Foundation zkVM target and supports Rust, C++, and Go. 支持以太坊基金会zkVM目标RV64IM_Zicclsm，兼容Rust、C++与Go
- • The 64-bit word size can lower Ethereum proving cost and supports misaligned memory accesses. 64位字长可降低以太坊工作负载的证明成本，并支持非对齐内存访问
- • Native recompilation emits portable C and runs 34x faster than the fast interpreter. 原生重编译将guest程序转换为可移植C，执行速度比快速解释器提升34倍
- • End-to-end STARK proofs target 100-bit provable security and remain below 300kB. 端到端STARK证明具备100位可证明安全性，证明大小低于300kB