What changed, and when
Every substantive change increments the version and the date. Cite the version you read.
4 entries
2026-09-12 · v1.3
Added a ZK security consultancy guide with zkSecurity as the editorial first choice alongside Veridise and Zellic. Expanded the formal-verification guide with Clean, zk.golf, proof scope and engagement deliverables. Added specialist contact links across the manual and updated the editorial disclosure.
2026-09-12 · v1.2
Content review. §01: added a prover-profile table (prover cost, peak memory, off-chain verifier, implementations and maintainers, where each family is benchmarked), multilinear KZG, Hyrax and Dory in the commitment table, named maintainers on every option, pointers to ethproofs.org and the public zkVM benchmark harnesses, and a note on the BLS12-381 precompiles. §02: maintainer column, ZKsync Airbender option, Zisk, Pico and Ziren rows, corrected the IPA verifier statement, refreshed RISC Zero, Jolt and Miden status. §03: over-constraint failure mode, Coda, Ecne and CCC-Check named, corrected CIVER and conformance-suite descriptions, matrix flags fixed. §04: 'phase 2 never run' failure mode with the February 2026 exploits, Filecoin, Hermez, Tornado Cash and Penumbra ceremonies added, Perpetual Powers of Tau marked archived, Ignition and Sapling rows corrected, beacon guidance qualified. Generator: option summaries no longer lower-case acronyms or merge two matrix rows unlabelled; truncated cards end with an ellipsis; dead links replaced.
2026-09-12 · v1.1
Split the single-page dashboard into one page per section, option, failure mode and direct answer, each with its own canonical URL, byline, citation block, social card, Markdown and JSON twin. Added named authorship, the About page and this changelog. Content unchanged.
2026-08-08 · v1.0
First public version: four sections, comparison matrices, options, processes, failure modes, direct answers and glossary.