feat: introduce the circuit verification key registry - #3513

Merged

jpraynaud merged 12 commits into

mainfrom

jpraynaud/3148-introduce-circuit-key-registry

Sep 9, 2026

Commits on Sep 9, 2026

feat(stm): add predicate for certified circuit verification keys
jpraynaud
committed
6763def
feat(stm): expose circuit verification key digests from ancillary verifier data
jpraynaud
committed
380e73c
feat(common): add circuit verification key registry types
jpraynaud
committed
95efa99
feat(common): add circuit verification key registry retriever
jpraynaud
committed
feca547
feat(common): add circuit verification key certifier
jpraynaud
committed
57f5cd9
fix(stm): hash the circuit verification key bytes with SHA-256 before Poseidon
jpraynaud
committed
272af8d
fix(stm): digest the transcript representation of circuit verification keys
jpraynaud
committed
78bfa08
fix(stm): domain separate the circuit verification key digest
jpraynaud
committed
ab585f3
fix(stm): remove infallible destructuring matches in concatenation proof tests
jpraynaud
committed
29906fc
fix(common): report every rejected circuit verification key digest
jpraynaud
committed
ff16cd1
chore: update CHANGELOG
jpraynaud
committed
f739595
chore: upgrade crate versions
jpraynaud
committed
4330db7