feat(prover): persist the derived Lagrange SRS so it isn't re-derived on every start by coeniebeyers · Pull Request #3733 · LFDT-Lineth/lineth-monorepo

fix(prover): make WriterstoEqual actually compare both encodings

mkrielza

authored and

coeniebeyers

committed

c9e82f1

chore(prover): reword the WriterstoEqual doc and name its regression test

coeniebeyers

committed

0a1a416

fix(prover): carry the verifying key through toLagrange

coeniebeyers

committed

786bd6f

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

coeniebeyers

committed

7e8d2ab

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

coeniebeyers

committed

c8cbbf4

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

coeniebeyers

committed

ee93032

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

coeniebeyers

committed

6d99bc6

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

coeniebeyers

committed

8a8574e

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

coeniebeyers

committed

b216d71

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

mkrielza

authored and

coeniebeyers

committed

cd8d7ff

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

mkrielza

authored and

coeniebeyers

committed

d35bf70

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

mkrielza

authored and

coeniebeyers

committed

efe9c90

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

mkrielza

authored and

coeniebeyers

committed

9f45b40

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

coeniebeyers

committed

e9aa8e1

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

coeniebeyers

committed

07b9cf8

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

coeniebeyers

committed

8db0a01

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

coeniebeyers

committed

ee081b8

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

coeniebeyers

committed

4c57b49

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

coeniebeyers

committed

ee1c862

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

coeniebeyers

committed

1a52d56

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

coeniebeyers

committed

f6dab90

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

coeniebeyers

committed

656de86

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

coeniebeyers

committed

d761d01

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

coeniebeyers

committed

46ef485

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

coeniebeyers

committed

b60c1ed

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

coeniebeyers

committed

1d3335f

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

coeniebeyers

committed

2bb5c4d

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

coeniebeyers

committed

bbcd83d

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

coeniebeyers

committed

d00f15c

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

coeniebeyers

committed

882ed1f

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

coeniebeyers

committed

2167c7a

Navigation Menu

Uh oh!

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

feat(prover): persist the derived Lagrange SRS so it isn't re-derived on every start#3733
coeniebeyers wants to merge 31 commits into
LFDT-Lineth:mainfrom
coeniebeyers:upstream-3584-srs-persist

Commits on Aug 6, 2026

fix(prover): make WriterstoEqual actually compare both encodings

chore(prover): reword the WriterstoEqual doc and name its regression test

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