Reducing the challenge time safely

I have a post over at Eth Research on how we might be able to safely reduce the challenge time in optimistic rollups like Arbitrum, by proving to the L1 contracts that the L1 chain is not being censored, and allowing faster confirmation of L2 results when L1 non-censorship can be proven.