Skip to content

Use scan to always keep the previous proof for recursive proving - #28

Merged
freesig merged 1 commit into
mainfrom
freesig/scan-recursive
Dec 7, 2025
Merged

Use scan to always keep the previous proof for recursive proving#28
freesig merged 1 commit into
mainfrom
freesig/scan-recursive

Use scan to always keep the previous proof for recursive proving

89dcff0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
compile-contracts
succeeded Dec 7, 2025 in 44s