We name competitors and neighbours, because hiding them is what weak positions do. This page states what Proven proves, what MIZAN proves, and where the two sit relative to each other.
Proven uses zero-knowledge proofs to show that assets exist without disclosing balances: proof of solvency for exchanges and custodians.
MIZAN answers a different question with the same class of cryptography: not whether the money exists, but whether the strategy that claims to have made it is real, after costs, out of sample, and corrected for how many attempts were made.
One door over. Balance-sheet truth and strategy truth are both needed; they are separate problems, solved by separate proofs.
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 · Knidos · AuditZK · Darwinex · Numerai · QuantConnect.