交互式证明是可验证计算的基本概念,可确保智能合约,程序或数据库执行的计算完整性,由 Goldwasser,Micali, Rackoff以及 Babai在1985年提出。
Necessary cookies are absolutely essential for the website to function properly. This category only includes cookies that ensures basic functionalities and security features of the website. These cookies do not store any personal information.