I changed my mind about this after reading @Augusto’s comment in the Dehashing Device entry. I think we can support sequencers in Cartesi Rollups without needing full base layer state access - we just need to implement an InputBox namespace to allow applications to request L1 inputs.
1 Like