🔥Telegram İfşa

I'm excited that our fuzzer uncovered another critical bug in the Noir zero-knowledge infrastructure, revealing a soundness issue (see github.com/noir-lang/noir…). If you're interested in fuzzing your ZK infrastructure, let's connect! Noir Kudos for the swift fix!

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

Presented our CCS25 paper yesterday in Taipei! 🎤 We introduce Circuzz, the first systematic fuzzing framework for zero-knowledge (ZK) pipelines. 📄 Paper: mariachris.github.io/Pubs/CCS-2025.… 💻 Repo: github.com/Rigorous-Softw… with Anastasia Isychev, Valentin Wüstholz and Maria Christakis