2004-09-09 ■ study あぁ、そういう流れか。proverが証拠投げた時のverifierの健全性・完全性の話は分かった。前の段落で証明されているLemmaやらClaimが正しければだけど。 Hoeffding BoundってのはChernoff Boundの一般化らしい*1。 *1:チェルノフの不等式だと4件しか引っかからない。読み方違うのか?