За последнее время, вы наверняка множество раз сталкивались с гайдами и статьями по получению эирдропа от zkSync, однако вы вряд-ли понимаете технологию, лежащую в основе данного проекта, тем не менее технология нулевого знания (ZK) была названа одним из величайших достижений в криптографии, поскольку она позволяет приводить математические доказательства, не раскрывая никакой информации, необходимой для этого. Что ж, будем исправлять этот недочет и в сегодняшней статье мы попробуем разобраться в технологии zkSync, а так же сравнить ее с основным конкурентом.
Для начала стоит понять, для чего вообще нужны решения масштабирования, такие как zkSync и т.п. На Ethereum приходится половина трафика в DeFi. Сюда входят NFT торговля, кредитование, заимствование, блокчейн-игры, азартные игры, страхование, казначейства DAO и т.д. Проблема заключается в том, что Ethereum не может выдержать такой уровень трафика. Всякий раз, когда наблюдается высокий всплеск трафика, комиссия за переводы в Ethereum резко возрастает, что делает его еще более дорогим для массового принятия. zkSync же, это сеть которая разгружает сетевой трафик Ethereum и избавляет основную сеть от перегруженности и высоких комиссий за передачу данных.
zkSync - это решение для масштабирования Ethereum второго уровня (Layer 2), которое предлагает более дешевые и быстрые транзакции, чем основной блокчейн Ethereum (Layer 1). Суть L2 в том, что сеть, как бы, “забирает на себя” основную активность с L1, но при этом наследует его безопасность и завершённость.
zkSync входит в группу решений второго уровня, называемых роллапами. В сегодняшнем контексте, zkSync — это ZK-роллап. ZK означает нулевое знание (zero-knowledge), что является криптографическим термином, означающим, что одна сторона может доказать другой, что что-то является истинным, не раскрывая никакой другой информации.
Роллапы - это решение для масштабирования, которое работает так: объединяет/"сворачивает" (rolling-up) множество транзакций вместе в одну “пачку”, а затем отправляет эту “пачку” обратно на уровень консенсуса (L1) для проверки. Это повышает эффективность за счет одновременной проверки нескольких транзакций, а также увеличивает количество транзакций, которые могут быть проверены и подтверждены. На данный момент существует два типа роллапов:
ZK-роллапы “сворачивают” данные о транзакциях в одну, затем каждый “сверток” транзакций отправляется на проверку вне блокчейна, которая генерирует криптографическое доказательство (называемое SNARK, в случае zkSync) того, что транзакции действительны. Наконец SNARK отправляется в качестве доказательства достоверности в основную сеть (Ethereum).
Так же стоит упомянуть, что ZK-роллапы работают за счет эффекта масштаба, когда большее количество совершающих транзакции пользователей делает сеть дешевле в использовании. Это противоположно типичному блокчейну, стоимость использования которого дорожает по мере роста использования сети.
Optimistic-роллапы применяют совсем иной подход к проверке транзакций. Вместо того, чтобы доказывать достоверность каждой “пачки”, эта технология оптимистично предполагает, что каждое вычисление является достоверным, если не доказано обратное.