About and methodology

Direct answerHow this index is compiled: primary sources only, dated entries, a named editorial team, listing criteria for frameworks and firms, and how to request a correction.

Who writes this

The index is compiled by the sorryfree editors, practitioners with a background in applied cryptography and proof engineering. It is not generated from model output; every entry is checked against the linked repository, paper or blog post before publication. Framework order within a category and firm order on the index reflect the editors' assessment of depth and public evidence, and are stated, not hidden.

Sources

Framework facts: the project repository README and documentation, release notes, and the maintainers' own technical write-ups.
Proof claims: the theorem statements in the public repository or the paper. Where completeness is not proved, the page says so.
Firm facts: the firm's website, public proof repositories, published reports, and grant announcements from the Ethereum Foundation Verified zkEVM program.
Dates are the publication date of the release, post or paper. Items that could not be confirmed from a primary source are omitted rather than guessed.

Frameworks listing criteria

A public artifact (repository, paper or documented product) that verifies cryptographic code, ZK circuits, proof systems or protocols.
A statement of what is proved that a reader can check: theorem statements, a property definition, or a documented analysis.
Either active maintenance or historical significance for understanding the field. Archived tools are marked as such.

Firm listing criteria

A named formal-methods practice with engineers who write proofs, not only run linters.
Public evidence: open-source proof repositories, peer-reviewed papers, or published reports with proof artifacts.
Availability for third-party engagements. Pure in-house teams (StarkWare, Succinct) are cited on framework pages but not listed as firms.

Machine-readable data

Every page has a data.json and a summary.txt sibling. Site-wide exports: /api/index.json, /api/frameworks.json, /api/categories.json, /api/firms.json, /api/glossary.json, /api/faq.json, /api/checklist.json, /api/news.json, /llms.txt, /llms-full.txt.

Corrections

Email editor@sorryfree.com with the page URL and a primary source. Corrections are applied with a new "updated" date.