№ 10 · Lineage · 2026-07-31
MIZAN built the bolt. The people on this page built everything the bolt holds together. This is the complete citation ledger of the engine — what each framework says, and exactly what the circuit enforces from it.
Every verification standard is a claim about whose mathematics you are standing on. Ours should be checkable like everything else we publish. Below is the full lineage of the MIZAN engine — two statistical literatures and one cryptographic one — with exact citations and, for each, the specific thing the machine enforces. Where enforcement is partial or verifier-side rather than in-circuit, that is stated, because the boundary is the product.
Attribution, not endorsement. None of the authors named here has reviewed, approved, or endorsed MIZAN, and nothing on this page should be read as implying otherwise. The citations run in one direction: we implement their published work, and we take responsibility for the implementation.
The first school asks: given how the result was found, how much of it is luck?
The second school asks: out of everything that was tried, does the best survivor mean anything at all?
The third literature had the enforcement mechanism the first two lacked.
The honors this lineage carries, for the record: a Nobel Memorial Prize (Sharpe, 1990); two Turing Awards (Goldwasser and Micali, 2012 — for the zero-knowledge paper itself); the first Gödel Prize ever awarded (Goldwasser, Micali & Rackoff, 1993); an American Finance Association presidency (Harvey); and an election to the Royal Academy (López de Prado, 2026). We did not choose famous foundations — we chose the correct ones, and the field had already crowned them.
Count them: Sharpe; Bailey, Borwein, López de Prado, and Q.J. Zhu; White, Hansen, Harvey, Liu, and H. Zhu — two different Zhus, four years apart, both load-bearing; Gelman and Loken; Goldwasser, Micali, and Rackoff; Merkle; Ben-Sasson, Bentov, Horesh, and Riabzev. Twenty authors.
What is ours, stated once and hedged: the committed trial ledger that turns N from a self-reported input into a structural property of the proof; era law, so a credential names its judge forever; and the practice of publishing our own refusals — including the flagship failure above — on the same wall as the passes. To our knowledge, no other production system enforces both statistical schools inside a zero-knowledge proof. That claim is falsifiable, and this page is part of how you'd falsify it.
Correction policy: if any citation above is imprecise, tell us and we will fix it publicly — the same rule we apply to our own numbers. [email protected]