Как основная сеть может проверить, что результат, представленный роллапом, верен?
Во многих системах доказательства мошенничества используют интерактивный процесс разрешения споров: стороны постепенно сужают область разногласий, пока для определения правоты не останется повторно выполнить всего один шаг в основной сети. Optimistic Rollup изначально считает представленный результат верным, но в течение периода оспаривания любой желающий может предъявить доказательство мошенничества и оспорить его.
Секвенсор может определять порядок транзакций; зрелые роллапы позволяют пользователям обходить секвенсор и принудительно отправлять транзакции через основную сеть, чтобы предотвратить их постоянное отклонение.
Сети $ARB и $OP используют Optimistic Rollup, а $STRK — технологию ZK.