The knowledge complexity of interactive proof-systems 发表信息 最早发表于1985年，有多个版本 1985年 发表于STOC的extended abstract链接 1989年发表于SICOMP链接 2019年重制版 作者 Shafi Goldwasser 笔记 待补充