ROADMAP.md hasn't been touched since June 2025 (last commit 5ee74d2), and quite a lot has landed or moved since then. A few concrete examples of drift:
Stale/wrong paths — several items point at code that no longer lives in ArkLib:
Items that read as "not started" but are actually done or well underway:
- Pairing-based (KZG) polynomial commitments are complete with no open
sorrys (Commitments/Functional/KZG/*).
- "Folding Schemes" reads like Nova/ProtoStar-style IVC folding, but the only "folding" in the repo is STIR/WHIR-style codeword folding (
Data/Polynomial/SplitFold.lean, ProofSystem/Whir/Folding.lean) — a different concept entirely. IVC-style folding is untouched.
Whole active subsystems aren't mentioned at all:
- Lattice-based cryptography / Hachi (
Data/Lattices/*, Commitments/Ordinary/Ajtai/*) — has its own blueprint chapter (blueprint/src/lattices/hachi_subfield.tex) but zero ROADMAP.md presence.
- Sum-Check & Spartan, Ring-Switching, the coordinate-wise special soundness / tree-soundness generalization in
OracleReduction/Security/ — all active, all blueprint-tracked, none in ROADMAP.md.
More generally, the blueprint (blueprint/src/) looks like the thing that's actually kept current — it already covers lattices, Binius, Spartan, WHIR/STIR, sum-check, and ring-switching. ROADMAP.md hasn't caught up to it.
Happy to put together a PR that syncs ROADMAP.md against current code + the blueprint's table of contents, but per CONTRIBUTING.md's guidance to discuss before large changes, wanted to raise it here first rather than send a cold rewrite — especially since a couple of the corrections (e.g. splitting "Folding Schemes" into codeword-folding vs. IVC-folding, or how much to say about items that moved into CompPoly/VCV-io) involve framing calls that are really up to the maintainers.
ROADMAP.mdhasn't been touched since June 2025 (last commit5ee74d2), and quite a lot has landed or moved since then. A few concrete examples of drift:Stale/wrong paths — several items point at code that no longer lives in ArkLib:
ArkLib/Data/UniPoly,ArkLib/Data/MlPoly,ArkLib/Data/BinaryTowerField,ArkLib/Data/ScalarPrimeFieldwere all migrated out in Refactoring CompPoly Out of Arklib #307 and moved into the externalCompPolyrepo — none of these directories exist in ArkLib anymore.VCVio/CryptoFoundations/MerkleTree/{Inductive,Vector}/*(the VCV-io dependency), not in ArkLib.Items that read as "not started" but are actually done or well underway:
sorrys (Commitments/Functional/KZG/*).Data/Polynomial/SplitFold.lean,ProofSystem/Whir/Folding.lean) — a different concept entirely. IVC-style folding is untouched.Whole active subsystems aren't mentioned at all:
Data/Lattices/*,Commitments/Ordinary/Ajtai/*) — has its own blueprint chapter (blueprint/src/lattices/hachi_subfield.tex) but zero ROADMAP.md presence.OracleReduction/Security/— all active, all blueprint-tracked, none in ROADMAP.md.More generally, the blueprint (
blueprint/src/) looks like the thing that's actually kept current — it already covers lattices, Binius, Spartan, WHIR/STIR, sum-check, and ring-switching. ROADMAP.md hasn't caught up to it.Happy to put together a PR that syncs ROADMAP.md against current code + the blueprint's table of contents, but per CONTRIBUTING.md's guidance to discuss before large changes, wanted to raise it here first rather than send a cold rewrite — especially since a couple of the corrections (e.g. splitting "Folding Schemes" into codeword-folding vs. IVC-folding, or how much to say about items that moved into CompPoly/VCV-io) involve framing calls that are really up to the maintainers.