PETS 2026 / 5A: Zero Knowledge Proofs

4 talks · 2026 · indexed by Breach Arc Archive. Links open each talk on YouTube.

• Gryphes: Hybrid Proofs for Modular SNARKs with Applications to zkRollups 2026
• HyperVerITAS: Verifying Image Transformations at Scale on Boolean Hypercubes 2026
• PQKryvos: Post-Quantum Secure E-Voting With Flexible Ballot Formats and Public Tally-Hiding 2026
• zkRevoke: Configurable Untraceability for Verifiable Credentials using ZKPs 2026