2023-02-16 20:50:33
Что такое ZK-Rollups? Rollups — это решение по масштабируемости для Ethereum, которое выполняет транзакции во внешней цепочке (уровень 2), за пределами основной сети Ethereum (уровень 1), но данные или результаты этих транзакций размещаются на уровне 1 в специальном смарт-контракте.Это снижает стоимость газа и обеспечивает почти мгновенные транзакции.
Есть
два типа Rollups:
Optimistic Rollups (Arbitrum One и Optimism)
ZK-Rollups ( StarkNet, zkSync, Loopring, Polygon Miden)
Сегодня поговорим про
Zero Knowledge Rollups или ZK-Rollups. Пост будет содержать терминологию, которую нельзя заменить простыми словами, таков путь криптана, увы
ZK-Rollup объединяют сотни транзакций вне цепочки и генерируют криптографическое
доказательство с нулевым разглашением, известное как SNARK. SNARK позволяет одной стороне доказать, что она обладает определенной информацией, не раскрывая эту информацию. Такая функция обеспечивает высокий уровень приватности в публичных блокчейнах и других сетях.
ZK-SNARK используется для проверки каждого добавленного в сеть блока, устраняя необходимость доверия валидаторам. В то время как решение Optimistic Rollups основано на том, что все валидаторы честны, ZK-Rollups проверяет их честность с помощью математического доказательства ZK-SNARK.
В ZK-Rollup нет задержек при выводе средств с уровня 2 на уровень 1, поскольку доказательство действительности, принятое контрактом ZK-rollup, уже подтвердило средства. В отличии от Optimistic Rollups, здесь не требуется проверка на мошенничество, которая может задерживать снятие средств на срок до двух недель.
Как это работает?Представьте, что вы находитесь в комнате с человеком, которому завязали глаза. На столе перед вами лежат два шарика — белый и черный. Вам необходимо доказать второму человеку (верификатору), что шарики действительно разных цветов, при этом не раскрывая каких именно. Для этого вы должны попросить его спрятать оба шарика под стол. После этого попросите достать только один, чтобы вы могли его увидеть. Далее шарик снова прячется и в следующий раз верификатор снова может показать либо белый, либо черный. Однако вы сможете доказать утверждение, поскольку точно знаете, менял ли он их под столом.
Тем не менее полностью верификатор в истинности факта не будет уверен, ведь могли иметь место удача или обман. Эта проблема решается путем повторения эксперимента n количество раз. С каждым раундом шанс случайно оказаться правым будет уменьшаться вдвое: после пяти повторений вероятность обмана составит 1 к 32, после 10 раундов — 1 к 1024, а после 20 раундов — примерно 1 к 1 000 000.
Благодаря повторениям можно добиться желаемого уровня надежности доказательства, однако абсолютной уверенности достичь при этом невозможно.
Одним из очевидных применений доказательства с нулевым разглашением в криптовалютах можно назвать проверку наличия у пользователя средств для транзакции, при этом не раскрывая участникам сети, кто этот пользователь и сколько денег у него на счету.
И напоследок, по мнению основателя Ethereum Виталика Бутерина,
технология ZK-Rollups станет доминирующей парадигмой масштабирования Ethereum. Это будет новый тренд, наша задача его не пропустить.
#What_Is #полезное I @Lemon_bros
464 views17:50