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.
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
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
October 15, 2025 at 7:16 AM
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
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