Back to Projects
Entry Date:
January 29, 2016

Proof-Carrying Data

Principal Investigator Ronald Rivest

Augment all messages in the system with proofs of how they were computed. This is composable. Each new computation incorporates the proofs that were attached to its inputs.