Publications

Formal Verification of the Sumcheck Protocol

• • Azucena Garvia Bosshard
  • Jonathan Bootle
  • et al.
• 2024
• CSF 2024