Production-grade, complete, in open testing — anyone can sign in and test it. Minting is free while the window lasts; the founding 25 seats are the last free ones this company will ever issue. To our knowledge, the first verification standard where every claim is a proof. The forty-six years of literature it answers: mizan.market/evidence. Level I — honestly computed: a secret strategy cleared a pinned institutional gate on Merkle-bound real data, after real costs, in-circuit. Level II — validation-complete: both canonical schools of backtest honesty — the López de Prado/Bailey in-sample program and the Harvey–Liu/Hansen universe program — proven in one zero-knowledge credential; to our knowledge, the first engine to do so. Level III — pre-registered against data that doesn't exist yet: the roadmap, stated as roadmap. Anyone re-verifies in milliseconds, trusting no one.
The VTR Standard (VTR-1) for Verifiable Strategy Validation. A credential states its level and the engine era that minted it — and every statement below is traceable to a proof artifact on the registry, the published coverage methodology, or the era registry. Where we can't trace, we understate.
The first Level II credential ever minted — the both-schools ValidationExt seal — was run on MIZAN's own flagship strategy. The verdict: PSR 0.7226, below the 0.95 bar → NOT SIGNIFICANT. It is live on the registry wall next to the credentials that passed. A standard that only ever certifies its author is a logo; a standard that fails its author in public is a measurement. That credential is the proof the gate is real.
And the gate kept refusing. Apple buy-and-hold, +272,548% over 28.5 years — refused (Sharpe 0.89, below the bar). The S&P 500 itself — refused, with independence proven in-circuit at 0%: the benchmark is 99% market beta and the proof says so. Our own +895% AI model — refused. All live on the wall, all re-verifiable offline. A gate that would pass everything certifies nothing.
Most are cryptographically proven in-circuit, as real minted STARKs — each card says which. The rest are research-validated after costs — shown with their true metrics and exactly what each needs to become provable. Nothing here is faked.
The honest map, before you submit — pinned to a published methodology (docs/COVERAGE_METHODOLOGY.md, v3): the engine rail covers ~80% of systematic strategies today, the published roadmap lifts that to ~90%, and the remaining 10–15% — fill-dependent and unpriced-asset strategies — is a ceiling we state as a feature, because a verifier claiming ~100% would be asserting it can bind data it cannot see. Thirteen strategy classes are provable today; three are in build or on the roadmap; HFT we refuse on principle. The asset universe rolls in deliberately slowly: BTC (4h & daily), SPY and the US single-name/PIT-panel library are canonical today; NIFTY and gold are withdrawn — their source failed our own provenance standard, existing credentials verify forever under era law — and each new market lands only when its dataset is pinned to the canonical allowlist — provenance first, coverage second.
Below the bar, the fill is the strategy. A high-frequency or market-making edge lives in queue position, fill probability and adverse selection — none of which exist in bar data, which is what this circuit proves over. We could run your tick backtest through the gate and stamp it. The stamp would be mathematically valid and economically meaningless.
▸ Launch window — minting is free · paid tiers switch on next
Paste the committed spec of a strategy you've already built, choose a canonical dataset, and this box mints a genuine 220KB STARK credential. The instant dev dry-run also MEASURES your proof's exact size, so the ETA you're quoted (typically ~20–60 min) is a measurement, not a guess. It also previews the gate verdict — a failing strategy is refused on the spot, and hours-class proofs are honestly declined by the public queue rather than silently killed.
| indicator | signal (votes long when…) | short_window | long_window | threshold_bps |
|---|---|---|---|---|
| Sma | fast SMA > slow SMA (crossover) | fast SMA · bars | slow SMA · bars | — |
| Ema | fast EMA > slow EMA (crossover) | fast EMA · bars | slow EMA · bars | — |
| Momentum | trailing return > threshold | — | lookback · bars | entry return · bps |
| Donchian | close > highest close of prior N bars | — | channel · bars | — |
| Bollinger | close > SMA + k·σ (breakout) | — | window · bars | k ×100 (200 = 2σ) |
| Rsi | RSI < level (mean-reversion) | — | RSI period · bars | level ×100 (3000 = RSI 30) |
All values are integers — the circuit is integer-deterministic. Windows are in bars of your chosen dataset (60 bars = 60 days on a daily set, 10 days on a 4h set). Full SDK docs ship with the local kit: [email protected].
Costs are committed inside the proof and printed on the credential. The public tier is up-only — proving at harsher costs strengthens the credential; understating them is the forgery we refuse. Institutional fee schedule below 7 bps? Attested tier — documented fees only, and the slippage floor stands regardless.
Read before submitting: hosted minting means your spec is processed on MIZAN's server — it is kept only until the mint finishes, then deleted, and it is never committed to the proof. If your strategy must never leave your machine, switch to mint on your machine above — same engine, same credential, and only the finished proof is ever uploaded. Queue: one real mint at a time, 3 pending max, 2 per email per day.
Every entry is a real STARK, independently re-verified and timestamp-anchored into Bitcoin + an RFC-3161 authority — it cannot be backdated. Every card names the engine era that minted it (v6 → v11, current era v11 · validation-complete); the era registry is append-only, so a v10 credential verifies against its own era forever — superseded is not revoked. Honest fails stay on the wall next to the passes: the wall is a record, not a brochure. Listing is opt-in; strategies are never revealed; metrics appear only where the quant chose disclosure.