Что, если L1 отклонит фиксацию состояния из Starknet L2?
Согласно описанию жизненного цикла транзакции в официальной документации сайта , существует четыре состояния финальности транзакции:NOT_RECEIVED,RECEIVED, , иACCEPTED_ON_L1.
Мой вопрос: когда транзакция находится в состоянии и доказательство передается в L1 для проверки, если проверка не удалась, останется ли транзакция в состоянииACCEPTED_ON_L2состояние на неопределенный срок? Будет ли транзакция отменена на уровне L2? Если нет, то как обеспечивается согласованность между L1 и L2?
Я ожидаю четкого описания того, как StarkNet или другие сети L2 (будь то ZK или OP) справляются с ситуацией, когда L1 отклоняет фиксацию L2.