Proof-Carrying Data Enables Scalable Verifiable Distributed Computation
Proof-Carrying Data is a cryptographic primitive enabling proofs to verify other proofs, compressing arbitrary computation history into a single, constant-size argument.
