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.
Universal Zero-Knowledge Proofs Eliminate Program-Specific Trusted Setup
A universal circuit construction for SNARKs decouples the setup from the program logic, establishing a single, secure, and permanent verifiable computation layer.
