Proof Chains
Proof chains preserve relationships between related verification artifacts.
Concept
Section titled “Concept”Artifact A ↓Proof A ↓Artifact B ↓Proof B ↓Artifact C ↓Proof CWhy chains matter
Section titled “Why chains matter”A single artifact can show one state.
A chain can show how relevant states evolved over time.
Useful properties
Section titled “Useful properties”A proof chain should make explicit:
- predecessor
- successor
- artifact identity
- verification identity
- timestamp or ordering evidence
- contract version
Boundary
Section titled “Boundary”Ordering evidence is not automatically the same as trusted external time.
The exact meaning depends on the declared contract.
Continue with Proof Examples.