We name competitors and neighbours, because hiding them is what weak positions do. This page states what QuantConnect proves, what MIZAN proves, and where the two sit relative to each other.
QuantConnect verifies backtests and live results inside its own platform, and its Alpha Streams market lists strategies to institutions from within that platform.
MIZAN proves a record regardless of where it was built, with the strategy never leaving the quant's machine, and publishes the verdict on a neutral registry. The platform is both venue and referee; MIZAN is only the referee.
The natural relationship is a rail: a platform's listings carry a credential minted through the prover, and the platform keeps its community and its fees.
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 · Darwinex · Numerai.