refactor(stm): move the IVC circuit onto the Relation trait - #3547

Merged

hjeljeli32 merged 14 commits into

mainfrom

hjeljeli32/3428-ivc-relation-trait

Sep 21, 2026

Commits on Sep 21, 2026

refactor(stm): share one verifying key codec between both circuits
hjeljeli32
committed
84c5efd
refactor(stm): separate the IVC circuit from a single step's values
hjeljeli32
committed
05b2342
refactor(stm): move the IVC circuit onto the Relation trait
hjeljeli32
committed
6578964
refactor(stm): encode the recursive circuit keys in the Midnight format
hjeljeli32
committed
9a2bc1a
docs(stm): record why the recursive range column count cannot be lowered
hjeljeli32
committed
c733b29
docs(stm): document the source constants that regeneration must update
hjeljeli32
committed
9e2b357
docs(stm): format the source constants table with prettier
hjeljeli32
committed
7a53233
fix(stm): guard the certificate verifying key decoder
hjeljeli32
committed
8d7ef8d
style(stm): group imports and hoist the ones inside functions
hjeljeli32
committed
f80cf88
test(stm): decode the cached keys through their typed decoders
hjeljeli32
committed
dd14e3b
fix(stm): reject trailing bytes after a recursive proving key
hjeljeli32
committed
d6d8def
fix(stm): check the certificate key commitment count and remove the unguarded decoder
hjeljeli32
committed
d3037e7
perf(stm): borrow the witness instead of cloning it once per field
hjeljeli32
committed
b84ba47
chore(stm): update the changelog and the crate version
hjeljeli32
committed
24eaa1d