Skip to content

fix(traits): derive real verifier selectors instead of placeholder bytes - #1237

Merged
nanaf6203-bit merged 2 commits into
MettaChain:mainfrom
Spaully:fix/issue-1182-real-verification-selectors
Sep 26, 2026
Merged

nanaf6203-bit merged 2 commits into
MettaChain:mainfrom
Spaully:fix/issue-1182-real-verification-selectors

Merge branch 'main' into fix/issue-1182-real-verification-selectors

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

Annotations

1 warning and 1 notice
Run Kani Proofs
succeeded Sep 26, 2026 in 1m 15s