Skip to main content

Verifiable Computing

Definition

Verifiable computing refers to a system where a powerful but untrusted prover performs a computation and generates a concise proof that the computation was executed correctly. A weaker verifier can then quickly check this proof without re-executing the entire computation. In the digital asset space, this is often achieved using zero-knowledge proofs (ZKPs) or other cryptographic proof systems. It allows for off-chain computation with on-chain verification, enhancing scalability and privacy.