fix: Further WHIR audit fixes (chiefly consistency checks in WhirProofShape construction)#2706
Open
erabinov wants to merge 17 commits into
Open
fix: Further WHIR audit fixes (chiefly consistency checks in WhirProofShape construction)#2706erabinov wants to merge 17 commits into
erabinov wants to merge 17 commits into
Commits
Commits on Apr 15, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Apr 17, 2026
Commits on Apr 20, 2026
- committed
- committed
- committed
- committed
- committed