January 12, 2023

Ноль знаний. Что там по ZK.

Обложка была самым наглым образом подрезана мной у one37pm, надеюсь они не против.

Автор - https://t.me/medvezhk

Роллапы уже второй год являются самым главным направлением для решения проблемы масштабируемости Ethereum. На данный момент есть два основных вида роллапов Zero-Knowledge и Optimistic (к ним относятся Arbitrum, Optimism). И если Optimistic уже выходят на рынок, то настоящий выход в свет Zk решений нам только предстоит увидеть.

Zero-Knowledge решения являются намного более эффектиными и перспективными в долгосрок, чем OP из за своей возможности к масштабированию, основное их различие между собой в способе подтверждения добросовестности транзакции. Им просто надо загружать меньше информации в блокчейн и не нужно никаких 7 дней задержки. Подробности нас не интересуют, но надо знать, что есть zk которые совместимы с EVM, а есть те которые не совместимы. И первые были названы zkEVM. (Тред ZkEVM для 10-ти летних. Тоесть любой solana enjoyer поймет *ссылка*)

Проблемы совместимости с EVM это главный вопрос, который мешает массово использовать Zk решения для масштабирования Эфира, именно поэтому сейчас так мало приложений есть в этих сетях. Однако компании стараются решить эту загвоздку. Самым мейнстримным и успешным решением (насколько это возможно в альфа стадии) является @Zksync. С выходом mainnet 2.0 они обещают ввести полную совместимость с EVM, что позволит переносить почти любые приложения.
А если ещё и EIP-4844 (т.н. Proto-Danksharding) будет введен вовремя, то роллапы можно сильно масштабировать и довести при этом цену транзакций до уровня других, более современных L1 сетей. (Если быть оптимистами то это может произойти весной 2023 вместе с обновлением Шанхай и выводом eth из стейкинга, но я бы не надеялся)

И если все действительно будет работать хорошо, то это должно вызвать взрыв активности пользователей и использования этих решений. (Сами Zksync называют это на сайте The Big Bang:

"When zkSync releases the gates for our Full Launch Alpha, all of our ecosystem projects will launch simultaneously, creating the largest Layer 2 launch in the history of Crypto. From the largest ecosystem projects in Web3 to more than 150 innovative projects coming from founders all over the world, the launch of zkSync 2.0 will be a 10X moment that accelerates personal sovereignty for everyone.")

Нда, ну что сказать. Скромно...
Не забываем что и OP роллапы будут развиваться. Основной движ я бы ждал ближе к концу 2023-началу 2024. Когда мы начнем приближаться к халвингу и рынкок оживет.

ZkEVM

Для начала про них, они позволяют разработчикам переносить солидити контракты с эфира в роллапы без нужны менять их код. Виталик написал статью в которой поделил все ZkEVM на 4 левела.
Кратко они идут от уровня 1 (наиболее Ether совместимый и наименее быстрый) к уровню 4 (наименее Ether совместимый и наиболее быстрый)

Таблица Виталика. Тоесть те что слева 1-3 урвоень это нативно совместимые с эфир приложениями, а 4 это ZK которые существуют по своим собственным правилам, только компилируют контракты из эфира.

Зачем нам эта информация? Чтобы поделить и структурировать существующий рынок на понятные разделы и я немного её упрощу, поделив на 3 основных категории.

  • Level 1:
    Это по сути уровень эфира, с его нодами и безопасностью. Тоесть конечная стадия развития ZkEVM на данный момент это цель @Scroll_ZKP и @Taikoxyz.
  • Level 2:
    Полностью совместимые на уровне кода.
    Нынешнее состояние @Scroll_ZKP и решения, которые разрабатывают @ConsenSys and @0xPolygonZK.
  • Level 3:
    Блокчейны, которые просто различными преобразуют Solidity в тот код на котором сами работают.
    Это @Zksync сам по себе он пишется не на Солидити, однако в конце ноября с запуском Alpha 2.0 они добавили совместимость с EVM через хитрую систему преобразования кода приложений.
    И ещё @StarkNet, потому что для него тоже разрабатывается специальный компилятор из Солидити.


Почти все единогласно уверены что Zk это будущее Ethereum и один из главных трендов для масштабирования, расходятся только в вопросе со сроками. Для их разработки нужно довольно много времени и не факт что даже в следующем году мы получим достаточно полноценных рабочих решений. Но количество денег вкинутых в эту сферу просто невероятное. Раунды по 200, 300 миллионов, покупки Полигоном за 400 миллионов, это все норма.
Сам Виталик уверен что в средне-долгосроке ZkRollupы выиграют у остальных в любом случае.

Достаточно посмотреть сюда и понять почему они выиграют. Картинка Matter Labs.

Другие ZkVM

Эфир всё таки не единственная возможность для применения зк технологии
Aleo

  • Приватный ZkVM о котором все скорее всего слышали.
  • Подняли $300M Фандинга.

Aztec network

  • Решение, которое выступает как дополнительный слой приватности для DeFi и ERC20 токенов.
  • Основное приложение - zk.money, которое позволяет приватно пересылать erc20 токены.
  • $120M Инвестиций.

Espresso

  • L1 блокчейн, с компиляцией POS и Zkrollup механизмов.
  • Пока основное приложение CAPE, которое тоже позволяет делать приватными некоторые действия на ETH.
  • $35M Инвестиций.

Что делаем:

ZK решения ждет неизбежный успех рано или поздно и стоит найти способ, который позволит быть к нему причастным. Самые интересные проекты с точки зрения участия на 2023 по моему мнению:

  • @Zksync
    Сейчас они готовятся к запуску Alpha Mainnet 2.0, который скорее всего и будет наиболее важной стадией. Пока что делать в основной сети особо нечего, там есть пара мостов, Zig Zag и несколько приложений и тестнет. Конечно лучше взаимодействовать со всем что есть, хотя судя по опыту шансов на дроп будет больше всего исходя из активности в основной сети, прошлый опыт ещё не гарантирует повторения одних и тех же паттернов в будущем. https://twitter.com/0xAdesola/status/1582465349848825856
  • @StarkNet
    Особо не следил за ним, так что не могу сказать свое мнение, но вот тред по тому что там можно поделать. https://twitter.com/corleonescrypto/status/1593634430702288898
  • @Scroll_ZKP
    У них уже долгое время идет тестнет, они выпускают обновления. Насколько есть смысл делать в нем что-то непонятно. Недавно они его обнулили. https://twitter.com/its_airdrop/status/1598646386232524800
  • @Aztecnetwork
    На Ацтеке запущено приложение zk.money для анонимных переводов. Список действий там не велик. https://twitter.com/OlimpioCrypto/status/1609259055075463169
    Думаю будет играть роль объем и кол. во транзакций. За три депозита в Ацтек можно забрать бейдж на Sismo. (который тоже строится на zk технологии он будет статье на тему SocialFi)
  • @ConsenSys
    Они открывали заявку на участие в тестнете. Сейчас его запустили и те чью заявку приняли могут принять участие. А может быть и не только они ?) https://t.me/cypherfrog/52

Лучшие материалы для более грубокого погружения: