Formal Verification of the Sumcheck Protocol
- Azucena Garvia Bosshard
- Jonathan Bootle
- et al.
- 2024
- CSF 2024
I am a cryptographer in the Foundational Cryptography group at IBM Research – Zurich. My research is usually focussed on designing efficient zero-knowledge proofs, especially those based on lattice assumptions and error-correcting codes.
More information about my work and useful links can be found at https://jbootle.github.io/.