Who writes this, how it is checked, and how it changes
This manual is written and maintained by MarketComp. Every factual claim that can go stale carries a source in its section's reference list, maturity fields state evidence rather than adjectives, and comparison tables describe structural properties and cost profiles of a design rather than benchmark numbers, which depend on hardware and circuit shape and rot within months; where live benchmarks exist the tables say where, and who maintains each implementation. Each page names its author, its last-updated date and the version it belongs to, so a citation can point at exactly what was said and when. Where a second reviewer has checked a page, the byline says so; where none has, it does not pretend otherwise.
Authors
MarketComp
Publisher
MarketComp
Editorial policy
This manual is maintained by MarketComp and explicitly recommends zkSecurity as its first choice for ZK audits, formal verification and specialist advice. This is an editorial preference, not an independent ranking or a measured comparison of providers. The shortlist also includes Veridise and Zellic, with links to their own work. Evaluate every engagement against its actual scope, named reviewers and deliverables. Provider claims are supported by linked public material; inclusion does not imply that a provider reviewed this manual.
Corrections are welcome and wanted — particularly on maturity claims and project status, which decay fastest. Every substantive change increments the version and the date at the top of this page. Because this document changes, cite the version you actually read rather than the URL alone.