@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即可实时证明以太坊主网区块;该版本尚未完成审计和形式化验证,不建议用于生产环境。 @openvm_orgは64ビットRISC-Vとネイティブ再コンパイルを導入したOpenVM 2.1 Previewを公開し、RTX 5090を4基用いたEthereumブロックのリアルタイム証明を実現した。監査・形式検証前のため本番利用は非推奨である。
NotesNotes要点
Four RTX 5090 GPUs proved 7,200 mainnet blocks with 9.7s p99 and 5.0s average latency.
Sixteen GPUs reached 3.7s p99 and 2.4s average, with live proofs submitted to EthProofs.
RV64IM_Zicclsm support aligns with the Ethereum Foundation zkVM target and supports Rust, C++, and Go.
The 64-bit word size can lower Ethereum proving cost and supports misaligned memory accesses.
Native recompilation emits portable C and runs 34x faster than the fast interpreter.
End-to-end STARK proofs target 100-bit provable security and remain below 300kB.
It matches the EF zkVM target, broadens language support, and may handle 256-bit EVM words more efficiently. 它符合以太坊基金会zkVM目标,扩展语言兼容性,并可能更高效处理EVM的256位字长。 EFのzkVMターゲットに準拠し、言語対応を広げ、256ビットEVMワードを効率化できる可能性がある。
How does native recompilation work? 原生重编译如何工作? ネイティブ再コンパイルの仕組みは?
The prover lifts the guest executable into portable C, then compiles it into a native host CPU library. 证明器将guest可执行文件提升为可移植C中间表示,再编译为直接运行于主机CPU的原生库。 証明器がゲスト実行形式を可搬なCの中間表現へ変換し、ホストCPU上で動くネイティブライブラリにコンパイルする。