樂觀式 Rollup 在基礎區塊鏈之外執行交易，同時在該鏈公布重建狀態所需的資料。提出的狀態主張先被暫時接受，而非每次更新都附上有效性證明。挑戰程序讓錯誤主張在可用於提款等受保護操作之前受到質疑。
挑戰為何需要資料
獨立參與者可重新執行已公布交易，並將結果與提出的狀態比較。若結果不同，便透過錯誤證明或詐欺證明程序，依協議規則裁定有爭議的運算。成功挑戰會使錯誤主張失效，但不一定重組 Rollup 的交易歷史。
此模型依賴資料可用性、正常運作的爭議合約，以及能在期限內提出挑戰的誠實參與者。提案或挑戰權限、保證金與緊急控制措施會依部署方式而異。
確認與提款是不同事情
排序器可能在交易資料抵達基礎鏈之前就提供快速確認。資料的最終性與跨鏈橋提款等待期，是不同的里程碑。
原生提款通常包含與挑戰相關的延遲。利用流動性加速退出，則會引入自身的費用與依賴條件。樂觀式設計不會消除智慧合約、升級或營運者風險，而「無人挑戰」本身也不是證明運算正確的密碼學證據。