公开可验证计算是一种加密协议，允许一个轻量级的客户端（比如，一个普通的个人电脑或智能手机）将计算任务外包给一个强大的服务器（例如，云计算服务），并能够验证服务器返回的计算结果的正确性，而无需重做所有计算工作。这种技术特别适用于计算成本高昂或数据所有者资源有限的场景。