交互式证明（interactive proofs）是2018年公布的计算机科学技术名词。
2018年经全国科学技术名词审定委员会审定发布。
《计算机科学技术名词 》 (第三版)
水利万物而不争,
而万物莫能与之争。
