feat(prover): persist the derived Lagrange SRS so it isn't re-derived on every start - #1

Draft

coeniebeyers wants to merge 29 commits into

fix/writersto-equal-both-encodingsfrom

feature/3584-persist-derived-lagrange-srs

Commits on Aug 6, 2026

fix(prover): carry the verifying key through toLagrange
coeniebeyers
committed
a1573ec
feat(prover): persist the derived Lagrange SRS so it isn't re-derived on every start
coeniebeyers
committed
fa9108d
refactor(prover): match cached lagrange SRS by verifying key, not filename
coeniebeyers
committed
86d493e
feat(prover): validate cached lagrange SRS points are on-curve at load
coeniebeyers
committed
6db502f
docs(prover): annotate each load check and correct the lock-safety comment
coeniebeyers
committed
a184ed7
feat(prover): sweep aged orphan temp dumps at store construction
coeniebeyers
committed
3099ae8
docs(prover): orphaned temps are deleted after an hour since last write
coeniebeyers
committed
fae1345
test(prover): use a genuinely different setup in the SRS rejection test

mkrielza
authored and
coeniebeyers
committed
49a860f
feat(prover): tag locally derived lagrange dumps as derived, not as ceremony material

mkrielza
authored and
coeniebeyers
committed
33d6733
refactor(prover): move lagrange persistence out of the GetSRS read path

mkrielza
authored and
coeniebeyers
committed
187df9d
feat(prover): gate derived-SRS persistence behind an opt-in flag, default off

mkrielza
authored and
coeniebeyers
committed
04e8322
feat(prover): persist the derived SRS at setup by default, backfilling even when circuits are current
coeniebeyers
committed
3772149
feat(prover): warn loudly when a missing lagrange dump forces an in-memory derivation
coeniebeyers
committed
7fc196b
fix(prover): make the derived-SRS backfill cheap when done, fail fast when unwritable, and quiet at dummy sizes
coeniebeyers
committed
2ec8c85
docs(prover): document derived-SRS persistence and its opt-out in the setup section
coeniebeyers
committed
d8ccd06
docs(prover): tighten the derived-SRS persistence paragraph
coeniebeyers
committed
bef616c
fix(prover): sweep orphaned srs temps from the setup write path, never at prove time
coeniebeyers
committed
a6dc741
test(prover): pin that a failed derived-SRS persist warns without failing setup
coeniebeyers
committed
9c0b3f9
fix(prover): ignore a canonical SRS claiming the derived tag instead of trusting it
coeniebeyers
committed
2d3f96c
fix(prover): name the persist remedy before the derivation wait, not after it
coeniebeyers
committed
45f42a5
test(prover): pin the derivation warning's gate, remedy text, and silence after setup
coeniebeyers
committed
c4802d7
test(prover): pin that the writability probe reports before the derivation, not after
coeniebeyers
committed
dd00f5e
test(prover): pin that canonical SRS load failures stay fatal
coeniebeyers
committed
190295a
refactor(prover): rename cacheLagrange to persistLagrange and unify its cleanup
coeniebeyers
committed
f11fed3
refactor(prover): build the srs filename pattern's curve list from curveFileNames
coeniebeyers
committed
bb8d295
chore(prover): tidy docs, name the WriterstoEqual regression test, wrap over-limit lines
coeniebeyers
committed
eef47f8
test(prover): pin that a corrupt canonical fails as a load error, not not-found
coeniebeyers
committed
b2a8c26
chore(prover): write the corrupt-canonical fixture 0600 to satisfy gosec
coeniebeyers
committed
1f21d35
chore(prover): exclude derived srs dumps from the prover-assets s3 sync
coeniebeyers
committed
8327c56

Navigation Menu

feat(prover): persist the derived Lagrange SRS so it isn't re-derived on every start - #1

feat(prover): persist the derived Lagrange SRS so it isn't re-derived on every start#1
coeniebeyers wants to merge 29 commits into
fix/writersto-equal-both-encodingsfrom
feature/3584-persist-derived-lagrange-srs

Commits on Aug 6, 2026

fix(prover): carry the verifying key through toLagrange

feat(prover): persist the derived Lagrange SRS so it isn't re-derived on every start

refactor(prover): match cached lagrange SRS by verifying key, not filename

feat(prover): validate cached lagrange SRS points are on-curve at load

docs(prover): annotate each load check and correct the lock-safety comment

feat(prover): sweep aged orphan temp dumps at store construction

docs(prover): orphaned temps are deleted after an hour since last write

test(prover): use a genuinely different setup in the SRS rejection test

feat(prover): tag locally derived lagrange dumps as derived, not as ceremony material

refactor(prover): move lagrange persistence out of the GetSRS read path

feat(prover): gate derived-SRS persistence behind an opt-in flag, default off

feat(prover): persist the derived SRS at setup by default, backfilling even when circuits are current

feat(prover): warn loudly when a missing lagrange dump forces an in-memory derivation

fix(prover): make the derived-SRS backfill cheap when done, fail fast when unwritable, and quiet at dummy sizes

docs(prover): document derived-SRS persistence and its opt-out in the setup section

docs(prover): tighten the derived-SRS persistence paragraph

fix(prover): sweep orphaned srs temps from the setup write path, never at prove time

test(prover): pin that a failed derived-SRS persist warns without failing setup

fix(prover): ignore a canonical SRS claiming the derived tag instead of trusting it

fix(prover): name the persist remedy before the derivation wait, not after it

test(prover): pin the derivation warning's gate, remedy text, and silence after setup

test(prover): pin that the writability probe reports before the derivation, not after

test(prover): pin that canonical SRS load failures stay fatal

refactor(prover): rename cacheLagrange to persistLagrange and unify its cleanup

refactor(prover): build the srs filename pattern's curve list from curveFileNames

chore(prover): tidy docs, name the WriterstoEqual regression test, wrap over-limit lines

test(prover): pin that a corrupt canonical fails as a load error, not not-found

chore(prover): write the corrupt-canonical fixture 0600 to satisfy gosec

chore(prover): exclude derived srs dumps from the prover-assets s3 sync