ChoiceProof ProtocolExecution evidence,
independently verified.
A common foundation for evidence binding, mathematical verification and independently reproducible results.
From evidence to a checkable result.
Bind the evidence
Connect observations to the expected task, source and approved verification profile.
Check authenticity and fault tolerance
Verify signatures and, for supported execution models, check observations against certified source-fault and omission budgets.
Reproduce the result
Retain the evidence, approved profile and result so the same checks can be repeated independently.
Protocol v0.1
Common rules for evidence formats, verification profiles and results.
Read the specification