可验证计算（Verifiable Computation）是指在计算过程中或计算完成后，能够由第三方（验证者）以较低成本确认计算结果正确性的计算范式。其核心目标是在不重复执行完整计算的前提下，证明计算方（证明者）所返回的结果确实按照预定程序对给定输入执行得出。典型技术包括交互式证明、非交互式零知识证明（如 zk-SNARKs、zk-STARKs）、可验证延迟函数（VDF）以及基于全同态加密的验证方案等。该标签涵盖（技术原理）、（应用场景）、（性能开销）、（信任假设）、（代表协议）等方向，常用于区块链扩容、外包计算、隐私保护及可信执行环境等领域。