Одна из запутанных вещей заключается в том, что - "После интеграции ZK доказательства в будущем, можно будет "бесконечно" расширять gas (валидаторы просто смотрят на доказательства, не нужно повторно запускать), проблема решена." В чем же суть различия между этим вторым этапом Native Rollup и нынешним ZK-Rollup? Все, что можно придумать, это то, что один использует контракты на L1 для проверки ZK доказательства, а другой проверяет ZK доказательство непосредственно внутри клиента L1, но по сути, кажется, разницы нет… Кто-нибудь из технических гениев может прояснить?