Compared · as we understand their public materials · corrections welcome

MIZAN and Darwinex: what each one proves.

We name competitors and neighbours, because hiding them is what weak positions do. This page states what Darwinex proves, what MIZAN proves, and where the two sit relative to each other.

What Darwinex proves

Darwinex verifies trader performance inside its own platform and allocates capital to the traders it ranks. Verification and allocation happen under one roof.

What MIZAN proves

MIZAN is the neutral third party. It holds no capital, lists no strategies, picks no manager, and publishes its refusals, 54 of the first 77 credentials. A referee that also runs the venue has skin in the outcome; a referee that only judges does not.

Where they sit

Platforms like Darwinex can run on the standard: every listing carries a credential minted through the prover, verified by anyone, and the platform keeps its business.

What nobody on this list does

To our knowledge, no one else proves the anti-overfitting framework inside the proof itself: the deflated Sharpe ratio with the trial count as a committed Merkle leaf count, recomputed in-circuit. That is the unclaimed square, and it is the one the standard occupies. If that changes, this page will say so.

Other comparisons: vBase · Proven · Knidos · AuditZK · Numerai · QuantConnect.