Christoph Hochrainer (@hochra1ner) 's Twitter Profile
Christoph Hochrainer

@hochra1ner

ZK crusher at @tu_wien

ID: 1836789625781719041

calendar_today19-09-2024 15:29:30

2 Tweet

22 Takipçi

23 Takip Edilen

Valentin Wüstholz (@vwuestholz) 's Twitter Profile Photo

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 (@risczero) 's Twitter Profile Photo

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

Christoph Hochrainer (@hochra1ner) 's Twitter Profile Photo

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