あぁ、そういう流れか。proverが証拠投げた時のverifierの健全性・完全性の話は分かった。前の段落で証明されているLemmaやらClaimが正しければだけど。
Hoeffding BoundってのはChernoff Boundの一般化らしい*1
Pr(|S_N-E(S_N)|\geq N\epsilon) \leq 2e^{-\frac{N\epsilon^2}{(b-a)^2}}

*1:チェルノフの不等式だと4件しか引っかからない。読み方違うのか?