もう1つの対話型証明系に関するnexptimeの特徴は、それが確率的検査可能証明のクラスの一種であるという点である。