Skip to main content

Publicly Verifiable Computation

Definition

Publicly Verifiable Computation is a cryptographic technique where a party can perform a computation and then generate a compact proof that attests to the correctness of that computation. This proof can be independently and efficiently checked by any other party, without needing to re-execute the original computation. It ensures the integrity of results in distributed systems where trust among participants is limited. This method offers transparency and efficiency for complex operations.