Merge pull request #3309 from input-output-hk/hjeljeli32/3130-naming-alignment
refactor(mithril-stm): align halo2 IVC naming
refactor(mithril-stm): align halo2 IVC naming
* mithril-stm from `0.10.29` to `0.10.30`
Rewrite CPS: Handle Provider Interoperability — incorporate meeting feedback