Christoph Hochrainer @chochrainer.bsky.social · 16/01/2026Looking forward to presenting the work and discussing fuzzing, soundness, and security challenges in zkVMs! 🤝 000
Christoph Hochrainer @chochrainer.bsky.social · 16/01/2026🎉 Excited to share that our paper "ARGUZZ: Testing zkVMs for Soundness and Completeness Bugs" was accepted to USENIX Security 2026. Joint work with @vwuestholz.bsky.social and Maria Christakis 📑 Paper: mariachris.github.io/Pubs/SECURIT... 💻 Repository: github.com/Rigorous-Sof... 111
Christoph Hochrainer @chochrainer.bsky.social · 15/10/2025Presented 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-202... 💻 Repo: github.com/Rigorous-Sof... with @isychev.bsky.social, @vwuestholz.bsky.social, Maria Christakis 043