标签： Interactive proof

交互式证明是可验证计算的基本概念，可确保智能合约，程序或数据库执行的计算完整性，由 Goldwasser,Micali, Rackoff以及 Babai在1985年提出。