Leverage proof aggregation to be a part of a mesh connection of all rollups that are on the same DA layer. Single proof verification. No drawbacks. Bridge the right way.
Take advantage of components purpose-built for zk-rollups and advances in proof-generation parallelism. Gain blazing speed. Measure latencies in seconds. Scale without sacrificing end-user verifiablity.
Combine the proving of the fork-choice rule with client-side proof verification. Write once. Run anywhere.