feat(prover): persist the derived Lagrange SRS so it isn't re-derived on every start - #3733
Open
coeniebeyers wants to merge 31 commits into
Open
feat(prover): persist the derived Lagrange SRS so it isn't re-derived on every start#3733coeniebeyers wants to merge 31 commits into
coeniebeyers wants to merge 31 commits into
DCO-2 / DCO
succeeded
Aug 6, 2026 in 1s
Check passed!
All commits are signed off, the check passed.
Summary
| Sha | Message | Pass or fail reason | |
|---|---|---|---|
| 🟢 | c9e82f1 | fix(prover): make WriterstoEqual actually compare ... | Valid sign-off found |
| 🟢 | 0a1a416 | chore(prover): reword the WriterstoEqual doc and n... | Valid sign-off found |
| 🟢 | 786bd6f | fix(prover): carry the verifying key through toLag... | Valid sign-off found |
| 🟢 | 7e8d2ab | feat(prover): persist the derived Lagrange SRS so ... | Valid sign-off found |
| 🟢 | c8cbbf4 | refactor(prover): match cached lagrange SRS by ver... | Valid sign-off found |
| 🟢 | ee93032 | feat(prover): validate cached lagrange SRS points ... | Valid sign-off found |
| 🟢 | 6d99bc6 | docs(prover): annotate each load check and correct... | Valid sign-off found |
| 🟢 | 8a8574e | feat(prover): sweep aged orphan temp dumps at stor... | Valid sign-off found |
| 🟢 | b216d71 | docs(prover): orphaned temps are deleted after an ... | Valid sign-off found |
| 🟢 | cd8d7ff | test(prover): use a genuinely different setup in t... | Valid sign-off found |
| 🟢 | d35bf70 | feat(prover): tag locally derived lagrange dumps a... | Valid sign-off found |
| 🟢 | efe9c90 | refactor(prover): move lagrange persistence out of... | Valid sign-off found |
| 🟢 | 9f45b40 | feat(prover): gate derived-SRS persistence behind ... | Valid sign-off found |
| 🟢 | e9aa8e1 | feat(prover): persist the derived SRS at setup by ... | Valid sign-off found |
| 🟢 | 07b9cf8 | feat(prover): warn loudly when a missing lagrange ... | Valid sign-off found |
| 🟢 | 8db0a01 | fix(prover): make the derived-SRS backfill cheap w... | Valid sign-off found |
| 🟢 | ee081b8 | docs(prover): document derived-SRS persistence and... | Valid sign-off found |
| 🟢 | 4c57b49 | docs(prover): tighten the derived-SRS persistence ... | Valid sign-off found |
| 🟢 | ee1c862 | fix(prover): sweep orphaned srs temps from the set... | Valid sign-off found |
| 🟢 | 1a52d56 | test(prover): pin that a failed derived-SRS persis... | Valid sign-off found |
| 🟢 | f6dab90 | fix(prover): ignore a canonical SRS claiming the d... | Valid sign-off found |
| 🟢 | 656de86 | fix(prover): name the persist remedy before the de... | Valid sign-off found |
| 🟢 | d761d01 | test(prover): pin the derivation warning's gate, r... | Valid sign-off found |
| 🟢 | 46ef485 | test(prover): pin that the writability probe repor... | Valid sign-off found |
| 🟢 | b60c1ed | test(prover): pin that canonical SRS load failures... | Valid sign-off found |
| 🟢 | 1d3335f | refactor(prover): rename cacheLagrange to persistL... | Valid sign-off found |
| 🟢 | 2bb5c4d | refactor(prover): build the srs filename pattern's... | Valid sign-off found |
| 🟢 | bbcd83d | chore(prover): tidy docs, name the WriterstoEqual ... | Valid sign-off found |
| 🟢 | d00f15c | test(prover): pin that a corrupt canonical fails a... | Valid sign-off found |
| 🟢 | 882ed1f | chore(prover): write the corrupt-canonical fixture... | Valid sign-off found |
| 🟢 | 2167c7a | chore(prover): exclude derived srs dumps from the ... | Valid sign-off found |
Loading