[Refactor] Clean up TX verification logic

Open raychu86 opened this issue 4 months ago • 1 comments

💥 Proposal

The Transaction verification logic is growing with all the new ConsensusVersion rule changes. These should be abstracted elsewhere for better readability.

https://github.com/ProvableHQ/snarkVM/blob/staging/synthesizer/src/vm/verify.rs#L201

Aug 26 '25 23:08 raychu86

Initial attempt here: https://github.com/ProvableHQ/snarkVM/pull/2798/files#diff-897e9a9f59d4fc522348f00c936a1fd07ee9c654858dc846a658d6a02f05810aR192

Sep 09 '25 00:09 vicsn