Ϲhristian Knabenhans

If you're applying for a PhD in applied crypto/system security/privacy this year, you should absolutely consider applying to @anwarhit's new lab at UoT! She's a brilliant researcher and a wonderful advisor, don't miss this opportunity to work with her.

Excited to share this new paper with Jack O'Connor and @_nickspoon! We improve our ZK-PCP construction to cover all of NEXP (with exponential proofs), scale it to NP with polynomial proofs, and obtain O(1)-locality via composition--yielding a ZK analogue of the PCP theorem. 1/3

We're starting a study group on Alessandro Chiesa and Eylon Yogev's snargsbook.org on the ZK Hack Discord! Join us this Thursday at 6pm CET for an intro by Alessandro: discord.com/events/7409136…

Make the Most of Your Summer by joining us for Summer@epfl 2025!! 📡To apply go here summer.epfl.ch ⏳The application deadline for all students is on the Sunday closest to 1st December (anywhere on Earth). @EPFL_en @EPFL_AI_Center @EPFL_Imaging

Happy to share this great project from @cknabs that builds off @OpenFHE_org with the additional ability to prove the correct evaluation of FHE circuits using a (zero-knowledge) succinct non-interactive argument of knowldege ((zk)SNARK). Open-source FTW! github.com/zkFHE/zkOpenFH…

Is there a quantum computer in the NSA's basement? Does there need to be to justify PQC? Read the blog: buff.ly/3zqqQvI