概述
可驗證運算（Verifiable compute）指的是其結果可透過加密方式進行驗證的運算，通常是透過零知識證明來實現。它讓使用者能夠信任鏈下運算，是關鍵的擴容與信任技術。
運作原理
證明者執行運算並產生正確性證明，驗證者可低成本地進行驗證。這使得繁重的運算工作能移至鏈下進行，同時維持信任。零知識捲積（ZK rollups）是其主要應用之一。
為何重要
可驗證運算能實現可擴展且私密的運算，為 Rollups 和去中心化人工智慧提供動力。它降低了驗證成本，是區塊鏈技術的前沿領域。
相關概念
可驗證運算基於零知識證明，並與 ZK Rollups 相關。它實現了無需信任的運算。