Prover/invalidity proofs

[Soleimani193]

This PR implements the flow for the invalidity proofs. It supports only two cases of invalidity: bad--transaction-nonce and bad-account-balance.

Checklist

• I wrote new tests for my new core changes.
• I have successfully ran tests, style checker and build against my new changes locally.
• I have informed the team of any breaking changes if there are any.

---

Note

Introduce invalidity proofs (bad nonce/balance) and fully integrate them into aggregation/PI interconnection, config, CLI, tooling, and tests, while extending public inputs and compiler utilities to support new FTX rolling-hash semantics and padded stacking.

• Invalidity Proofs (Bad Nonce/Balance):
  • Add backend invalidity module: request/response, MiMC-based public input, account trie/Keccak helpers, proof generation and CLI support.
  • New invalidity circuits (nonce/balance), GNARK structures, keccak preimage wiring, PI hashing, tests.
  • Config: add Invalidity section and max RLP size.
• Aggregation Integration:
  • Extend aggregation request/collected fields/response with forced tx rolling hash/number and block hashes; collect and verify invalidity PIs; include in public input and proof.
  • Public-input: expand aggregation FPI (Final/LastFinalized FTX hash/number) and add Invalidity FPI.
• PI Interconnection:
  • Support invalidity inputs (count, PIs) and constraints; hash in aggregation PI; wiring in assignment/tests.
• Tooling & Test Data:
  • Testcase generator: specs for invalidity; emit forcedTransaction-*.json; update autoupdate script and fixtures.
  • Execution request/response include parentBlockHash.
• Protocol/Compiler Utilities:
  • Self-recursion: stack padded columns support; merkle/position glue refactor; optional SIS hashing tweaks.
  • Dedicated: stacked column with filters and projection.
  • Keccak: stricter size checks.
• State Mgmt & Utils:
  • Rename hash→Hash in accumulator; add Gnark account; vector builder helpers.
• Misc:
  • New tests (MiMC, invalidity, PI), assets wiring, Solidity verifier copy path unchanged.

^{Written by Cursor Bugbot for commit 43fd8ff. This will update automatically on new commits. Configure here.}

[github-actions]

PR has had no activity for 30 days. What is blocking it? Is there anything you can do to help move it forward? Without action it will be closed in 7 days.