iiinova — where your digital self keeps evolving

Christoph Hochrainer

@chochrainer.bsky.social

PhD researcher improving reliability in Web3. Testing zero-knowledge tools with custom fuzzers. Into smart contracts, compilers, and system reliability. 🌐 christoph-hochrainer.at

Posts Replies Media

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/2025

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-202... 💻 Repo: github.com/Rigorous-Sof... with @isychev.bsky.social, @vwuestholz.bsky.social, Maria Christakis

043