Skip to content
断路器：导致 RISC Zero zkVM 被攻破的缺失约束
hackenproof.com | 博客 | #bug-bounty | #web3 | #vulnerability-research | #cryptography | #vulnerability | #zkvm | #zero-knowledge-proofs | #risc-zero | #riscv
摘要
RISC Zero zkVM 漏洞剖析：rv32im 电路缺失一项约束，恶意证明者可对 remu、divu 等三寄存器 RISC-V 指令伪造执行结果，影响 risc0-zkvm 2.0.x 版本。
- 发布时间
- 收录时间