Research proof index

If Honest Bob rejects, Vera usually complains. The error probability is higher if Bob does complain, though, so we use an expectation over vera_score.

In the ambient finite $\mathbb F_2$-vector space, exactly half of the additive homomorphisms $\varphi:G\to\mathbb F_2$ take a fixed nonzero vector $x$ to $1$: $2\,|\{\varphi:\varphi(x)=1\}|=|G|$.

For every set $A$ in the ambient finite $\mathbb F_2$-vector space, some linear functional $\varphi:G\to\mathbb F_2$ has at least $(|A|-1)/2$ elements of $A$ in its $1$-fiber.

Chernoff symmetric bound

Weak Chernoff's theorem for the Bernoulli case

Chernoff symmetric bound for estimate