Verification Guide

Each instrument emits a certificate file (CBOR) with code hashes and witnesses. Use the verify CLI in the repo to re-run the proof.

Certificate Format

All proofs ship with a standardized certificate bundle containing:

• Code hash (SHA-256 of the proof algorithm)
• Input parameters and witness data
• Verification timestamp and metadata
• Digital signature for authenticity

Verification Process

1. Download the certificate bundle from the project repository

2. Run the verification tool with the certificate as input

3. The tool will reproduce the proof computation and verify the result

4. Compare the computed hash with the certificate hash

Reproducibility

Every proof is designed to be bit-for-bit reproducible. The same input parameters will always produce the same output hash, ensuring complete verifiability and preventing any possibility of manipulation or error.