refactor(stm): combine pairing checks ivc verify - #3454

Merged

damrobi merged 4 commits into

mainfrom

damrobi/msnark/3420-combine-pairing-checks

Aug 7, 2026

Commits on Aug 6, 2026

refactor(stm): merge two pairing checks

Dam
authored and
damrobi
committed
6284540
refactor(stm): made transcript absorbing dual msm and acc explicit
damrobi
committed
66728bd
refactor(stm): added an helper function for verify and a golden test for the r value
damrobi
committed
8c43046
chore(stm): updated changelog and crate versions
damrobi
committed
bd5a2c8