@misc{indiciae8913b7ff67f7,
  title = {Formal Verification of the Sumcheck Protocol},
  author = {Azucena Garvía Bosshard and Jonathan Bootle and Christoph Sprenger},
  year = {2024},
  url = {https://arxiv.org/abs/2402.06093},
  note = {Source identifier: 2402.06093}
}