Entry Date:
January 29, 2016
Proof-Carrying Data
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.