Proof Ledger
Verify Horizon receipts
Inspect simulated AIVM task receipts, compare quorum and metering, and run a browser-side proof verifier.
| Task | Model | Quorum | Cost | Status |
|---|---|---|---|---|
| Protocol audittask_hzn_9f58 | Oracle Weaver 72B | 9/11 | 24 HZN | Verified |
| Compute routingtask_hzn_44ac | Market Lattice 9B | 6/7 | 11 HZN | Settled |
| Model launchtask_hzn_c20e | SynQ Coder 32B | 7/9 | 18 HZN | Verified |
| Governance brieftask_hzn_aa31 | Oracle Weaver 72B | 8/11 | 15 HZN | Finalized |
Proof check
Paste a Horizon proof hash or select a ledger row to test the verifier state.