Skip to content

fix(lstar): keep pending proofs that an aggregation round skips - #1208

Open
pucedoteth wants to merge 1 commit into
leanEthereum:mainfrom
pucedoteth:fix/keep-skipped-pending-proofs
Open

fix(lstar): keep pending proofs that an aggregation round skips#1208
pucedoteth wants to merge 1 commit into
leanEthereum:mainfrom
pucedoteth:fix/keep-skipped-pending-proofs

Commits

  1. Commits on Sep 17, 2026