### First approach implementation:
- How many withdraws (bridges) can the PP support?
- How to verify withdrawals with the NewSR?
- Synchrony between state transition and PP, specially with invariant chains
- Maybe add input to PP with LERS(i+x)
- Are withdrawals signed (to verify)? Maybe by trusted Seq?
- Input consensus
- AggLayer synch? Massive update at agg layer
- Has SP1 a way to identify the sent proof?

Inputs:
- LERs(i+x)
- Mainnets LERs -> Mainnet LERs i+x
- InputConsensus (tree info consensus for each chain)
- GBRi
- rollup LERS
- Data availability??

### UTXO