Rollup that assumes transactions are valid by default and relies on fraud proofs during a challenge window.