Formal Verification of the Sumcheck ProtocolAzucena Garvia BosshardJonathan Bootleet al.2024CSF 2024Conference paper