Presented our CCS25 paper yesterday in Taipei! 🎤 We introduce Circuzz, the first systematic fuzzing framework for zero-knowledge (ZK) pipelines. 📄 Paper: https://t.co/t77rcnO8u3 💻 Repo: https://t.co/L1eQc8C9jZ with @izycheva, @vwuestholz and @mchri5taki5

RISC Zero Security Disclosure A missing constraint was recently discovered in the rv32im circuit. This issue affects any 3-register RISC-V instruction (including remu and divu) in risc0-zkvm 2.0.0, 2.0.1, and 2.0.2. This vulnerability was reported by Christoph Hochrainer via

I'm excited that our fuzzer uncovered another critical bug in the Noir zero-knowledge infrastructure, revealing a soundness issue (see https://t.co/xFZhlzDjLC). If you're interested in fuzzing your ZK infrastructure, let's connect! @NoirLang Kudos for the swift fix!