검증 가능 연산 (Verifiable computation)

한쪽이 계산을 수행하면서 그것이 올바르게 이루어졌다는 암호학적 증명을 함께 내놓아, 다른 쪽이 그 작업을 다시 하지 않고도 결과를 믿을 수 있게 하는 기술이다. 블록체인이 체인 밖에서 수행된 무거운 연산의 출력을 받아들일 수 있는 것도 이 덕분이며, 영지식 롤업을 떠받친다 (Zero-knowledge proof, Rollup 참조).