Skip to content

refactor(Circuit): privatize 764 module-local proof helpers (#590) - #841

Merged
SamuelSchlesinger merged 2 commits into
mainfrom
refactor/circuit-privatize-helpers-590
Oct 24, 2026
Merged

SamuelSchlesinger merged 2 commits into
mainfrom
refactor/circuit-privatize-helpers-590

refactor(Circuit): restore 9 public theorems per PR #841 review (#590)

c743051
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
check-title
succeeded Oct 24, 2026 in 4s