В этом же документе Optimistic Rollups описаны как протоколы второго уровня (L2), предназначенные для увеличения пропускной способности базового уровня Ethereum. Они сокращают вычисления в основной цепочке Ethereum за счет обработки транзакций вне цепочки, обеспечивая значительное повышение скорости обработки. В отличие от других решений масштабирования, таких как сайдчейны, оптимистичные роллапы получают безопасность от Mainnet, публикуя результаты транзакций на цепочке, но хранят данные о транзакциях в другом месте.
Основное различие между этими двумя типами масштабирования заключается в способе проверки доказательств.
Optimistic роллапы называются «оптимистичными», поскольку предполагают, что все транзакции второго уровня действительны, пока не доказано обратное. С другой стороны, ZK-роллапы используют сложную криптографию, называемую доказательством с нулевым знанием (разглашением), для подтверждения достоверности транзакций, не зная слишком многого о специфике транзакций.
Пример такой технологии — Optimism.
Еще одно различие между этими двумя технологиями заключается в объеме данных, которые они передают в базовые цепочки. Поскольку ZK-роллапы имеют механизм проверки транзакций перед отправкой их в базовую цепь, им не нужно передавать на первый уровень столько данных, сколько их оптимистичным аналогам. А именно, ZK-роллапы размещают на базовой цепочке только доказательства действительности для окончательного урегулирования транзакций, в то время как оптимистичные роллапы размещают все данные о транзакциях.
Думаю, что для вас, как для обычного пользователя блокчейна, эти технические нюансы ни о чем не говорят. Единственное значимое различие — это время вывода средств из блокчейнов, использующих роллапы.
Так, поскольку в Optimisitc rollup валидаторы проверяют каждую транзакцию и могут оспорить ее, если сочтут недействительной, время вывода активов может составлять от нескольких дней до двух недель. Хотя период оспаривания в различных реализациях Optimistic rollup может быть разным, тем не менее он необходим, а значит, пользователи всегда должны ждать несколько дней, чтобы вывести свои деньги на базовую цепочку.
Этот период оспаривания необходим для того, чтобы у проверяющих было достаточно времени для оспаривания подозрительных транзакций с помощью так называемых доказательств мошенничества. Доказательство мошенничества - это утверждение, что переход состояния (т.е. транзакция) является недействительным, и в результате вся партия должна быть отменена. Верификаторы могут доказать недействительность транзакций, поскольку у них есть полные данные обо всех транзакциях на втором уровне, включая копию текущего состояния свертки. Они также вычисляют корень постсостояния в рулонировании.
Если ни от одного верификатора не поступит заявления о доказательстве мошенничества, то по окончании периода спора партия транзакций будет автоматически урегулирована на Уровне 1. После этого оригинальные активы на Уровне 1 будут разблокированы, а идентичные копии на Уровне 2 сожжены.
Что касается ZK-роллапов, то вывод активов в базовую цепочку может быть мгновенным, поскольку транзакции уже подтверждены. ZK-роллапы доказывают правильность транзакций с помощью доказательств с нулевым знанием, которые представляют собой криптографические механизмы, позволяющие одной стороне (prover) доказать что-либо другой стороне (verifier), не передавая при этом никакой конфиденциальной информации о предмете.
Если кратко сравнить эти две технологии, то ZK-rollups дороже, но быстрее выводят средства на первый уровень, а Optimistic-rollups наоборот дешевле, но дольше выводят средства.
Взаимодействие решений первого и второго уровней проложит путь к созданию более масштабируемой, быстрых и экономически эффективных блокчейнов, способствующих развитию инноваций и открывающих новые возможности в различных отраслях.