Christoph Hochrainer's Avatar

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. 🌐 https://christoph-hochrainer.at/

6 Followers  |  8 Following  |  3 Posts  |  Joined: 15.10.2025
Posts Following

Posts by Christoph Hochrainer (@chochrainer.bsky.social)

Looking forward to presenting the work and discussing fuzzing, soundness, and security challenges in zkVMs! 🤝

16.01.2026 10:27 — 👍 0    🔁 0    💬 0    📌 0

🎉 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...

16.01.2026 10:26 — 👍 1    🔁 1    💬 1    📌 0

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

15.10.2025 07:16 — 👍 4    🔁 3    💬 0    📌 0