badge-checkAppendix "PoSml Verification"

Appendix B — PoSml Verification (Concise)

  • Input Commitment: hashing the job spec and assets.

  • Step Commitments: per-step hash chains across state transitions.

  • Spot-Check Windows: deterministic segments for verification.

  • Redundant Consensus: selective re-runs on independent nodes to compare outputs.

  • Final Attestation: node signatures plus a Merkle root over artifacts.

Last updated