Skip to main content

Verifiable Outsourced Computation

Definition

Verifiable Outsourced Computation is a cryptographic technique where a party can offload complex computations to an external, untrusted computing service and still mathematically verify the correctness of the results. This is achieved through a proof system that allows the client to efficiently check if the computation was performed accurately. It eliminates the need for the client to trust the external service provider. This approach enhances efficiency and scalability for resource-constrained devices.