Repository navigation

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

refactor(Circuit): privatize 764 module-local proof helpers (#590)#841
SamuelSchlesinger merged 2 commits into
mainfrom
refactor/circuit-privatize-helpers-590

Commits on Oct 24, 2026
- refactor(Circuit): make proof helpers private across the circuits area (#590)
  SamuelSchlesinger
  committed
  1029848
- refactor(Circuit): restore 9 public theorems per PR #841 review (#590)
  SamuelSchlesinger
  committed
  c743051