We name competitors and neighbours, because hiding them is what weak positions do. This page states what Knidos proves, what MIZAN proves, and where the two sit relative to each other.
Knidos proves that on-chain trades happened as reported: execution, verified cryptographically.
MIZAN proves that the backtest behind a strategy was honest and that the live record continues to clear the same locked gate over time. Verified execution shows the trades occurred; a credential shows the edge is statistically real and was not the best of a thousand tries.
Adjacent layers. Execution proofs and record credentials can coexist on the same strategy.
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 · AuditZK · Darwinex · Numerai · QuantConnect.