At the core of every optimistic rollup lies a critical assumption: that submitted state proposals are valid unless proven otherwise. This assumption, however, only holds true if the roll up is backed...