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.