计算机科学/离散数学研讨会

非常高效。计算验证是计算机科学的基础，也是P与NP问题的核心。近年来，特别是随着区块链技术和云计算的日益普及，它的实际意义越来越大。在这次演讲中，我将介绍验证计算正确性的方案。我将讨论它们对密码学和整个计算理论的影响，以及它们对实践的影响。