概率证明系统基础（1）：IP/GNI/Upper Bound