Registry / Credentials / zkml12-verifiable-ai-exc
REFUSED

VERIFIABLE AI · MIZAN-NET-6 · EXC (4-8-1 MLP, ReLU)

EXC · daily adj OHLC · 2019–26 (1,900 bars, Sharadar)

A track record judged inside a zero-knowledge proof: returns after costs and every committed try recomputed in-circuit, the strategy never revealed. Don't trust this page: the proof re-runs offline on your own machine in about 81 ms.

0.73Sharpe
12.8%CAGR
24.0%Max drawdown
Download the proof ⤓Verify it yourselfEmbed the badge
MIZAN · VTR-1 credential#5f23e6d01552a2f3
Credential
VERIFIABLE AI · MIZAN-NET-6 · EXC (4-8-1 MLP, ReLU)
Verdict
Refused · published
Class
Committed model
Engine
v12 · live
Anchor
RFC-3161 · Bitcoin pending
Minted
2026-10-18
PROVEN · NOT REVEALED · ZERO KNOWLEDGE · PROVEN · NOT REVEALED · ZERO KNOWLEDGE · PublishedREFUSED
Anchor fingerprint · SHA-2565f23e6d01552a2f3e623207e8d8737afa27db876844e85b41a5b95b6bcb8b588
Live status: REFUSEDfrom the public registryRFC-3161 · Bitcoin pendingCheck it yourself ↗
What this proves

What the proof settles, and what it leaves open.

Backtest of a committed model: no lookahead, but the model may have been fitted to this history.

Proven

  • Returns after costs, recomputed inside a zero-knowledge proof on committed data.
  • The strategy stayed sealed. Nothing about how it works is disclosed by this credential.
  • Lookahead: impossible (every decision recomputed in-proof from a committed model).

Not claimed

  • Hindsight: not excluded (the model could have been trained knowing the period).
  • Not a forecast. It describes a record; it does not predict the next one.
  • Not advice or a rating of any person. A verdict on one record against one public bar.
  • Not PROVEN. Only a forward track, committed before its data existed, earns PROVEN.
Disclosed metrics

What the gate measured, after costs.

0.73Sharpe
0.68OOS Sharpe
12.8%CAGR
+148.1%Net return
24.0%Max drawdown
-10.6%Worst bar
3Trades
45.0%Independence
0.53Calmar
7.60Years
46.2%Exposure
7.00Fee (bps)
5.00Slippage (bps)
1,900Bars
Refused, and published anyway. The gate said no and the proof shipped with the same weight as a pass. A gate that passes everything certifies nothing; refusals are what make a pass worth something.
Random batch drawn with a published seed ("MIZAN · random batch · 2026-10-18") from current S&P 500 members with history since 2019. Same 4-8-1 design, features [1,5,21,63], costs 7+5 bps, trained before 2023 only. The forward pass runs inside the proof; weights are never revealed. Published whatever the verdict.
The proof's journey

Five steps, each one checkable.

01 · CommittedData and spec

committed before the test

02 · ProvenEngine v12

220 KB proof · 2026-10-18

03 · TimestampedRFC-3161

Oct 18 19:55:44 2026 GMT

04 · AnchoredRFC-3161 · Bitcoin pending

5f23e6d01552a2f3e623207e…

05 · RegisteredLeaf #19

append-only, never removed

Verify it yourself

Don't trust this page. Re-run the proof.

  1. Download the proof bundle and the free, public verifier for your platform.
  2. Turn the network off. The verifier needs no server, no trusted party, no MIZAN infrastructure.
  3. Run the command. The verdict recomputes on your machine in about 81 ms and must match the one above.
The exact verify command
$ ./mizan-verifier-v12-macos-arm64 mizan_zkml_r30_exc_v12.bundle mizan_zkml_r30_exc_v12_data.csv --aux mizan_zkml_r30_exc_v12_parts.json --roots roots.txt
roots.txt: studio.mizan.market/api/catalog/roots.txt, the allowlist of canonical market data.
Verify page ↗The live wall ↗All credentials →
Carry it anywhere

One badge, checkable everywhere it appears.

Live MIZAN badge for this credential

The badge is live: it always shows this credential's current status, straight from the public registry. Free to display, at any volume.

For platforms →
Embed on a listing
<a href="https://mizan.market/credential/zkml12-verifiable-ai-exc/"><img src="https://studio.mizan.market/badge/zkml12-verifiable-ai-exc.svg" alt="MIZAN credential: VERIFIABLE AI · MIZAN-NET-6 · EXC (4-8-1 MLP, ReLU)" height="20"></a>
Or check it from code, or from an agent (MCP · A2A)
GET https://studio.mizan.market/api/agents/check?q=zkml12-verifiable-ai-exc
→ { "status": "REFUSED", "found": true, … }
The record

Every field, as committed.

Dataset
EXC · daily adj OHLC · 2019–26 (1,900 bars, Sharadar)
Minted (UTC)
2026-10-18T19:55:47Z
Verdict
FAIL · +148% but Sharpe 0.73 < 1.20 — published
Kind
zkml
Engine era
v12 · any-agent books · completion statistics · cost floor in-circuit · bracket exits
Engine status
live
Credential hash
5f23e6d01552a2f3
Anchor SHA-256
5f23e6d01552a2f3e623207e8d8737afa27db876844e85b41a5b95b6bcb8b588
Timestamp (TSA)
Oct 18 19:55:44 2026 GMT
Bitcoin / OTS
pending
Registry leaf
34af59c8d66bc49593e3153eb7aa77e09f4c32ca201a800fb4e97f5a098ee3ea
Leaf index
19
Registry root
b06894947bfabf2a5a4b5bbe329f6339e93afbacd7081128cf582711e26b1cce
Proof size
220 KB

What a verdict means: what a PASS asserts · what we refuse to certify · reading a verdict · the VTR-1 standard.

← Newer credentialVERIFIABLE AI · MIZAN-NET-13 · PCG (4-8-1 MLP, ReLU)Older credential →VERIFIABLE AI · MIZAN-NET-12 · NWS (4-8-1 MLP, ReLU)
ENGINEv12 · 659bdb67… ● LIVE REGISTRY83 credentials · append-only VERIFY~81 ms · offline · trusting no one ANCHORBitcoin #962,013 SPECVTR-1 · frozen · CC BY ROOTb0689494…6b1cce