热门话题
#
Bonk 生态迷因币展现强韧势头
#
有消息称 Pump.fun 计划 40 亿估值发币，引发市场猜测
#
Solana 新代币发射平台 Boop.Fun 风头正劲
介绍 R0VM 2.0。
为实时时代打造的 zkVM。
7/ 速度没有安全性就毫无意义。
通过与 @veridiseInc 合作，我们正在将形式化验证作为 R0VM 的核心部分。
到目前为止，我们已经证明了 v2 电路中用于核心 RISC-V 功能的 123 个组件中的 122 个是确定性的。
2025年3月22日
RISC Zero is building the first formally verified RISC-V zkVM.
Using @VeridiseInc's Picus tool, we're mathematically proving determinism in our circuits.
Our goal: A zkVM that’s both incredibly fast and provably secure, so developers never have to compromise.
437.12K
热门
排行
收藏