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 chainsMaybe 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