Proof Verification

Proof verification evaluates evidence against the rules declared by the proof contract.

Flow

Proof Artifact
    ↓
Required Evidence
    ↓
Integrity Checks
    ↓
Contract Validation
    ↓
PASS / FAIL

Result semantics

A valid proof result should distinguish clearly between:

• PASS
• FAIL
• ERROR
• INCOMPLETE
• UNKNOWN

Only an explicit successful contract evaluation should become PASS.

Principle

UNKNOWN != PASS
ERROR   != PASS
PARTIAL != PASS

Cross-technology use

Proof artifacts may reference results produced by:

• Core
• Secure
• VSC
• SKC
• Arca

Next

Continue with Proof Chains.