Forged sum-check messages should be rejected by the verifier with probability `>1-1/|F|`
Forged sum-check messages should be rejected by the verifier with probability
>1-1/|F|