feat(stm): add missing off circuit checks - #3480

Draft

damrobi wants to merge 12 commits into

mainfrom

damrobi/msnark/3381-add-off-circuit-checks

Commits on Aug 26, 2026

feat(stm): added off-circuit validation of the protocol message hash
damrobi
committed
b853862
feat(stm): added check for validity of genesis vk
damrobi
committed
ca19992
feat(stm): added a test for the new genesis vk check
damrobi
committed
b9ff666
feat(stm): added a check that protocol parameters stay constants for IVC
damrobi
committed
6da378f
refactor(stm): reordered the code to have the checks happen before the proofs
damrobi
committed
b15de58
refactor(stm): renaming and applying some comments
damrobi
committed
b5aa48c
refactor(stm): fixed parameters not checked during first step and next accumulator not checked when created
damrobi
committed
bb71498
refactor(stm): moved the off circuit checks functions to the rolling state
damrobi
committed
afb6ef9
refactor(stm): moved the ensure_advanceable_rolling_state function to the rolling state struct
damrobi
committed
a6e056e
refactor(stm): moved PreparedIvcSnarkRequest to ivc prover_inputs
damrobi
committed
936f731
refactor(stm): removed and updated tests
damrobi
committed
06d65fa
chore: updated changelog and crate version
damrobi
committed
f1dea67