https://t.me/perfeeeeeeect

Постарался сделать ОЧЕНЬ простую инструкцию, чтобы ЛЮБОЙ, кто даже не знаком с установкой нод - справился!

Для того, чтобы понять почему 100% стоит установить ноду Elixir вы можете прочитать пост на канале - ССЫЛКА.

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

Подготовительная стадия:

• Скачиваем необходимые файлы: "MobaXterm" и "Validator environment template file"

MobaXterm* — инструмент для управления серверами.Validator environment template file — текстовый файл с необходимыми данным. (удобно редактировать в note++)*

• Создаём два новых кошелька. Один будет для делегирования тестовых токенов, а второй для установки ноды.

1. Заходим на САЙТ и подключаем кошелёк для делегирования токенов, сразу добавиться тестовая сеть Sepolia.

2. Пополняем кошелёк делегирования, на 0.001 eth и на САЙТЕ С КРАНОМ забираем тестовые эфиры в сети Sepolia.

3. Возвращаемся на САЙТ, минтим 1000 MOCK и закидываем в стейкинг.

• Нажимаем на кнопку "Custom validator" и выписываем адрес нашего второго кошелька, на который мы будем устанавливать ноду.

Основная стадия

• Регистрируемся на сайте AEZA по моей реферальной ссылке и получаем бонус в виде +15% к пополнению баланса на 24 часа.

• Локацию можно выбрать любую, в примере выбрана Германия. По официальным требованиям, нам подходит 3-й вариант сервера. Выбираем его и оплачиваем любым доступным способом.

• Операционная система - Ubuntu 22.04

• После оплаты и авто настройки сервера, во вкладке "Мои услуги" будет доступен IP-адрес и пароль.

• Переходим в приложение MobaXterm. Создаём новую сессию. Вписываем свой IP-адрес, нажимаем на галочку "Specify username" и печатаем "root".

1. После создания сессии необходимо вписать пароль, который у нас есть на сайте AEZA во вкладке "Мои услуги" в настройках сервера.

• Для того, чтобы вставить что-то в программе - нажимать на колёсико мыши

Если вы видите такой экран, то вы вошли успешно

• Вернёмся к файлу "validator environment template file". Заполняем данные с помощью note++.

STRATEGY_EXECUTOR_DISPLAY_NAME=perfectnode *(Пишем любое название)*STRATEGY_EXECUTOR_BENEFICIARY=0x77C0738a1f6532c673188D549F2A809E397b3151 (Вписываем адрес кошелька валидатора)

SIGNER_PRIVATE_KEY=93f15f7fc3ae4f012660716ec83f3515c25402c45bf2db38b6698 (Вписываем адрес кошелька валидатора)

ВАЖНО: 3-й пункт должен быть указан без 0х в начале.

• В командной строке вписываем команду mkdir elixirnode. Эта команда создаёт новую папку, в которую мы просто переносим наш отредактированный файл "validator environment template file".

Стадия установки ноды

Всё, что теперь необходимо - это прописывать команды по порядку. Где просят нажать Y или Enter, то делаем это.

Установка докера:

curl -fsSL https://download.docker.com/linux/ubuntu/gpg | sudo gpg --dearmor -o /usr/share/keyrings/docker-archive-keyring.gpg

echo "deb [arch=$(dpkg --print-architecture) signed-by=/usr/share/keyrings/docker-archive-keyring.gpg] https://download.docker.com/linux/ubuntu $(lsb_release -cs) stable" | sudo tee /etc/apt/sources.list.d/docker.list > /dev/null

sudo apt-get update

sudo apt-get install docker-ce docker-ce-cli containerd.io

• После этой команды пишем в поле "Y" и нажимаем "Enter". Затем командой проверяем что докер успешно установлен.

• Если мы видим данное сообщение, то докер установлен!

• Продолжаем вписывать команды по порядку

docker pull elixirprotocol/validator:v3 --platform linux/amd64

docker run -d --env-file /root/elixirnode/validator.env --platform linux/amd64 -p 17690:17690 --restart unless-stopped elixirprotocol/validator:v3

На этом все! Нода успешно установлена!

• Если вы видите такую картину, то всё установлено верно

• Проверить статус ноды можно с помощью команды:

• Проверка логов:

sudo docker logs (Название) -f

• В случае успешной проверки вы увидите надпись:

Yes!! It is working!!!! Great job!! You rock!!

Кроме того, на САЙТЕ можно увидеть заполняющиеся проценты и имя валидатора.

ОБНОВЛЕНИЕ 3.4.

• Ищем имя нашего докера командой:

• По очереди вписываем команды:

docker kill <имя докера>
docker rm <имя докера>

• Затем командами устанавливаем обновления:

docker pull elixirprotocol/validator:v3 --platform linux/amd64

docker run -d --env-file /root/elixirnode/validator.env --platform linux/amd64 -p 17690:17690 --restart unless-stopped elixirprotocol/validator:v3

• После чего можно проверить логи командой:

sudo docker logs <имя докера>

• Если вы видите такую картину, значит всё установлено верно!

Спасибо за прочтение, если данная публикация была полезна, буду очень рад вашей подписке! Успехов ❤

Все обновления ноды будут представлены в канале ⬇️⬇️⬇️

https://t.me/perfeeeeeeect

TLDR

В этой статье мы "составили карту" текущего ландшафта L2 MEV, размышляя о различных последствиях MEV для различных конструкций L2. Мы также кратко рассмотрим различные способы децентрализации L2 и то, как это может повлиять на L2 MEV.

Что такое MEV

Оговорка: не стесняйтесь пропустить, если вы знакомы с MEV. Подробное объяснение MEV можно найти в статье "Ethereum - темный лес" от Paradigm и в статье "Flash Boys 2.0".

MEV - Maximal Extractable Value (экс-Miner Extractable Value до слияния) - стоимость, извлекаемая непосредственно из смарт-контрактов благодаря контролю за упорядочиванием транзакций в конкретную эпоху. Впервые она была формально определена в документе "Flash Boys 2.0" в 2019 году.

Чтобы понять, что такое MEV, мы должны понять, кто такие арбитражные боты: арбитражные боты просматривают системы блокчейн (особенно децентрализованные биржи, DEX), чтобы найти и использовать сделки обычных пользователей на DEX.

В самом начале MEV на Ethereum добывался майнерами. mev-geth был клиентом для майнинга Ethereum и мог принимать пакеты от поисковиков. Поисковики соревновались друг с другом в поиске MEV в mempool, создании связки с наибольшим потенциальным MEV и победе в аукционе, чтобы mev-geth включил их связку в блокчейн. До слияния было добыто $675,6 млн MEV.

После перехода на Proof of Stake добыча MEV стала доступной для валидаторов: был введен mev-boost (автор Flashbots) для обеспечения Proposer Builder Separation (PBS), что превратило добычу MEV в огромную многомиллионную высококонкурентную индустрию (с момента Merge было добыто 217 147 ETH (около $415M) MEV).

Однако, поскольку дорожная карта Ethereum ориентирована на роллапы, и ожидается, что 99% всей активности будет приходиться на L2 (и выше), как только роллапы достигнут зрелости, дизайн роллапов должен учитывать гонку добычи MEV.

Поскольку предполагается, что участники создания и проверки блоков являются рациональными экономическими субъектами, участвующими в системе, прибыльные возможности получения MEV могут разумно повлиять на поведение этих участников, которое является вредоносным с точки зрения сети.

Ниже мы рассмотрим различные конструкции rollup и последствия L2 MEV для каждой из них.

Дисклеймер: Это гипотетическая ментальная карта L2 MEV для создания хотя бы некоторых очертаний этого ландшафта. На данный момент большинство роллапов имеют один централизованный секвенсор, так что это почти единственный доступный на сегодня вариант. Реальность может быть иной. Поэтому, пожалуйста, воспринимайте эту статью как приглашение к дальнейшим исследованиям.

Когда мы говорим: "99% всей активности будет (однажды) на L2 и выше", возникает следующий вопрос: "При 99% активности на L2 означает ли это, что 99% MEV также будет захвачено на L2?".

Текущий ландшафт L2 MEV

Все исследования L2 MEV можно разделить на две категории: (i) изолированное количественное определение и извлечение MEV на каждой цепочке отдельно и (ii) межцепочечный MEV (поскольку у нас несколько цепочек, каждая со своими возможностями MEV).

MEV - это темный лес, поэтому мы не можем точно знать, что происходит в этой области. Но было проведено несколько экспериментов по количественному определению L2 MEV. Некоторые примеры ниже:

• FlashBabies paper (2021): Обзор концепции L2 MEV + развертывание инструмента количественной оценки MEV на Optimism и Polygon;

• MEV на Polygon (PoS) Explorer;

• Статья о формализации кросс-доменного MEV (2021);

• Таблица лидеров междоменных MEV.

Дисклеймер: возможно, существует гораздо больше задокументированных исследований в этой области. Приведенный выше список содержит лишь некоторые примеры.

Однако L2 отличаются от Ethereum. Поэтому предположения о MEV Ethereum могут быть ошибочными в отношении L2. Область L2 MEV призывает любопытных исследователей MEV. Ниже мы вкратце рассмотрим основные конструкции рулонов и подумаем о возможных последствиях MEV для каждой из них.

Централизованные Sequencers (наблюдается ли MEV? 👹)

Роль sequencer заключается в упорядочивании транзакций в блок и отправке этого блока на L1. На сегодняшний день большинство секвенсоров в L2 Ethereum Rollups - это отдельные централизованные организации. И эти структуры (в разной степени) отвечают за упорядочивание транзакций. То есть, в большинстве rollups L2 Ethereum (как они есть), извлечение MEV находится в руках единственного секвенсора.

Однако в rollups с различными механизмами секвенирования свобода секвенирования также варьируется. Например, в модели First Come First Served (в настоящее время используется Arbitrum) работа секвенсора заключается в том, чтобы организовать транзакции в блок точно в том же порядке, в котором он их получил. Следовательно, способность секвенсора извлекать MEV весьма ограничена случайностью.

В то время как, например, в Оптимизме, секвенсор имеет больше власти над последовательностью транзакций - фактически, он может упорядочивать транзакции по своему усмотрению. Таким образом, формально у него есть гипотетическая возможность извлекать MEV при секвенировании. Однако его власть также ограничена: если транзакция не была включена в блок в течение определенного временного окна, она будет принудительно включена в следующий блок.

В 2020 году Karl Floersch предложил идею MEVA (MEV Auctions) на форуме ethresearch. Идея заключалась в том, что "одна искушенная сторона выигрывает аукцион и может захватить весь MEV. Победитель аукциона может изменять порядок представленных транзакций и вставлять свои собственные, если они не задерживают какую-либо конкретную транзакцию более чем на N блоков". Однако официально мы ничего не знаем о его реализации.

С 2018 года, когда на Ethereum был развернут первый ZK-Rollup, с момента сотворения мира все роллапы имеют намерение быть децентрализованными. ****Насколько известно на сегодняшний день, большинство из них начинаются с централизованных sequencers и намерением децентрализовать их в будущем. Однако следует отметить, что пока существует механизм принудительного включения транзакций в разумные сроки - это не представляет реальной опасности для цензуроустойчивости роллапа. Но на сегодняшний день одним из недостатков существующих механизмов принудительного включения транзакций является то, что они довольно дороги, поэтому можно утверждать, что принудительное включение транзакций все еще не доступно для широкой аудитории, поэтому его нельзя считать на 100% устойчивым к цензуре.

Однако при использовании централизованных sequencers возможности извлечения MEV довольно ограничены (пока вы не запустите секвенсор). Справедливым (в какой-то степени) способом является его централизованное извлечение, а затем прозрачное перераспределение для общественных благ или других "хороших" целей.

Однако, поскольку MEV считается потенциальной угрозой консенсусу для общей устойчивости сети Ethereum (а большинство rollups все еще намереваются децентрализовать секвенсор в будущем), давайте перейдем к следующей главе и посмотрим, как мы можем с этим справиться!

Децентрализованные Sequencers

Децентрализация может иметь различные формы:

Количество участников

• Децентрализованная ~ без разрешения, то есть любой может присоединиться и покинуть сообщество, когда захочет;

• Частично децентрализованная, то есть у нас есть ограниченное число участников, которые курируются/попадают в белый список или выбираются по другому критерию.

Механизм

Существует множество вариантов реализации децентрализации:

• Аукционы: участники делают конкурентные ставки в открытом или закрытом формате (например, Dutch Auction, Sealed-Bid Second Price Auction и т.д.) Победитель может быть назначен на один слот или на определенный период;

• Случайные выборы лидера: случайный выбор из числа участников, соответствующих определенному критерию (например, из тех, кто сделал ставку в 32 ETH);

• "Proof-of-Work style": множество потенциальных секвенсоров конкурируют за слот или период, будучи самыми эффективными, самыми быстрыми и т.д;

• Экономическая конкуренция: различные стороны соревнуются за достижение наилучшего экономического результата (например, включение блоков в соответствии с платой за блок).

Помимо чистого механизма децентрализации, можно также использовать аналогию с PBS (Proposer Builder Separation) на L1, разделяя сторону, которая создает пакеты транзакций, и сторону, которая строит блоки.

Однако наличие децентрализованного секвенсора - не единственный вариант децентрализации создания блоков. Другой способ - передать предложение блоков третьей стороне (например, Shared Sequencer или Ethereum).

В настоящее время готовится несколько решений

• Передача предложения блока на аутсорсинг Shared Sequencer (просто сервис, а не цепочка, например, Espresso и Astria);

• Передача предложения блоков другой цепочке (SUAVE - по сути, это цепочка, поэтому мы передаем построение блоков и обслуживание mempool другой цепочке);

• Передача создания блоков на аутсорсинг L1 (это Based Rollup, например, Taiko);

• Некоторые более причудливые варианты: фреймворк для размножения фрактальных экземпляров, где любой блокчейн может стать фрактальным экземпляром (Anoma);

Аутсорсинг sequencing в компании Shared Sequencers

Учитывая появление слоев доступности данных и развитие ландшафта L2, Shared Sequencers начали появляться как единое окно для создания блоков для нескольких доменов.

*Слои доступности данных являются представителями модульных блокчейнов. Краткая идея модульных блокчейнов заключается в том, что вместо того, чтобы быть монолитными, L2 должны специализироваться на одной или нескольких (но не всех) функциях: исполнение, расчеты, консенсус и доступность данных.

Источник изображения: celestia.

Общие секвенсоры (такие как Espresso и Astria) производят блоки для нескольких доменов.

Механизм

• Shared Sequencers действует как общий пропозиционер для других роллапов: он создает блоки, включающие и упорядочивающие транзакции, и отправляет готовые блоки стороне, которая будет их выполнять (это могут быть сами роллапы или буквально третья внешняя сторона);

• Как пропозиционер, он гарантирует атомарное включение транзакций во всех роллапах, включенных в него;

• Они также могут обеспечить довольно быстрое предварительное подтверждение и условное включение транзакций;

• Однако Shared Sequencer не выполняет транзакции, поэтому он не может гарантировать, что транзакция не вернется;

• Упорядочение для Shared Sequencer не имеет статического характера - узлам Shared Sequencer не нужно хранить полное состояние для всех различных сверток;

• SS могут быть построены на L1 или отдельных уровнях доступности данных (таких как EigenLayer и Celestia);

• Но когда речь идет об устойчивости к цензуре, нас волнует только включение и упорядочивание транзакций (не уровень исполнения), поскольку транзакции могут подвергаться цензуре именно на этапе упорядочивания. Для упорядочивания СС могут использовать случайную ротацию лидеров, FIFO с зашифрованными транзакциями (например, Radius) или некоторые другие механизмы.

*Источник диаграммы: легендарная статья Jon Charbonneau "*Rollups Aren't Real".

Wat MEV

• Когда речь заходит о Shared Sequencers, основным ценностным предложением MEV является кросс-цепочечный MEV;

• Поскольку в настоящее время ни один SS не работает, мы должны предположить некоторые характеристики. Но согласно документации, Shared Sequencers позволяют роллапам извлекать межцепочечный MEV, поэтому можно предположить, что бенефициарами межцепочечного MEV в SS являются сами роллапы;

• Однако Shared Sequencer является центральным актором и имеет доступ к извлечению MEV, или, по крайней мере, полномочия принимать решения о распределении извлеченных межцепочечных MEV между роллапами;

• Shared Sequencer также может обеспечить атомарность кросс-цепочки и одновременное выполнение транзакций на двух разных цепочках, что делает кросс-цепочечный MEV невероятно прибыльным (например, один и тот же актив торгуется на двух разных цепочках по двум разным ценам);

• Однако Shared Sequencer не может гарантировать, что транзакции будут выполняться в том порядке, который они обеспечивают, и что они вообще будут выполнены. Формально, роллапы могут выполнять второй раунд обработки транзакций и переупорядочивать их;

• Поэтому наилучшей достижимой гарантией является "все или ничего": либо выполняются оба транзакта в двух цепочках, либо не выполняется ни один;

Передача sequencing на аутсорсинг отдельной цепочке

Дисклеймер: для официального описания SUAVE ознакомьтесь с этой статьей на сайте Flashbots.

SUAVE - это отдельная цепочка, которая предоставляет услуги mempool и децентрализованного билдера.

Представьте, что у нас есть блокчейн X, который использует SUAVE. Тогда пользователи блокчейна X отправляют транзакции в мемпул SUAVE, а не в мемпул X. Далее SUAVE создает блоки для цепочки X и отправляет их дальше валидаторам.

Наличие нескольких транзакций цепочки в одном мемпуле позволяет строителю обеспечить:

• Более высокую эффективность (например, сделки с совпадением желаний) благодаря агрегированию и клирингу предпочтений от нескольких цепочек;

• Конфиденциальность как услугу (например, реализация SGX находится в дорожной карте, но возможны и другие решения);

• Улучшенный UX (например, SUAVE платит за газ от имени пользователей в межцепочечной сделке).

Механизм

• Предпочтения пользователей: Предпочтения пользователей из разных сетей агрегируются в мемпуле SUAVE. Предпочтение - это сообщение, которое пользователь подписывает, чтобы выразить определенную цель, и которое разблокирует платеж, если условия пользователя выполнены;

• Исполнители: Сеть "исполнителей" прослушивает мемпул SUAVE и соревнуется на аукционе за выполнение предпочтений пользователя. В случаях, когда транзакция пользователя создает MEV, исполнители также фиксируют его и соревнуются в выплате как можно большей его части обратно пользователю. Однако исполнители не обязательно являются валидаторами других цепочек, поэтому они не могут гарантировать атомарное включение транзакций X-цепочки;

• Block Builders: Децентрализованная сеть построения блоков берет собранные предпочтения, многие из которых уже имеют оптимизированные пути выполнения, и превращает их в блоки во всех участвующих доменах.

Что нового, почему это важно

• Фактически, SUAVE продолжает работать над "намерениями" (введенными Anoma несколько лет назад): абстрактное изложение того, чего хочет достичь пользователь, а оптимальная маршрутизация зависит от исполнителя (это может быть как обычная "простая" транзакция, так и сложная последовательность событий в нескольких доменах), что предоставляет выгодные возможности для оптимизации эффективности рынка (например, уменьшение проскальзывания). Тем не менее, есть много вещей, которые могут пойти не так: (i) создание пула намерений (он же mempool для намерений) с правом доступа влечет за собой риск централизации, (ii) высокий входной барьер для новых участников влечет за собой риск низкого уровня инноваций и разнообразия, (iii) риск непрозрачности системы, при котором неясно, как и удовлетворяются ли ожидания пользователей, а угрозы для экосистемы остаются незамеченными. Подробное объяснение намерений можно найти в статье Paradigm.

Источник диаграммы: Paradigm.

Wat MEV

• Никакой MEV (помимо платы за бензин/сетевых чаевых) сам SUAVE не получает;

• Поисковики (которые выражают свои предпочтения как пользователи на SUAVE) получают MEV, прося исполнителей взять их пакеты (включая межцепочечный MEV);

• Исполнители также получают долю MEV поисковиков (возвращая поисковикам как можно больше).

Sequencing на основе L1 (основанные rollups)

Rollups также могут передавать секвенирование Ethereum (например, Taiko). Этот подход был впервые описан в Vitalik’s article как "Total Anarchy" роллап в начале 2021 года, а в марте 2023 года - в “Based Rollup” concept Джастина Дрейка.

Механизм

• L2 поисковики собирают L2 txs в пучки и отправляют их L2 block proposers (тем, кто собирает L2 пучки в L2 блок);

• Предложившие блок L2 берут пучки L2 от искателей L2 и создают блок;

• Поисковики L1 включают блоки L2 в свои пучки.

Wat MEV

• MEV естественным образом частично перетекает в Ethereum, укрепляя экономическую безопасность L1;

• Поисковики L2 (которые создают L2-пакеты) и билдеры L2 (которые могут просто запустить mev-boost) также получают часть MEV;

• Если искатель L2 отслеживает мемпул Ethereum, мемпул Based Rollup и состояние обеих цепочек, он может создавать связки с чистым межцепочечным Based Rollup <> Ethereum MEV.

Другие конструкции rollup и свободное пространство для экспериментов

В настоящее время формируется ландшафт решений L2 и L2 MEV. Возможно, появятся новые решения и альтернативные конструкции, и область для творчества довольно обширна.

Ниже мы упомянем еще несколько решений, которые работают с MEV альтернативным способом или просто как-то связаны с темой L2 MEV.

No-MEV-DEX: Penumbra

• Экранированный DEX, который выполняет все свопы в блоке как единую партию с общей ценой клиринга, например, устраняет фронтраннинг, устраняя всю концепцию внутриблочного ордера, или устраняет возможность цензуры и вставки стат-арабов, поскольку движения рынка вне цепи не могут быть легко замечены.

https://cow.fi/

• Протокол собирает ордера, сопоставляет совпадения желаний и получает избыточный объем от всех DEX и агрегаторов DEX (решатели соревнуются в поиске лучшего источника ликвидности для вашей сделки на всех децентрализованных биржах и агрегаторах). Batches скрыты от публичных мемпулов. Однако, поскольку "согласование" покрывается решателями в частном порядке, у них может появиться стимул для создания картеля и отклонения от справедливого поведения.

https://shutter.network/

• Решение Drop-in для смарт-контрактов на уровне приложений, использующее пороговую криптографию на основе протокола распределенной генерации ключей (DKG) для предотвращения front running на Ethereum.

И некоторые другие решения, которые не были упомянуты в статье.

Заключение

Сегодня ландшафт L2 MEV - это "пальцем в небо", поскольку большинство секвенсоров по-прежнему централизованы. Было несколько попыток децентрализовать централизованные секвенсоры, однако ни одна из них не была принята в долгосрочной перспективе, а децентрализованные решения "с первого дня" пока только зарождаются. Никто не видел, как это будет работать в отношении MEV.

На основании документов, предположений и тестов, которые мы видели, есть несколько способов децентрализации секвенсоров, необходимых для "справедливого" извлечения MEV, при этом цепочки остаются надежными, без разрешений и не поощряют централизацию. Все они имеют различные компромиссы между надежностью, отсутствием разрешений, экономической безопасностью и TBD:

• Отсутствие децентрализации как решение - централизованный секвенсор несет полную ответственность за упорядочение транзакций, либо извлекая MEV в пользу DAO, пользователей, финансирования общественных благ или любых других решений, либо не извлекая MEV вообще, обеспечивая защиту от отрицательных MEV политикой no-MEV (сомнительно, что это работает как эффективная долгосрочная стратегия, но такой вариант существует).

• Ограниченная децентрализация - в качестве секвенсоров может выступать ограниченное число лиц, включенных в белый список. В 2022 году Arbitrum объявил о намерении использовать этот подход. Это решение является децентрализованным, но не безразрешительным. Результат MEV зависит от протокольного решения: он может попасть к блокчейн-секвенсору, DAO, быть разделенным с пользователями и т.д. Поскольку секвенсоры внесены в белый список и их количество ограничено, межцепочечный MEV ограничен, но все же возможен.

• Передача секвенсирования L1 + децентрализованное создание блоков - это часть дизайна протокола, где честное создание блоков и доказательство (разработанное аналогично PBS) стимулируется выплатами создателям и доказателям (предположительно с использованием mev-boost, как на L1), без разрешения сообщества. MEV естественным образом частично перетекает на L1, укрепляя экономическую безопасность L1. Межцепочечный MEV (как L1 <> L2, так и L2 <> L2) также может быть извлечен. В случае Based Rollup, тот же механизм работает для L3, L4 и т.д. В настоящее время Taiko разрабатывается с использованием этого подхода.

• Передача секвенирования другой цепи, разработанная для эффективного межцепочечного извлечения MEV. MEV поступает к искателям и частично делится с исполнителями (теми, кто выполняет намерения пользователя). Этот подход был разработан flashbots для цепочки SUAVE.

• Аутсорсинг секвенсинга в Shared Sequencer - чем больше сетевой эффект, тем выше эффективность межцепочечного извлечения MEV. Извлеченный MEV возвращается обратно к роллапам, однако, если многие роллапы полагаются на один SS - это создает единую точку отказа, и поэтому мы увидим на практике, обеспечит ли дизайн SS бескомпромиссную ****робастность и неразрешимость.

• Нет последовательности - все транзакции в блоке выполняются как один пакет. Нет упорядочивания - нет MEV (например, Penumbra - это no-MEV-DEX).

Однако большинство из этих решений находятся в стадии разработки и появятся не ранее 2024 года, и могут появиться новые механизмы (например, наследование механизма сглаживания MEV-burn в Ethereum для L2s), пока дорожная карта Ethereum по-прежнему ориентирована на роллапы. Это означает, что вопрос заключается не в том, какое решение будет первым, а в том, какое решение в долгосрочной перспективе будет работать для Ethereum наиболее надежным и не требующим разрешения способом.

*Источники: explore.marlin, статья "MEV на L2" от FlashBabies, статья "*Unity is Strength: A Formalization of Cross-Domain Maximal Extractable Value", статья "The Future of MEV is SUAVE" блога Flashbots, Rollups Aren't Real блога Jon Charbonneau, odos.xyz, сообщение блога Espresso Systems, сообщение блога Astria.

Присоединяйтесь к нам 💗

Изучите открытые вакансии на нашей доске объявлений.

Следуйте за нами 🥁

Чтобы быть в курсе последних новостей от Taiko:

• Website: https://taiko.xyz

• Discord: https://discord.gg/taikoxyz

• GitHub: https://github.com/taikoxyz

• Twitter: https://twitter.com/taikoxyz

Вклад 🤓

Внесите вклад в Taiko и получите GitPOAP! Вы также будете упомянуты в качестве участника в нашем README. Начните с руководства по внесению вклада.

Translated by: perfeect & igorizuchaetcrypty

Цель Taiko - масштабировать Ethereum таким образом, чтобы как можно ближе подражать ему - как технологически, так и идеологически. Для этого мы гордимся сотрудничеством с группой ведущих инвесторов, которые разделяют наше видение и доверились нам.

Наши раунды возглавляют Sequoia China и Generative Ventures, соответственно, при участии BAI Capital, GGV Capital, GSR Markets, IOSG Ventures, Kucoin Ventures, Mirana Ventures, OKX Ventures, Skyland Ventures, Token Bay Capital, Yunqi Partners, а также других инвесторов и видных участников и членов сообщества из всей экосистемы Ethereum.

Масштабирование Ethereum является одной из наиболее значимых и влиятельных задач в криптовалюте, о чем свидетельствуют многочисленные талантливые команды, стремящиеся решить эту задачу, каждая из которых имеет различные подходы и компромиссы. Мы в Taiko твердо убеждены, что принципы, благодаря которым Ethereum стал расчетным уровнем по умолчанию в открытом интернете - децентрализация, безраздельности и безопасность - должны соблюдаться любой ценой в решениях второго уровня. Мы также считаем, что бескомпромиссный опыт разработчиков, эквивалентный Ethereum, имеет первостепенное значение для успеха решения для масштабирования Ethereum. Поэтому наша цель - разработать первый в мире ZK-EVM типа 1 с децентрализованными и не требующими разрешения реквизитами/предложениями с первого дня. Более того, мы стремимся сделать это таким образом, который эквивалентен Ethereum в других отношениях: полностью с открытым исходным кодом и управляемый сообществом.

Сооснователи Taiko имеют большой опыт в запуске и масштабировании ZK-проектов, о чем свидетельствует создание Loopring - первого в мире ZK-роллапа для конкретных приложений - в 2017 году. Наша команда основателей состоит из Daniel Wang (CEO), Brecht Devos (CTO), Terence Lam (CSO) и Matthew Finestone (COO), которые возглавляют группу из 20+ блокчейн-разработчиков мирового класса, исследователей ZK и криптовалютных операторов, распределенных по более чем 16 странам.

С помощью наших партнеров и последнего финансирования мы надеемся продолжить развивать успех наших первых двух тестовых сетей (альфа-1 и альфа-2), в которых приняли участие более 2000 блокчейн-провайдеров, ~200 блокчейн-prover и втрое увеличился размер нашего сообщества. Как указано в Taiko’s roadmap, мы запланировали еще несколько тестовых сетей, каждая из которых направлена на тестирование различных частей нашего технологического стека, поскольку мы готовимся к запуску основной сети в 1 квартале 2024 года. Кроме того, мы планируем ускорить рост ключевых протоколов и партнерств на Taiko, и поэтому приглашаем разработчиков и проекты, заинтересованные в развертывании на Taiko, связаться с нами и присоединиться к нашей растущей экосистеме!

Комментируя это объявление, Daniel Wang, генеральный директор и соучредитель Taiko, сказал:

"Благодаря последним достижениям в алгоритмах нулевого знания, аппаратному ускорению и ведущим отраслевым исследованиям, мы считаем, что сейчас мы находимся на пороге создания действительно децентрализованного ZK-ролика, эквивалентного Ethereum. Это наша основная миссия в Taiko, и мы невероятно гордимся сотрудничеством с ведущими инвесторами, которые разделяют наше бескомпромиссное видение".

Will Wang, партнер Generative Ventures, добавил:

"Мы верим в фундаментальную ценность создания trustless network и машинной экономики, способствующей информационной и финансовой революции, и Taiko - лучший кандидат для масштабирования процесса и обеспечения производительности".

Присоединяйтесь к нам 💗

Изучите открытые вакансии на нашей доске объявлений.

Следуйте за нами 🥁

Чтобы быть в курсе последних новостей от Taiko:

• Website: https://taiko.xyz

• Discord: https://discord.gg/taikoxyz

• GitHub: https://github.com/taikoxyz

• Twitter: https://twitter.com/taikoxyz

Вклад

Внесите свой вклад в Taiko и получите GitPOAP! Вы также будете упомянуты в качестве участника в нашем README. Начните с руководства по внесению вклада.

Translated by: perfeect & igorizuchaetcrypty

По сравнению с alpha-2, наиболее заметными изменениями являются:

• Разработка и реализация экономики нового протокола

• Предложившие и доказывающие не имеют разрешений (в alpha-1 были не имеющие разрешений предложившие, в alpha-2 - не имеющие разрешений доказывающие)

• Реализация L3: начальные уровни

Перейдем сразу к делу: эта тестовая сеть фокусируется на децентрализованной части нашего децентрализованного, Ethereum-эквивалентного ZK-EVM. Или, если быть более точным, безразрешения, которые могут иметь тенденцию к децентрализации. Главное, что нужно проверить здесь, это то, как предлагающие и доказывающие взаимодействуют друг с другом и с протоколом, руководствуясь только экономическими стимулами протокола.

Другая важная вещь для тестирования - это развертывание Taiko поверх Taiko в качестве L3, что, по нашему мнению, является максимально простым благодаря возможности повторного использования конструкции типа 1. Мы называем это "слоями концепции".

Чтобы сразу перейти к тестированию, транзакциям, развертыванию или к предложению и доказательству, смотрите руководство:

https://taiko.xyz/docs/guides

Чтобы узнать больше об этой тестовой сети, читайте дальше.

Основные цели этой тестовой сети:

• Проверить разработку и реализацию экономики нового протокола, включая новую модель платы/вознаграждения.

• Протестировать мост, использующий частичные доказательства Меркла для проверки сигналов/сообщений (a1 и a2 использовали полные доказательства Меркла).

• Протестируйте новый оракловый провератор. Теперь обычные доказательства могут быть раньше оракульных.

• Протестируйте охлаждение доказательств (рекомендуется 30 минут).

• Протестируйте новый депозит ETH, используя withdrawalsRoot на L2.

• Протестируйте начальные уровни. Мы развернем Taiko L3 через несколько недель.

Некоторые вещи остаются неизменными:

• Открыт для всех разработчиков для развертывания смарт-контрактов. Поскольку Taiko стремится быть ZK-EVM первого типа (эквивалент Ethereum), вы можете использовать все инструменты Ethereum/Solidity, с которыми вы знакомы, и развертывать свои смарт-контракты Ethereum точно так же, как и сейчас.

• Открыт для всех пользователей, которые хотят использовать его и поиграть с некоторыми транзакциями.

• Открыт для всех заинтересованных лиц для запуска узла L2 (необходимое условие для того, чтобы стать автором предложения или подтверждением).

• Среда L1 - тестовая сеть Ethereum Sepolia.

• Faucets для запроса образцов токенов ERC20 на тестовый узел L2 Taiko. Для ETH на L1 вы можете использовать существующие краны Sepolia ETH.

• Мост для перемещения активов между тестовой сетью L2 и L1.

• Блокчейн-исследователи для просмотра активов и активности на testnet L2 и Sepolia L1.

• Страница состояния для мониторинга сети.

Вознаграждения для авторов proposers и provers

Для достижения цели тестирования нового экономического дизайна протокола, альфа-3 будет стимулирующей тестовой сетью для пропперов и проверяющих. Нам нужно проверить, как ведут себя не имеющие разрешения пропперы и проверяющие в среде, имитирующей мэйннет, где они действуют рационально в соответствии с платой и вознаграждением протокола. (В Alpha-2 стимул был только на стороне провера). Моделирование среды мейннета с неразрешенной экономической деятельностью не так просто в тестовой сети из-за отсутствия реальных ценных активов. Мы делаем все возможное следующим образом:

Первоначальное распределение TTKO

• Предлагая блок, участники должны заплатить протоколу в токене протокола. (Им также нужно заплатить за газ Ethereum L1: SepoliaETH в случае нашего тестнета). В альфа-3 мы называем этот протокольный токен TTKO (test TKO). Чтобы засеять этим токеном начальную группу потенциальных пропперов, мы обратимся к тем, кто выполнял полезную для сети работу в тестовых сетях альфа-1 и альфа-2:

  • Лучшие ~2 000 авторов предложений по количеству блоков, предложенных в альфа-1, получат по несколько TTKO. Эти адреса можно найти здесь.

  • 195 доказателей, доказавших хотя бы один блок в альфа-2, получат по TTKO. Эти адреса можно найти здесь.

  • Мы сообщим в Discord, на форуме сообщества или в Twitter, когда TTKO будут распределены между получателями, а также о расчетах, которые определили их суммы. Пожалуйста, следите за новостями. В этот момент обладатели TTKO смогут стать авторами предложений на альфа-3! Примечание: если вы зарабатываете TTKO, доказывая блоки альфа-3 (прямо сейчас, по мере продвижения цепочки), вы можете использовать их для выдвижения предложений в любое время.

Моделирование рационального участия в сети

• Для того чтобы стимулировать потенциальных proposers to propose блоки в майннет, мы оговариваем две вещи:

  • Чтобы избежать спама, предлагающего блоки (что повредит провайдерам, которые должны тратить реальные вычислительные ресурсы для доказательства очереди блоков), мы открыто сигнализируем, что баланс TTKO будет среди вкладов, вознаграждающих участников сети во время мэйннета. Мы не предоставляем более подробной информации о том, как это сделать, потому что мы не задумывались об этом.

  • Чтобы избежать накопления ТТКО и обхода смысла симуляции, мы дополнительно сигнализируем, что рациональное и полезное построение и предложение блоков будет одним из вкладов, вознаграждающих участников сети во времена мейннета. Мы не приводим конкретную формулу, потому что это сделает любую формулу игровой целью (в тестовой сети без защиты от спама естественной ценности).

  • Эти противодействующие силы, как мы надеемся, приведут к тому, что вы будете относиться к TTKO как к чему-то, что вы не хотите тратить на спам, предлагая блоки, и к предложению как к чему-то, что вы хотите делать рационально - в общем, к тому, что вы считаете оптимальным. Идея заключается в том, чтобы представить себе, что вы предлагаете роллап, пытаясь максимизировать реальные комиссионные L2, которые вы зарабатываете. Это наша скромная попытка смоделировать механику тестирования, необходимую сети.

  • Эти противодействующие силы, как мы надеемся, приведут к тому, что вы будете относиться к TTKO как к чему-то, что вы не хотите тратить на спам, предлагая блоки, и к предложению как к чему-то, что вы хотите делать рационально - в общем, к тому, что вы считаете оптимальным. Идея заключается в том, чтобы представить себе, что вы предлагаете роллап, пытаясь максимизировать реальные комиссионные L2, которые вы зарабатываете. Это наша скромная попытка смоделировать механику тестирования, необходимую сети.

• Для того чтобы стимулировать потенциальных provers to prove блоки в майннет, мы оговариваем:

  • Уже упоминавшееся условие, что баланс TTKO будет среди вкладов, вознаграждающих участников сети во время mainnet.

  • Напомним, что доказатели получают TTKO от протокола, когда предоставляют достоверные доказательства. Таким образом, "работа, которую должен выполнить" доказывающий (т.е. генерирование доказательств), сводится к зарабатыванию TTKO. (В отличие от тех, кто предлагает, где "работа, которую нужно сделать" означает предлагать блоки, платить TTKO и зарабатывать SepETH).

  • Но, пожалуйста, не путайте вышесказанное с тем, что рациональная или оптимальная стратегия означает беспорядочное доказательство блоков с целью заработать TTKO. Доказатели тратят реальные вычислительные ресурсы при генерации ZKP. Поэтому нет никакого риска, что они окупят свои реальные затраты (особенно если они неэффективны). Также неизвестно, когда они смогут возместить эти затраты. Это решение проверяющий должен тщательно обдумать. Обратите внимание, что в среде мейннета с известной стоимостью токенов протокола решение становится очевидным, принимая во внимание их эффективность и эффективность конкурентов.

  • Обратите внимание на отличие от альфа-2, где provers получали вознаграждение в USDC, соответствующее количеству доказанных блоков.

Требования к аппаратному обеспечению для proving

На данный момент для доказательства блоков можно использовать то же оборудование, которое использовалось в альфа-2. Минимальные требования к аппаратному обеспечению составляли: 8 или 16 ядерный процессор; 32 Гб памяти. Если использовать это оборудование, то приблизительные показатели были следующими: генерация доказательства занимает около 10 минут, а аренда машины с вышеуказанными характеристиками будет стоить около $0,15 за доказательство.

Примечание: это не является показателем того, сколько будет стоить полное доказательство ZK-EVM, поскольку еще не все схемы включены. Все больше схем интегрируется по мере продвижения. Добавление новых схем может происходить на постоянной основе или представлять собой обновление тестовой сети "альфа-4". В любом случае, когда потребуется более мощное оборудование, мы постараемся сообщить об этом как можно раньше.

Пожалуйста, обратите внимание, что вознаграждение или прибыль (если таковые будут) будут сильно зависеть от множества факторов и ни в коем случае не гарантированы. Это касается и proposers, provers, и всех участников сети. Некоторые используемые предположения могут не отражать реальность в течение всего периода тестовой сети, могут быть обнаружены недостатки протокола, а сроки появления сети в мейннете неопределенны. Мы оставляем за собой право корректировать программу, конечной целью которой является тестирование беспрецедентных безраздельных предложений и доказательств в ZK-Rollup. Вы должны участвовать только в том случае, если вы хотите помочь сети протестировать технический проект. В основном, для науки.

Масштабирование L3: начальные слои

Начальные слои означают использование Taiko в качестве L2 и развертывание точной кодовой базы в качестве L3 поверх. Учитывая Ethereum-эквивалентность Taiko, отношения L3:L2 близки к отношениям L2:L1, предлагая максимальную возможность повторного использования и простоту.

Это необходимо, поскольку один rollup может масштабировать Ethereum только до такой степени, что раздувание состояния становится проблемой. Для работы Ethereum в больших масштабах требуется несколько рулонов (L2/L3/L-). Начальные слои (повторное использование одной и той же кодовой базы типа 1) открывают чрезвычайно расширяемую масштабируемость для Ethereum.

Кроме того, Ethereum-эквивалентность между L2s, L3s и далее означает наследование некоторых мощных свойств, таких как встроенная передача произвольных сообщений. Это следует из возможности для одного типа-1 читать доказательства Меркла от другого. Это позволяет бороться с недостатком наличия нескольких цепочек: опасениями фрагментации, ухудшающей UX/DevX. Поскольку различные уровни (смежные и верхние) могут легко общаться друг с другом с помощью доказательств Меркла, фрагментации можно избежать.

Обратите внимание, что мы развернем L3 только через несколько недель, но технически любой желающий может сделать это в любое время. Вы можете ознакомиться с документацией, чтобы узнать, как это сделать.

Для получения дополнительной информации о межуровневой передаче сообщений и мостах, пожалуйста, прочитайте этот раздел нашей документации.

Еще больше информации о том, как мы думаем сделать межслойную коммуникацию эффективной и надежной, можно найти в этой исследовательской идее.

Сроки и ожидания

Нам очень понравилось учиться на наших последних двух тестовых сетях, и мы не теряем времени, чтобы приступить к следующей итерации, чтобы узнать еще больше. Нам также понравилось наблюдать за участием сообщества в качестве пользователей, разработчиков node/предложений/provers, строителей и т.д. Для альфа-3, если все пойдет хорошо, мы ожидаем, что это будет более долгоживущая тестовая сеть. Будущие крупные обновления (a4+) могут быть действительно обновлениями смарт-контрактов по сравнению с амортизацией и регенезисом. Таким образом, мы считаем, что создатели сообщества, проекты экосистемы Ethereum и другие партнеры смогут развертывать и интегрировать в более стабильном состоянии. Однако, пожалуйста, имейте в виду, что в некоторых случаях регенезис все же может потребоваться.

Принять участие

Еще раз напоминаем, что здесь находится центр testnet, где вы можете найти документацию, руководства и ссылки на все соответствующие приложения и инструменты для использования testnet:

https://taiko.xyz/docs/guides

Как и в первые два раза, помимо развертывания, использования, предложения и доказательства, есть множество других способов, которыми вы можете принять участие и помочь Taiko улучшиться. Некоторые из них включают:

• Предоставление отзывов или обмен любыми ошибками, с которыми вы столкнулись, через эту форму.

• Создание учебников или другого контента, который может помочь разработчикам, авторам предложений/доказательств и пользователям начать работу.

• На самом деле, теперь внести свой вклад стало проще, чем когда-либо, потому что мы выложили все об этом тестнете (и о многом другом) в открытый доступ! Следите за развитием событий на нашей командной проектной доске: https://twitter.com/taikoxyz/status/1652810092528685056 и стройте вместе с нами. Мы - одна команда!

В пятницу, 9 июня, в 14:00 UTC на нашем сервере Discord, в канале stage, состоится созвон с сообществом #3. Мы предоставим некоторые общие обновления, но надеемся потратить гораздо больше времени на ответы на вопросы и общение с тестнетом. Пожалуйста, задавайте любые вопросы заранее в этом канале Discord, или вы также можете задать их в прямом эфире. Вопросы могут быть как связанные с testnet, так и общие.

Благодарим вас

Спасибо нашей преданной команде участников сообщества из всех областей, от инженерной до образовательной и многих других. Как вы можете видеть из подробностей в этом сообщении, стремление быть свободным с самого начала означает, что мы в значительной степени полагаемся на участников сообщества. Мы не смогли бы сделать это без вас. Мы знаем, что экосистема Ethereum полна интересных проектов и идей, на которые вы можете потратить свое время и энергию, и мы очень ценим, что вы решили стать частью наших усилий. Мы мотивированы как никогда, чтобы предоставить ZK-EVM первого типа сообществу - и вместе с ним.

Присоединяйтесь к нам 💗

Изучите открытые вакансии на нашей доске объявлений.

Следуйте за нами 🥁

Чтобы быть в курсе последних новостей от Taiko:

• Website: https://taiko.xyz

• Discord: https://discord.gg/taikoxyz

• GitHub: https://github.com/taikoxyz

• Twitter: https://twitter.com/taikoxyz

Вклад

Внесите свой вклад в Taiko и получите GitPOAP! Вы также будете упомянуты в качестве участника в нашем README. Начните с руководства по внесению вклада.

Translated by: perfeect & igorizuchaetcrypty

И это первый выпуск ZK-Roller-Coaster, подготовленный сообществом Taiko!

Особая благодарность авторам 6-го выпуска: umede, ex_scxr, msfew, anon212, yona.

Дисклеймер: это коллекция твитов, записей, видео и других материалов; они не выражают нашего мнения и могут быть не обязательно точными. Пожалуйста, проведите (или продолжите) собственное исследование.

Держитесь крепче! 🎢

Острота недели 🌶️

• Jon Charbonneau провел исследование и пришел к мысли, что "роллапы - это L1". Бруно из Matter Labs продолжил мысль Джона, поддержал его мнение о том, "что является роллапом, а что нет", и поделился открытым письмом к Джону. Сообщество подхватило эту идею и внезапно осознало, что все является общественным консенсусом. ERC20 - это "просто общественный консенсус, любое сообщество ERC20 может просто сделать форк" (acc. to Dankrad). Он не согласился с тем, что "роллап определяется его узлами", подчеркнув, что "роллап смарт-контракта определяется его мостом". Джеймс Прествич не согласился с Данкрадом, заявив, что "на самом деле вы не можете построить SCRU без узлов. Пользователи должны запустить специализированное программное обеспечение, которое оценивает историю и выполняет функцию перехода состояния."

Исследование ZK и rollup🧙

• ethresearch: stateless rollup (by OneTrueKirk).

• Дуги ДеЛюка обсудил, как технология распределенных секвенсоров (DST) может помочь децентрализовать секвенсоры rollup.

• подкаст zeroknowledge.fm: The State of ZK with Anna and Kobi (автор Anna Roseи Kobi Gurkan).

• Дэниел Канг рассказал, как ZKP могут помочь проверить, что системы ИИ работают без раскрытия конфиденциальной информации.

• Краткое объяснение того, почему мы используем быстрое преобразование Фурье (БПФ) и обратное быстрое преобразование Фурье (IFFT) в ZK-PLONK, от Rishabh Gupta..

• Как убедиться, что данные, подаваемые на схему, верны? (забавный маленький объясняющий торт от zk).

Обновление ZK и rollup🎈

• RISC Zero анонсировала Continuations, свою новейшую функцию, которая открывает возможность запуска интерпретатора EVM или WASM внутри zkVM.

• RISC Zero и Layer N совместно разработали первую мультизащищенную систему, сочетающую в себе ЗКП и средства защиты от мошенничества.

• Компания Optimism опубликовала свои выводы и размышления о втором раунде RetroPGF.

• Компания Giza представила Orion, новую среду выполнения машинного обучения ONNX, созданную в Каире.

• Запись в блоге: How Polygon Miden Solves State Bloat от Polygon.

Основные моменты, не относящиеся к ZK🎡

• Twitter thread, объясняющий ethresearch post (Mike Neuder и Justin Drake): прошлое, настоящее и будущее PBS (Майк Нойдер).

• Domothy опубликовал статью с ответами на некоторые часто задаваемые вопросы о недавно предложенном MEV burn mechanism.

• Haonan опубликовал статью, в которой утверждает, что криптоиндустрия сталкивается с проблемой "тяжелой люстры".

• Исследовательская статья "Время давать взятки: Измерение рынка блокчейн-строительства", всесторонний анализ ландшафта блокчейн-строителей и пропперов в Ethereum (авторы Toni Wahrstätter, Arthur Gervais, Kaihua Qin, и Liyi Zhou published).

• Компания Gnosis объявила о запуске Gnosis Pay - карты Виза. Однако сообщество утверждает, что "довольно легко извлечь подпись ECDSA из чипа в картах, а затем использовать zkps или, честно говоря, обычные смарт-контракты для их валидации на eth".

• Исследовательская статья: Intent-Based Architectures and Their Risks (авторы Quintus и Georgios Konstantopoulos из Paradigm).

Возможности и события 🏄‍♀️

• Открыт прием заявок на участие в 4-й группе стипендий Ethereum Protocol Fellowship (EPF). EPF - это уникальная инициатива, направленная на подготовку следующего поколения разработчиков ядра Ethereum.

• ZK Summer Contribution Program by PSE для студентов из Японии, Южной Кореи и Тайваня!

Чтение и просмотр 🎞

Общее

• zkEVM Community Edition от PSE. Часть 1: Введение, Часть 2: Компоненты, Часть 3: Логика и структура.

• Записи мероприятия CryptoXAI.wtf, посвященного изучению увлекательного пересечения криптовалют и выравнивания ИИ.

• iczc поделился тем, как они нашли уязвимость в Polygon zkEVM.

• Недавнее место в Твиттере на тему "Как доказательство нулевого знания изменит Web3-игры?".

• emilianobonassi выпустил проект IYKYK, который позволяет проводить KYC без доксинга, позволяя доказывать свою личность третьей стороне, не раскрывая ее.

• Представляем Sovereign SDK Alpha Release, набор инструментов для разработчиков, позволяющий легко запускать свои приложения в виде zk-роликов.

• Пространство Twitter: Espresso & Aztec: Decentralized Sequencers.

• Представляем Beacon Layer: Встраиваемый роллап-интерлейер для Ethereum.

Причудливая математика и криптография

• подкаст zeroknowledge.fm: Nova and Beyond with Srinath Setty.

• Видеозаписи исследовательского дня (по DBA) в прямом эфире.

• Livestream (запись) CCS & HyperNova with Srinath - Folding Schemes FTW by PSE with Srinath Setty.

Головоломки для любопытных 🧩

• Dan Robinson предлагает две загадки о ценообразовании в AMM.

• Surya Bakshi интересуется, есть ли какие-нибудь новости о Verkle Trees после статьи Виталика в 2021 году?

Спасибо, что прочитали 6-й выпуск ZK-Roller-Coaster. Увидимся через две недели! 🚵‍♀️

Присоединяйтесь к нам 💗

Изучите открытые вакансии на нашей доске объявлений.

Следуйте за нами 🥁

Чтобы быть в курсе последних новостей от Taiko:

• Website: https://taiko.xyz

• Discord: https://discord.gg/taikoxyz

• GitHub: https://github.com/taikoxyz

• Twitter: https://twitter.com/taikoxyz

Translated by: perfeect & igorizuchaetcrypty

Контекст

В марте мы начали выпускать раз в две недели ZK-Roller-Coaster - отслеживать и исследовать самые интересные, значимые и безумные ZK-статьи за предыдущие две недели. Было выпущено пять выпусков. Вы можете ознакомиться со всеми из них в Taiko mirror blog.

Приглашение

На этой неделе мы готовим 6-й выпуск ZK-Roller-Coaster и приглашаем всех присоединиться к сбору самых интересных, глубоких и запоминающихся моментов, связанных с исследованием ZK.

Как внести свой вклад

Где найти рабочий документ

• Мы собираем ссылки для 6-го выпуска в этом понятийном документе. Каждые две недели мы будем публиковать новый открытый документ, чтобы собрать классные материалы для нового выпуска ZK-Roller-Coaster;

• Чтобы редактировать документ, вам нужен аккаунт notion (он бесплатный, просто зарегистрируйтесь на https://www.notion.so/).

Структура документа

В дайджесте есть несколько разделов:

1. Острота недели 🌶️ - самый громкий, хитрый и шумный твиттер-хастл, связанный с zk.
   Хорошие примеры: Apr 6: "проект на zkSync собрал 921 ETH ($1,7M) в ходе продажи токенов, но средства навсегда застряли в смарт-контракте;

2. Исследования ZK и роллап 🧙 (обычно самый большой раздел дайджеста) - статьи, темы и т.д. вокруг чистых исследований zk. Хорошие примеры: thread о sumcheck от Ariel Gabizon, ethresearch: Межслойная коммуникация: Тривиально доказуемый и эффективный доступ на чтение к родительской цепочке от Brecht Devos;

3. Обновления ZK и rollup 🎈- новости и обновления из проектов zk и L2. Хорошие примеры: Taiko анонсировал обновленный дизайн протокола;

4. Новости индустрии, не относящиеся к ZK 🎡 - новости и исследования из основных проектов Ethereum (но не zk и L2), которые имеют значение для zk и L2. Хорошие примеры: анонс MEV-share, geth отказывается от поддержки PoW, Circle запускает кросс-чейн мосты USDC без кросс-чейн мостов;

5. Возможности и события 🏄‍♀️ - что происходит вокруг Ethereum (хакатон, открытая лекция, запуск zk-акселератора и т.д.), в которых кто-то из нас может принять участие. Хорошие примеры: ETHGlobal Lisbon 12-14 мая, Ethereum.org Writers Cohort стартует 11 мая);

6. Чтение и просмотр 🎞 Общее - zk статьи, видео и темы, которые могут быть интересны широкой аудитории. Хорошие примеры: Подкаст "Будут ли роллапы использовать общие секвенсоры?";

7. Чтение и просмотр 🎞 Причудливая математика и криптография - zk статьи, видео и темы, которые могут быть интересны хардкорным математикам, криптографам и исследователям. Хорошие примеры: Статья "Обзор аппаратного обеспечения: GPU, FPGA и доказательства с нулевым знанием";

8. Головоломки для любопытных 🧩 - открытые вопросы и головоломки, которые некоторым из нас было бы интересно решить. Хорошие примеры: Pratyush Mishra задается вопросом "Сколько пользовательских гейтов обычно имеют современные схемы plonk?";

Добавить в документ

• Бросьте ссылку в соответствующий раздел (например, если вы хотите добавить новый подкаст с zeroknowledge.fm о Spartan, Nova, SuperNova и HyperNova, добавьте его в раздел "Чтение и просмотр 🎞 Модная математика и криптография");

• Добавьте краткое описание рядом со ссылкой (например, https://twitter.com/zeroknowledgefm/status/1661480531949912066 (подкаст zeroknowledge.fm о Spartan, Nova, SuperNova и HyperNova). В противном случае, без краткого описания, одна ссылка может быть показана несколько раз;

• Добавить автора темы или статьи (например, thread ... by Kobi);

• Прежде чем добавить свою ссылку, проверьте, что эта тема, статья или объявление еще не были добавлены;

• Если вы не уверены в выборе наиболее подходящего раздела, просто выбирайте, как вам кажется. В худшем случае, она может быть перемещена в другой раздел;

• Добавьте свое имя или ник в раздел "Соавторы 6-го издания" (в верхней части документа). Не стесняйтесь добавить свой twitter (например, Lisa A.). Не стесняйтесь пропустить, если по какой-то причине вы не хотите быть представленным.

Вот и все!

• Если вы хотите предложить новый раздел или другие значимые идеи - не стесняйтесь обращаться к Лизе на discord (lisa_akselrod#6559).

Присоединяйтесь к нам

Изучите открытые вакансии на нашей доске объявлений.

Следите за нами

Чтобы быть в курсе последних событий в компании Taiko:

• Website: https://taiko.xyz

• Discord: https://discord.gg/taikoxyz

• GitHub: https://github.com/taikoxyz

• Twitter: https://twitter.com/taikoxyz

Вклад

Внесите свой вклад в Taiko и получите GitPOAP! Вы также будете упомянуты в качестве участника в нашем README. Начните с руководства по внесению вклада.

Translated by: perfeect & igorizuchaetcrypty

Дисклеймер: это подборка твитов, записей, видео и других материалов; они не выражают нашего мнения и могут быть не обязательно точными. Пожалуйста, проводите (или продолжайте) свои собственные исследования.

Держитесь крепче! 🎢

Острота недели 🌶️

Дважды за неделю у Ethereum возникали проблемы с финализацией Mainnet. Компания Offchain Labs представила анализ этого инцидента. Ethereum Bug Bounty Program предлагает до $250 000 и место в таблице лидеров за поиск ошибок в протоколах, клиентах и Solidity, влияющих на сеть Ethereum.

Исследование ZK и Rollups 🧙

• Twitter thread от bartek.eth: Что такое окончательность транзакции L2?

• ethresearch: MEV для "Based Rollup" от Lisa A. из Taiko.

• Twitter thread от Shiva: Распаковка жизненного цикла транзакции роллапа.

• ethresearch: Branching Oracle-enshrined Rollup Governance от Edmund Edgar.

• Twitter thread от ****Steven Goldfeder из Offchain Labs **** о модульной безопасности блокчейна.

• Twitter thread от polynya: освежающий материал об эффективности доказательств достоверности.

• Twitter thread от Michael Connor из Aztec: ускорение времени доказательства схем разворачивания.

• Twitter thread от Kobi из Geometry: Раскройте возможности мультиподписей BLS на Ethereum и других EVM-цепочках.

• zkResearch: Запуск финального доказательства Sangria в экранированном режиме на недоверенном стороннем провере от Igor Gulamov.

• ethresearch: L2 Economics of Daily Airdrops (произвольные суммы растущей базе игроков).

Обновления ZK и rollups🎈

• Arbitrum объявил, что "отправляет весь избыточный доход, полученный от транзакционных сборов, в соответствующую DAO, и для DAO настало время собирать средства". polynya оспорила это объявление в twitter thread.

• Optimism объявил официальную дату перехода OP Mainnet на Bedrock: 6 июня 2023 года в 16:00 UTC.

• Руководство по ландшафту экосистемы ZKML от Louis из SevenX Ventures.

Основные моменты, не относящейся к ZK 🎡

• Vitalik’s blog: Не перегружайте консенсус Ethereum.

• MEV burn ethresearch post Justin Drake из EF Bankless episode, где Джастин и Dom объясняют, как это работает.

• Twitter thread Max Resnick: Комбинаторные OFA возвращают пользователям больше дохода, чем традиционные OFA.

• MakerDAO объявляет о запуске протокола Spark: DeFi продукт, ориентированный на конечного пользователя, развернутый на Ethereum с функциями предложения и заимствования для ETH, stETH, DAI и sDAI.

• Mustafa из Visa поделился планами и мыслями о возможностях AA.

Возможности и мероприятия 🏄‍♀️

• ETHPrague уже совсем скоро: 9 - 11 июня: Hackathon состоится, и Виталик будет там 🌚.

• Aztec объявляет открытый запрос предложений по разработке децентрализованного секвенсора.

Читаем и смотрим 🎞

Общие

• Подкаст zeroknowledge.fm с Yi Sun из Axiom: Расширение вычислений на Ethereum с помощью Axiom.

• Статья "Autonomous Worlds Aim to Free Online Games From Corporate Control" от Lattice.

Причудливая математика, криптография и квантовая физика

• Эду из команды PSE провел пробный просмотр кода в репозитории ZKEVM-Circuits.

• Запись сессии Learn & Share команды PSE: Погружение в Caulk и Caulk+ через векторные обязательства.

• Enrico Bottazzi из команды PSE рассказал о том, что они создают Summa ∑, zk proof of solvency для CEXes и как это работает.

• Статья: "Слабые атаки Фиата-Шамира на современные системы доказательств": Q Dao, J Miller, O Wright, P Grubbs".

Загадки для любопытных 🧩

• Alex Stokes интересуется: "кто-нибудь написал "blobber" сервис для EIP-4844?".

• Alex Stokes интересуется: "Криптографы, насколько еретично раскрывать сложение и (скалярное) умножение эллиптических кривых как подмножества интерфейса для многоскалярного умножения?".

Спасибо, что читаете 5-й выпуск ZK-Roller-Coaster. Увидимся через две недели! 🚵‍♀️

Присоединяйтесь к нам 💗

Изучите открытые вакансии на нашей доске объявлений.

Следуйте за нами 🥁

Чтобы быть в курсе последних новостей от Taiko:

• Website: https://taiko.xyz

• Discord: https://discord.gg/taikoxyz

• GitHub: https://github.com/taikoxyz

• Twitter: https://twitter.com/taikoxyz

Translated by: perfeect & igorizuchaetcrypty

Исследования и разработки

ZK-EVM

• Интеграция основных схем zkEVM в протокол

• Обновление схемы публичного входа для соответствия последнему протоколу Taiko

• Рефакторинг/оптимизация схемы MPT

• Улучшение поддержки недействительных транзакций

• Улучшения API Halo2

• Создание коллекции инструментов для работы со схемами

• Прогресс в реализации схемы KZG

• Прогресс в реализации/оптимизации схемы Blake2

• Базовая схема сжатия

Клиент & Testnet

• Исправлена проблема с обработкой L1 reorg в клиентском драйвере

• Добавлено больше метрик и улучшена система мониторинга

• Обновлено клиентское программное обеспечение / go-ethereum на основе нового дизайна протокола

• Мигрировали на новую облачную платформу

• Запущена внутренняя сеть devnet

Мост

• Мы внесли значительные улучшения в Bridge, такие как интеграция частичного доказательства Меркла для проверки сигналов/сообщений. Это усовершенствование позволило резко сократить количество газа, необходимого для межцепочечных транзакций, что привело к повышению эффективности и рентабельности.

• В настоящее время мы находимся в процессе масштабной переработки пользовательского интерфейса (UI) Bridge. Цель заключается не только в улучшении пользовательского интерфейса, но и в интеграции нескольких уровней 2 и 3, способствуя большей масштабируемости и адаптируемости.

Протокол

• В этом квартале мы провели комплексную переработку протокола Taiko. Эта переработка значительно сократила потребность в верификации на цепи, и многие логики верификации, которые ранее были на цепи, теперь переходят в наши схемы. В результате получился новый протокол, который обеспечивает значительное снижение затрат на цепочке, особенно при предложении, доказательстве и проверке блоков. Предстоящая испытательная сеть Alpha-3 будет работать с использованием этого нового, более эффективного протокола.

• Стремясь к прозрачности и пониманию, мы подготовили подробный документ, объясняющий процесс доказательства блоков в Taiko. Он включает в себя описание того, как данные проходят перекрестную проверку внутри схем, наряду со спецификацией ZK-EVM от PSE. Ограничения, описанные в этом документе, включены в несколько схем, специфичных для Taiko. Первоначально это был внутренний документ, но теперь мы включили его в наш репозиторий GitHub для публичного доступа и сотрудничества.

• Мы опробовали наш первоначальный дизайн токеномики в первом квартале, и, несмотря на некоторые ошибки и ограничения функций, мы извлекли ценные уроки. Сейчас мы разработали и внедрили новую модель токеномики, которая была тщательно протестирована и будет интегрирована в тестовую сеть Alpha-3. Кроме того, мы экспериментируем с моделью токеномики на основе аукциона, направленной на стимулирование экономически эффективной генерации доказательств по сравнению со скоростью. Мы ожидаем, что функция аукциона доказательств будет готова к развертыванию в третьем квартале.

Все вышеперечисленное содержится в наших репозиториях с открытым исходным кодом. Чтобы узнать больше или внести свой вклад, посетите наш GitHub.

Операции & сообщество

Мы запустили нашу публичную тестовую сеть Alpha-2, Askja. Запуск состоялся в конце марта, и основными дополнениями к сети стали внедрение permissionless proving и экономики протокола. Это были важные функции, которые позволили получить ценные знания. Статистику и выводы можно посмотреть здесь, а окончательную статистику и уведомление об устаревании - здесь. Еще раз спасибо всем участникам тестирования во всех режимах участия. Сейчас мы приближаемся к Альфа-3.

Расширенная образовательная программа и документация

Мы продолжали фокусироваться на образовании, как на специфических для Taiko темах, так и на более широких темах по Ethereum и ZK.

Наша документация получила некоторые значительные улучшения, включая освещение таких важных концепций, как межцепочечный обмен сообщениями в Taiko.

Мы опубликовали Taiko roadmap, рассказав об основных этапах до запланированного запуска мейннета в начале 2024 года. Мы объяснили Taiko protocol и его различные недавние улучшения. Мы начали новую серию передач ZK-Roller-Coaster, выходящую раз в две недели и освещающую самые интересные новости из мира ZK и смежных областей. Мы углубились в обучение ZK, опубликовав более продвинутый материал "Что такое ZK-SNARKs и как они работают". Мы опубликовали Rollup Glossary, пригласив все сообщество роллапов внести свой вклад и помочь укрепить понятия и терминологию.

Мы пошли дальше, создав несколько пояснительных тем по таким важным понятиям, как "total anarchy" rollups, "inception layers", а также межслойная связь и мосты.

Постоянное внимание к сообществу, вкладчикам и открытости

о всем сообществе, от послов и модераторов до транзакторов testnet и исполнителей узлов - сообщество Taiko делает шаг вперед, что мотивирует нас. Расширение возможностей участников для дальнейшего развития Taiko является для нас основополагающей целью. Для этого мы улучшили наше руководство по внесению вкладов, сделали как никогда простым процесс создания первых хороших проблем и провели несколько семинаров на эту тему.

Мы продолжаем добавлять способы взаимодействия с нашим сообществом. Такие формы, как "Office Hours", "Tea with Taiko", "Community Calls" и другие. Как правило, они проходят на нашей сцене Discord, и вы можете найти некоторые записи этих сессий на нашем канале YouTube здесь. Мы также создали форум сообщества Taiko для более постоянных обсуждений, вопросов и исследований.

В нашем стремлении к эквивалентности Ethereum мы сделали все максимально открытым и прозрачным. Наша доска проектов на GitHub была открыта, что позволяет любому желающему увидеть, над чем мы работаем (и легко принять участие). Мы также выпускаем журнал изменений каждые две недели, чтобы вы могли видеть, что именно было сделано.

Посол Taiko, Umede, запустил Taiko Tuesday, еженедельный обзор всего, что происходит в Taiko. Уже зарекомендовав себя как незаменимый источник информации, вы можете ознакомиться со всеми выпусками и подписаться здесь.

Сообщество выросло до 1,7 тысяч подписчиков на GitHub, 57 тысяч+ в Twitter и 60 тысяч+ в Discord.

В экосистеме Ethereum и вокруг нее

Мы приняли участие в ETHDenver, Scaling Ethereum, ETHGlobal Tokyo и других невероятных мероприятиях экосистемы Ethereum. Встречи с коллегами-строителями заряжали нас энергией на протяжении всего квартала. Вы можете посмотреть некоторые видеопрезентации и семинары с этих и других мероприятий в этом плейлисте на YouTube. Вы также можете посмотреть некоторые записи хакатонов, проведенных строителями на Taiko, здесь и здесь.

Taiko также появился в некоторых наших любимых новостных и образовательных изданиях о Ethereum, таких как The Daily Gwei, Bankless и Week in Ethereum, среди прочих.

Команда и её расширение

Основная команда Taiko увеличилась на 6 человек и теперь насчитывает 25 человек из более чем десятка стран. Новые члены команды в основном занимаются разработкой ZK, но также включают в себя дизайн, dev ops и многое другое. Расширенная команда также увеличилась, приняв посла Умеде и модератора Качинского в ряды наших участников сообщества мирового класса. Если вы хотите присоединиться к команде на полный рабочий день, ознакомьтесь с вакансиями на нашей странице карьеры, или просто приступайте к работе. Мы также провели наш первый выездной командный семинар, на котором 20 человек встретились в Токио! О том, как это было, читайте здесь.

Благодарим вас

Это были замечательные несколько месяцев для Taiko, в которых было всего понемногу: вехи развития, тестовые сети, рост сообщества и контрибьюторов, и даже некоторое образование, строительство и сплочение команды IRL. Прогресс Taiko все больше становится усилием всего сообщества - именно так, как и должно быть для среды, которая стремится расширить Ethereum. Поэтому сердечное спасибо всем, кто помогает нам двигаться вперед. Еще многое предстоит сделать для безопасного масштабирования Ethereum, и мы благодарны вам за то, что вы с нами.

Присоединяйтесь к нам

Ознакомьтесь с открытыми вакансиями на нашей доске объявлений.

Следите за нами

Чтобы быть в курсе последних новостей от Taiko:

• Website: https://taiko.xyz

• Discord: https://discord.gg/taikoxyz

• GitHub: https://github.com/taikoxyz

• Reddit: https://www.reddit.com/r/taiko_xyz

• Twitter: https://twitter.com/taikoxy

Вклад

Внесите свой вклад в Taiko и получите GitPOAP! Вы также будете упомянуты в качестве участника в нашем README. Начните с руководства по внесению вклада.

Translated by: perfeect & igorizuchaetcrypty

Дисклеймер: это подборка твитов, записей, видео и других материалов; они не выражают нашего мнения и могут быть не обязательно точными. Пожалуйста, проводите (или продолжайте) свои собственные исследования.

Держитесь крепче! 🎢

Острота недели 🌶️

• Gitcoin объявил о новом подходе к разнообразию проектов: "50% команды проекта должны отражать разнообразие сообщества, которое они обслуживают".

Сообщество настроено довольно скептически: "Кто-то должен просто форкнуть gitcoin". "Печально видеть, что Gitcoin фокусируется на таком искаженном, ориентированном на США взгляде на мир". "...настоящая инклюзивность - это предоставление поддержки L2, чтобы люди, которые не могут позволить себе потратить 50$ tx fees на пожертвования, могли участвовать и оказывать поддержку проектам..." (во время этого раунда Ethereum gas fees довольно высоки, сообщество подчеркивает, что L2 поддержка необходима для пожертвований);

Исследование ZK и Rollups 🧙

• Статья о PBS и его влиянии на правило выбора форка от constexpr.eth и Georgios Konstantopoulos, thread Toni Wahrstätter.

• Статья "Ethereum L1 zkEVM" от polynya.

• ethresearch: Межслойная коммуникация: Тривиально доказуемый и эффективный доступ на чтение к родительской цепочке от Brecht Devos.

• zkResearch: Sangria, вдохновленная Fast-Fourier, от Igor Gulamov.

• zkResearch: Выполнение финального доказательства Sangria в экранированном режиме на недоверенном стороннем провере, Igor Gulamov.

• Исследовательская работа "ProtoStar: Generic Efficient Accumulation/Folding for Special Sound Protocols" основателей Espresso Systems, thread с резюме Benedikt Bünz и disclaimer "это просто крутое исследование, мы не создаем свой собственный zk-роллап в Espresso" Ben Fisch.

• Обновление для упомянутой выше исследовательской работы "ProtoStar: Generic ...", предложенное Ariel Gabizon, для оптимизации протокола таким образом, чтобы можно было сохранить log(n) хэшей в рекурсивных схемах для ворот высокой степени.

• Maxim Vezenov (zk eng of Noir) поделился примером рекурсивной схемы в текущем PoC, сказав: "Мы будем создавать инструментарий вокруг рекурсии, чтобы обеспечить простое взаимодействие схем".

• Thread с исследованием комбинации MEV и Eigenlayer от Grace Deng.

• Версия Merkle Trees под названием Merkle Sum Trees была неожиданно обнаружена high_byte.

• Thread: почему инженеру по криптографии полезно понимать суть доказательств безопасности - автор Kobi.

• Сообщение о проблеме "proof overflow" и thread от Andy Arditi.

• ethresearch: Децентрализованные MEV-реле: Повышение безопасности с помощью доказательств нулевого знания от Brandon.

• ethresearch: Функция оповещения о звучности для zk-роллапов от Николя Лиошона.

Обновления ZK и rollups🎈

• Aztec анонсировал Aztec - первый в истории гибридный zkRollup, позволяющий выполнять как публичные, так и частные смарт-контракты в одной среде.

• Taiko анонсировала обновленный дизайн протокола.

• Компания Dymension объявила о создании EVM Rollup с поддержкой IBC.

• Franklin Templeton выбрала компанию Polygon для размещения Franklin OnChain U.S. Government Money Fund, первого американского взаимного фонда, работающего на блокчейне.

• Polygon представила Polygon Bridge для Polygon ZK-EVM.

Основные моменты, не относящейся к ZK 🎡

• Последний шанс объединить PoW частные сети с Geth с помощью маячковой сети. Geth скоро откажется от поддержки PoW.

• Компания Circle (USDC) запустила свой протокол межцепочечной передачи данных (CCTP): USDC cross-chain bridging без cross-chain bridges.

• Подробности о следующем обновлении Ethereum, Cancun.

• Питер предлагает прекратить работу Ethereum-тестнета Rinkeby 1 июня 2023 года.

• Paradigm выкладывает в открытый доступ Artemis, фреймворк для написания MEV-ботов на языке Rust.

Возможности 🏄‍♀️

• ETHGlobal Lisbon состоится 12-14 мая.

• Акселератор LongHashX с нетерпением ждет начала #zkSummer.

• Компания Aleo запустила инициативу, направленную на ускорение развития области машинного обучения с нулевыми знаниями, предлагая 280 тыс. кредитов Aleo разработчикам, стремящимся сформировать будущее ML.

• Writers Cohort Ethereum.org стартует 11 мая.

Читаем и смотрим 🎞

Общие

• Статья "Исследование задержек MEV".

• Статья "SUAVE, Anoma, Shared Sequencers, & Super Builders".

• Подкаст "Будут ли роллапы использовать общие секвенсоры?".

• Подкаст "zeroknowledge.fm Эпизод 273: История Plonk, Noir и создание Aztec 3".

• Статья "How ZkEVM Could Help Power The Next Industrial Revolution".

• Статья "Выборка доступности данных и данкшардинг: Обзор и предложение по улучшению".

• Метакаст "Лучшие криптоподкасты апреля 2023 года".

Причудливая математика, криптография и квантовая физика

• Статья "Обзор аппаратного обеспечения: GPU, FPGA и доказательства нулевого знания".

• porter поделился своими любимыми книгами по ZK.

• E, обобщив ключевые идеи по IVC и схемам складывания -Nova, SuperNova, HyperNova, ProtoStar, Sangria & Origami.

• Thor Kampefner поделился своими слайдами с выступления на тему "Случайность и сложность".

• Подкаст zeroknowledge.fm "Эпизод 274: SNARKs: Трилогия с ******** Ariel Gabizon".

• Диссертационная беседа с Titouan Tanguy о его исследовании "Безопасные многосторонние вычисления: Протоколы и приложения".

• Brandon сказал, что Tom 7 "только что выяснил, как написать zkVM, написав эмулятор процессора, используя только линейные инструкции с плавающей запятой".

• Улучшение производительности ECC-подобной выборки с помощью приближенной тензорной факторизации.

Загадки для любопытных 🧩

• Самое важное в управлении Ethereum (по данным trent.eth): Нумерация EIP должна быть переосмыслена!

• Lúcás Meier интересуется: "Какой хороший способ действительно заняться алгебраической геометрией"?

• Alexey Shekhirin интересуется "Кто-нибудь измерял время, затрачиваемое на различные компоненты mev-boost relay во время API-запросов?"

• Pratyush Mishra интересуется "Сколько пользовательских гейтов обычно имеют современные схемы plonk?".

• leo21.sismo.eth интересуется "Есть ли список совместимых сетей для snarkjs Groth16 Verifier"?

Спасибо, что прочитали 4-й выпуск ZK-Roller-Coaster. Увидимся через две недели! 🚵‍♀️

Присоединяйтесь к нам 💗

Изучите открытые вакансии на нашей доске объявлений.

Следуйте за нами 🥁

Чтобы быть в курсе последних новостей от Taiko:

• Website: https://taiko.xyz

• Discord: https://discord.gg/taikoxyz

• GitHub: https://github.com/taikoxyz

• Twitter: https://twitter.com/taikoxyz

Translated by: perfeect & igorizuchaetcrypty

Taiko следует подходу "децентрализованный с первого дня". Ниже приводится описание протокола.

Протокол Taiko состоит из трех этапов: предложение блока, validation и proving.

TLDR:

• Taiko - это Type-1 ZK-EVM, что означает, что он эквивалентен Ethereum. То есть, он реализует спецификации Ethereum Yellow Paper;

• Выполнение блока детерминировано, как только блок добавляется в предложенный список блоков. То есть все его свойства неизменны с этого момента;

• Как proposers, так и provers не имеют прав доступа. Любой может начать и прекратить работу предлагающего и доказывающего узла, когда пожелает;

• Метаданные блока проверяются, когда блок предлагается. Prover не имеет никакого влияния на то, как выполняется блок и каково состояние после блока;

• Доказательство может быть сгенерировано после того, как блок проверен на валидность и известно состояние его родительского блока.

Этап 1: block proposal

Любой человек может запустить Taiko proposer. Клиент Taiko (proposer) отслеживает пул памяти сети Taiko на предмет подписанных и отправленных транзакций.

L2 tx fee = L2 EIP-1559* base fee + L1 tx fee + prover fee + proposer fee**

*Под платой EIP-1559 мы подразумеваем, что плата L2 tx делится на (i) плату за сеть L2 (базовую плату) и (ii) плату за выполненную работу (проверам, пропперам, L1). Плата L2 EIP-1559 = L2 EIP-1559 чаевые (идет проверяющему) + L2 EIP-1559 базовая плата (идет в Taiko DAO).

**Работа пропозиционера - включение и упорядочивание транзакций в блок. Для этого комиссии L2 (за исключением базовой комиссии L2 EIP-1559) собираются на счет предлагающего на L2. Комиссия L1 tx и комиссия prover оплачиваются с их счетов на L1. Таким образом, комиссия проппера = L2 EIP-1559 tip fee - L1 tx fee - prover fee. Автор предложения может потерять деньги, если комиссии за чаевые L2 EIP-1559 не хватает для оплаты комиссии L1 tx и prover.

После того как организатор собрал достаточное количество транзакций, предположительно включая и упорядочивая их с целью получения (максимальной) прибыли, он создает блок. Прибыль означает, что для предлагающего сумма комиссий за транзакции (L2 tx fees) от блока больше, чем L1 tx fee + prover fee + EIP-1559 base fee.

Proposer определяет последовательность транзакций в блоке. Когда блок построен, proposer отправляет транзакцию proposeBlock (блок = список транзакций + метаданные) непосредственно в Ethereum через контракт TaikoL1. Между узлами L2 не существует консенсуса, но есть некоторое сетевое взаимодействие между узлами L2 (синхронизация, обмен транзакциями и т.д.) Однако порядок блоков Taiko на Ethereum (L1) определяется узлом Ethereum.

Все остальные proposers могут также следить за мемпулом транзакций L2 и определять предложенные блоки Taiko в ожидающих транзакциях L2 proposeBlock.

Многие блоки предлагаются параллельно и становятся ожидающими в мемпуле Ethereum. Однако Taiko поддерживает только ограниченное количество слотов (например, 10 240) для непроверенных блоков (как предложенных, но не подтвержденных, так и подтвержденных, но не подтвержденных) на уровне исполнения Ethereum и использует их повторно, чтобы минимизировать плату за предложение блока.

Выполнение блока детерминировано. Когда блок предлагается, данные блока публикуются на Ethereum, и блок добавляется в список предложенных блоков, хранящийся в контракте TaikoL1. После этого все свойства блока становятся неизменными.

Все узлы Taiko подключаются к узлам Ethereum и подписываются на блокчейн-события Ethereum. Когда предложение блока Taiko подтверждается, блок добавляется в очередь на L1 в контракте TaikoL1. Затем узлы Taiko могут загружать эти блоки и выполнять действительные транзакции в каждом блоке. Узлы Taiko отслеживают, какие блоки L2 подтверждены, подписываясь на другое событие TaikoL1 на Ethereum.

Этап 2: block validation

Блок состоит из списка транзакций (txList) и метаданных. Список txList блока L2 в конечном итоге (когда EIP-4844 начнет работать) станет частью блоба на уровне консенсуса L1 (CL). Однако txList не доступен напрямую для контрактов L1. Поэтому ZKP должен доказать, что выбранный txList является фрагментом данных данного блока.

Блок считается действительным, если он соответствует нескольким критериям:

• Имеет размер в байтах меньше, чем K_maxBobSize (также обеспечивается в контрактах);

• Может быть RLP-декодирован в список транзакций без пробелов;

• Содержит не более транзакций (действительных и недействительных), чем константа протокола K_BlockMaxTxs;

• Имеет общий лимит газа для всех действительных транзакций, не превышающий константу протокола K_BlockMaxGasLimit плюс config.anchorTxGasLimit.

Как только блок предложен, клиент Taiko проверяет, декодируется ли блок в список транзакций; если список txList не декодируется, то блок является пустым блоком, содержащим только якорный tx.

Клиент Taiko проверяет каждую вложенную транзакцию и генерирует tracelog для каждой транзакции, чтобы проверяющий мог использовать его в качестве данных свидетеля. Если tx недействителен, он будет отброшен.

Транзакция считается недействительной, если:

• Имеет недействительную подпись транзакции;

• имеет недействительный nonce транзакции (отличный от текущего nonce счета отправителя);

• На счету недостаточно ETH для оплаты eth_value + tx_gaslimit * tx_gas_price;

• На счете отправителя развернут код контракта (EIP-3607);

• Лимит газа меньше, чем собственный газ, g0, используемый транзакцией.

Блок Taiko L2

• Первая транзакция в блоке Taiko L2 всегда является якорной транзакцией.

Транзакция привязки содержит некоторые дополнительные данные, недоступные непосредственно самому ZK-EVM.

ZK-EVM охватывает

• Transaction proof для каждой транзакции (как в Ethereum);

• State Proof == MPT state trie (полное доказательство всех обновлений состояния в блоке);

• Execution Proof == байткод EVM (при правильных входных данных получаются правильные выходные данные).

Таким образом, транзакция закрепления проверяет

• 256 хэшей последних блоков (которые не являются частью Merkle Tree);

• идентификатор цепочки L2 и базовый взнос EIP-1559.

Этап 3: block proving

Блок может быть доказан, как только

1. Выполнены все вложенные валидные транзакции в этом блоке (сгенерирована необходимая трасса выполнения для вычисления ZKP);

2. Известно состояние его parent block’s.

Доказательство доказывает переход от состояния parent блока к состоянию нового блока.

Блок верифицирован, если

1. Его родительский блок верифицирован;

2. существует допустимый ZKP, доказывающий переход от состояния родительского блока к состоянию текущего блока.

Любой может запустить prover.

Поскольку выполнение блока детерминировано, все клиенты Taiko могут вычислить состояние после блока. И никто не знает о последнем состоянии больше, чем кто-либо другой. Более того, для пользователей L2 транзакция подтверждается сразу после предложения блока. То есть, нет необходимости ждать ZKP.

Provers могут представлять доказательства для любого блока, который им нравится. Несколько provers могут работать параллельно для создания ZKP для одного или нескольких блоков Taiko, но только первый proof будет принят для любого данного перехода блока (выбор форка). Адрес, получающий вознаграждение, связан с доказательством, что предотвращает его кражу другими provers.

Oracle Prover (временно для тестовой сети alpha-3)

Чтобы гарантировать, что все активы пользователей находятся в безопасности и все транзакции на блокчейне действительны, даже если есть ошибки в генерации доказательств, протокол Taiko на данный момент вводит oracle prover.

Проверяющий оракул проверяет все переходы состояния (путем запуска узла для прогона всех транзакций в блоке) и может отменять существующие переходы состояния (выбор развилки), которые были доказаны обычными проверяющими. Окно охлаждения составляет 5 минут (время планируется для следующего тестнета).

Представьте, что хэш родительского блока A. Тогда хэш нового блока должен быть B. И выбор развилки должен быть A → B. Но если в системе доказательств есть ошибка, может быть возможно сгенерировать корректное доказательство для A → C.

В этом случае проверяющий-оракул видит, что A → C неверно, и сообщает протоколу, что A должен перейти к B, а не к C. Затем обычный проверяющий генерирует новое доказательство для A → B.

Примечание: oracle не может prove/verify блоки напрямую и, следовательно, не может изменить состояние цепи. Поэтому для доказательства переопределенного выбора развилки все равно требуется настоящий ZKP.

Присоединяйтесь к нам 💗

Изучите открытые вакансии на нашей доске объявлений.

Следуйте за нами 🥁

Чтобы быть в курсе последних новостей от Taiko:

• Website: https://taiko.xyz

• Discord: https://discord.gg/taikoxyz

• GitHub: https://github.com/taikoxyz

• Twitter: https://twitter.com/taikoxyz

Вклад 🤓

Внесите вклад в Taiko и получите GitPOAP! Вы также будете упомянуты в качестве участника в нашем README. Начните с руководства по внесению вклада.

Translated by: perfeect & igorizuchaetcrypty

Дисклеймер: это подборка твитов, записей, видео и других материалов; они не выражают нашего мнения и могут быть не обязательно точными. Пожалуйста, проводите (или продолжайте) свои собственные исследования.

Держитесь крепче! 🎢

Острота недели 🌶️

• Apr 6: "проект на zkSync собрал 921 ETH ($1,7M) в ходе продажи токенов, но средства навсегда застряли в смарт-контракте" Apr 7: zksync быстро отреагировал и "нашел элегантное решение, как разморозить контракт", подчеркнув, что "Era не является EVM-эквивалентом" и "Любой смарт-контракт, использующий transfer() или send(), принимает жесткую зависимость от затрат на газ, поскольку эти функции пересылают жестко закодированное количество в 2300 газа". Однако "функция fallback() может потреблять больше, чем 2300 газа. Цена на газ Opcode может измениться в будущей версии Ethereum, и ваш контракт нарушится. Работа этой функции на Ethereum не гарантируется!".

Исследование ZK и Rollups 🧙

• Protocol Labs представили Testudo, систему доказательств R1CS с открытым исходным кодом, более быструю, чем Groth16: универсальная доверенная установка имеет размер квадратного корня, постоянный размер доказательства с композицией доказательств и молниеносная скорость для однородных цепей.

• LAGRANGE представил Lagrange State Committees, архитектуру с минимальным уровнем доверия для создания индуктивных доказательств состояния с нулевым знанием для произвольных цепей и сверток.

• EIP-3361: eth_signMessage, предложенный pedrouid для уменьшения фрагментации как децентрализованных приложений, так и кошельков в отношении методов JSON-RPC для запроса подписей сообщений.

• Thread: Начальные слои; повторно используемое и расширяемое масштабирование: он же "Используйте Taiko как L2 и разверните точную кодовую базу как L3 сверху." с последующим объяснением "встроенной" произвольной передачи сообщений (автор Matt Finestone).

• zkresearch: Towards a Nova-based VM (авторы oskarth, CPerezz.eth, Chiro Hiro, alephv.eth и Nalin).

• polynya’s tweet: "У криптовалют может быть всего несколько лет, чтобы стать квантово-устойчивыми".

• zkresearch: Folding endgame (by levs57).

• Однослайдовое изображение прогресса в пространстве лаконичных (с нулевым знанием) аргументов ("ZK") от Srinath Setty.

• Идеи гибридных приложений и локального консенсуса от polynya.

• Добро пожаловать zkFHE: конфиденциально запустить проверяемые вычисления на частных данных в открытом доступе от emiliano.oO.

• Короткий thread о sumcheck от Ariel Gabizon.

• ethresearch: как использовать zk-vms с Edge Computing Architectures в Ethereum (автор Wanseob Lim).

• ethresearch: Доказательство цепочки хэшей с помощью plonky2 (автор Garvit).

• ethresearch: Определение zkOracle для Ethereum (автор msfew / Suning Yao).

• collective.flashbots: Обеспечение защиты пользователей и доходов от ролловера с помощью Radius и MEV-Boost (автор Tariz).

Обновления ZK и rollups🎈

• Magi, новый ролл-ап клиент OP Stack, написанный на Rust, представленный ncitron.eth.

• Представлен Hashi: агрегатор оракулов для блокчейн-мостов.

• EigenLayer объявила о выпуске тестовой сети для первого этапа протокола EigenLayer, который поддерживает жидкий и нативный рестейкинг.

Основные моменты, не относящейся к ZK 🎡

• CoW Swap в сотрудничестве с beaverbuild и Agnostic Relayer анонсировали MEV Blocker, бесплатную конечную точку RPC, которая платит пользователям за защиту от MEV в самых разных сценариях использования в DeFi, NFTs и dApps.

• Бета-версия MEV-Share находится в прямом эфире в Ethereum mainnet.

Возможности 🏄‍♀️

• Taiko (Type-1 ZK-EVM) ищет старшего Senior Blockchain Full-Stack Engineer (Solidity/Svelte), Zero-Knowledge Circuit Engineer (Rust), Business Development Manager и Developer Relations Engineer.

• Espresso (Shared Sequencer) ищет руководителя экосистемы и руководителя сообщества/маркетинга.

• 24 апреля - твиттер-чат с Jon Charbonneau.

• Готовьтесь к Devconnect Istanbul 2023! Оставьте дату: 13-19 ноября 2023 года.

• Flashbots ищет участников исследований в области программируемой конфиденциальности и разделения потока заказов.

Читаем и смотрим 🎞

Общие

• Подкаст "Shared Sequencers Are Coming" с Ben Fisch из Espresso Systems.

• zkpod.ai - небольшой забавный проект, который может стать отличным ресурсом для новичков в zk или людей, которые хотят быстро получить информацию по темам zk, которым делится Mario, исследователь Taiko ZK.

• L2 peace talk - одна цель, разные видения от Starknet, Scroll, Polygon ZK-EVM, Arbitrum, LambdaClass, Optimism, zksync, и Consensys.

• Подкаст zeroknowledge.fm "Как FHE и ZKPs подходят друг другу".

• long read "Сдержки и противовесы: Машинное обучение и доказательства нулевого знания" от a16zcrypto.

Причудливая математика, криптография и квантовая физика

• Статья, объясняющая PLONKish ZK-SNARK, написанная ALeksei Vambol and Lisa A. | bot.

• Доклад о Nova/SuperNova от Srinath Setty.

• ZK Hardware Table Stakes часть 1 - MSM от Ingonyama.

• Видео с zkSummit9 выложено!

Загадки для любопытных 🧩

• Alex Stokes интересуется: у кого есть лучшая "великая теория последовательности блокчейна"?

• James Prestwich из Nomad интересуется: "в каких отношениях совместное секвенирование не является тем же самым роллапом?" и приводит ответы в твите.

Спасибо, что прочитали 3-й выпуск ZK-Roller-Coaster. Увидимся через две недели! 🚵‍♀️

Присоединяйтесь к нам 💗

Изучите открытые вакансии на нашей доске объявлений.

Следуйте за нами 🥁

Чтобы быть в курсе последних новостей от Taiko:

• Website: https://taiko.xyz

• Discord: https://discord.gg/taikoxyz

• GitHub: https://github.com/taikoxyz

• Twitter: https://twitter.com/taikoxyz

Translated by: perfeect & igorizuchaetcrypty

Оглавление

Введение

1. Определение ZK-SNARK

2. Свойства ZK-SNARKs

3. Системы доказательств ZK-SNARK PLONKish

   3.1 ZK-SNARK ПЛОНКИША вкратце и их роль

   3.2 Схемы обязательств

   3.3 Interactive Oracle Proof

   3.4 Эвристика Фиата-Шамира

   3.5. Как работают системы доказательств PLONKish ZK-SNARK

   3.6 Немного о расширенных аспектах PLONKish ZK-SNARK

Ссылки

Введение

ZK-SNARK - это криптографическая система доказательства. Она позволяет доказать правдивость какого-либо утверждения без раскрытия другой информации.

ZK-SNARKs полезны в нескольких областях и приложениях, таких как блокчейн и проверяемая вычислительная техника. Одним из ярких примеров применения блокчейна является ZK-Rollups.

ZK-Rollups - это layer-2 блокчейны, построенные на основе других блокчейнов (например, Ethereum), которые используют ZK-SNARKs (или другие криптографические системы доказательств) для подтверждения правильности переходов состояния. То есть, при каждом новом обновлении сети (когда добавляется новый пакет транзакций), вычисляется новое состояние сети и генерируется доказательство его правильности. Важно отметить, что только одно существо должно сгенерировать это доказательство, после чего кто угодно может убедиться в его правильности.

Желаемые свойства, которые обеспечивают ZK-Rollups, обычно связи с (i) масштабируемостью и/или (ii) сохранением конфиденциальности. Когда масштабируемость - единственное желаемое свойство, ZK-Rollups иногда называются validity rollups.

Для вычисления доказательства в ZK-Rollups, предназначенных для масштабирования Ethereum EVM, используется ZK-EVM. По строгому определению, ZK-EVM - это набор криптографических программ (цепей), которые отвечают за генерацию доказательства Zero-Knowledge Proof (ZKP), хотя иногда в переносном смысле относится ко всему универсальному ZK-Rollup, поддерживающему EVM.

В этой статье мы подробно рассмотрим, что такое ZK-SNARK и как он работает.

1. Определение ZK-SNARK

SNARK - это краткое доказательство правдивости утверждения. Формально оно доказывает знание следов выполнения алгоритма, который дает правильное решение определенной проблемы. Более точно, оно подтверждает знание неоткрытых и неизменных значений следа выполнения. Эти значения в целом обычно называются свидетельством. Элементы свидетельства, которые являются частями входа алгоритма, составляют независимые свидетельства, поскольку они существуют до выполнения алгоритма и не определяются другими элементами следа выполнения. Публичные неизменные значения следа выполнения, которые определяют экземпляр проблемы, решенный алгоритмом, мы называем открытыми утверждениями.

ZK-SNARK означает Zero-Knowledge Succinct Non-Interactive Argument of Knowledge.

S - краткое

Краткое означает, что доказательство должно быть «коротким», а время проверки - «быстрым»:

• «Коротким» доказательством означает, что размер доказательства является сублинейным относительно размера свидетельства.

• "Быстрое" время проверки означает, что время работы верификатора должно быть (i) сублинейным по отношению к размеру свидетеля и (ii) линейным по отношению к публичному заявлению.

Но на самом деле мы хотим, чтобы он был не просто "кратким", а "полилогарифмическим".

Это означает, что размер доказательства и время проверки практически не зависят от размера свидетеля.

1. Размер доказательства π не рсти быстрее, чем некоторая константа, умноженная на квадрат логарифма размера свидетельства w (для достаточно большого w):

Размер доказательства зависит от конкретного протокола ZK-SNARK. Для Plonky2 он составляет O(log^2(|w|), но это "худший" случай. Например, для классических протоколов PLONK и Groth16 размер доказательства составляет O(1), т.е. константу.

2. Время проверки t_v должно расти не быстрее, чем некоторая константа, умноженная на квадрат логарифма размера свидетеля w, и линейно зависеть от размера открытого высказывания x (для достаточно больших x и w, когда только один из них меняет свой размер):

N - Non-Interactive - генерация доказательства выполняется без получения каких-либо данных от проверяющего.

ARK - Argument of Knowledge - аналогично обычному доказательству, но обоснованность сохраняется только для полиномиально ограниченного проверяющего, в то время как в доказательстве обоснованность сохраняется для вычислительно неограниченного проверяющего. Понятие состоятельности мы обсудим в следующем разделе.

ZK - Zero-Knowledge - неразглашение информации о свидетеле.

2. Свойства ZK-SNARKs

Существует три основных свойства ZK-SNARK, которые рассматриваются ниже.

• Полнота: Если проверяющий знает правильный след выполнения алгоритма, то проверяющий должен быть убежден, что проверяющий обладает этим знанием.

• Достоверность знаний: Доказатель может убедить верификатора в том, что знает правильный след выполнения, только если он действительно знает его, за исключением некоторой очень малой вероятности.

• Нулевое знание: Проверяющий не знает о трассе выполнения ничего, кроме того, что она верна.

3. Системы proofs PLONKish ZK-SNARK

3.1 ZK-SNARKs PLONKish в двух словах и их роль

Чтобы быть примененной к некоторому алгоритму, система доказательства ZK-SNARK должна знать систему уравнений над конечным полем, которые описывают отношения между значениями в таблице трассы выполнения этого алгоритма (структура данных для хранения трассы выполнения) способом, достаточным для гарантии целостности вычислений. Язык, используемый для выражения этой системы уравнений (также называемой системой ограничений), называется арифметизацией.

Системы доказательств PLONKish ZK-SNARK используют арифметизации с большей выразительной силой по сравнению со старыми системами доказательств. Первые позволяют использовать уравнения системы ограничений в виде произвольных полиномов от ограниченных переменных, в то время как в старых системах доказательств (т.е. основанных на R1CS) эти уравнения имеют вид линейных и квадратичных полиномов. Эта особенность систем доказательства PLONKish ZK-SNARK благотворно влияет на эффективность вычислений проверяющего и облегчает применение ZK-SNARK к различным алгоритмам. В результате, в последнее время появилось множество PLONKish ZK-SNARK доказательных систем: классический PLONK, Halo2, Kimchi, Plonky2, HyperPlonk и др.

В Taiko мы используем вариант системы доказательств Halo2, основанный на полиномиальной схеме обязательств KZG.

Система доказательств PLONKish ZK-SNARK состоит из трех компонентов:

Ниже мы подробно рассмотрим каждый компонент.

3.2 Схемы обязательств

Схема обязательств позволяет пользователю опубликовать значение, называемое обязательством, которое связывает пользователю с сообщением, не раскрывая его. Позже человек может открыть обязательство и раскрыть обязательство или некоторую его часть верификатору, который может проверить, что раскрытая информация соответствует обязательству.

Разные авторы описывают разное количество алгоритмов, составляющих схему обязательств. Однако мы должны упомянуть, по крайней мере, четыре из них:

1. Установка: принимает некоторые начальные параметры в качестве входных и генерирует параметры установки. Установка определяет (i) какие объекты мы берем на себя обязательства (например, для схем обязательств с одномерными полиномами мы указываем поле коэффициентов и максимальную степень для полиномов, которые мы берем на себя обязательства) и (ii) уровень безопасности в битах. Мы можем кратко определить уровень безопасности следующим образом: криптосистема имеет n-битный уровень безопасности, если ее взлом требует O(2^n) времени.

2. Commit: производит обязательство сообщения в соответствии с параметрами установки.

3. Частичное открытие: производит частичное доказательство вскрытия, специфичное для выбранной части сообщения (например, значение фиксированного одномерного многочлена для некоторого аргумента) и установочных параметров.

4. Проверка: использует доказательство частичного вскрытия и параметры установки для проверки того, является ли информация, раскрытая проверяющим, указанной частью сообщения, которая соответствует указанному обязательству.

*Для некоторых схем обязательств алгоритм "установки" и "открытия" может отсутствовать (например, в случае использования хэш-функции для фиксации больших чисел).

Схема обязательств должна обладать следующими свойствами:

• Связывание: как только проверяющий принял на себя обязательство по конкретному сообщению, он привязывается к сообщению, по которому принял обязательство;

• Скрытие: обязательство не раскрывает ничего о сообщении. Скрытие может быть совершенным, когда доказательство частичного открытия не раскрывает никакой информации о невопрошаемой части сообщения (например, обязательства KZG), или несовершенным, когда доказательство частичного открытия раскрывает некоторую часть вышеупомянутой информации (например, полиномиальные обязательства на основе FRI).

Схемы обязательств можно разделить на несколько типов в соответствии с целевыми объектами:

1. Одноэлементные обязательства;

2. Множественные обязательства;

3. Векторные обязательства;

4. Полиномиальные обязательства.

Полиномиальные схемы обязательств - единственный тип, который непосредственно используется в системах доказательства PLONKish ZK-SNARK. Одномерные полиномиальные схемы обязательств имеют большое значение для вышеупомянутых систем доказательства (например, классический PLONK, Halo2, Kimchi, Plonky2 и т.д.). Однако в настоящее время появляются некоторые новые подходы к ZK-SNARK PLONKish, основанные на многолинейных полиномиальных обязательствах (например, HyperPlonk).

Для формального и подробного объяснения схемы обязательств вы можете прочитать эту статью Аникета Кейта, Грегори М. Заверуча и Яна Голдберга. Также в ней представлена полиномиальная схема обязательств KZG, используемая как в классическом PLONK, так и в варианте Halo2, используемом Taiko.

Для формального и подробного объяснения полиномиальной схемы обязательств вы можете ознакомиться с этой статьей Александра Власова и Константина Панарина.

3.3 Интерактивное Oracle Proof

Интерактивное Oracle Proof - это интерактивное доказательство, в котором проверяющий имеет "oracle access" к сообщениям проверяющего, может вероятностно запрашивать их и не обязан читать все сообщение проверяющего.

Формальное и подробное объяснение Interactive Oracle Proof (IOP) можно найти в этой статье Эли Бен-Сассона, Алессандро Кьеза и Николаса Спунера.

3.4 Эвристика Фиата-Шамира

Fiat-Shamir heuristic предоставляет способ преобразования интерактивного аргумента (публичных монет) в non-interactive аргумент. Интуитивно понятно, что идея состоит в том, чтобы заменить случайные вызовы проверяющего хэшем предыдущих сообщений проверяющего, но точные детали обычно не уточняются.

Протокол *Public-coin - это протокол, в котором верификатор посылает только случайные элементы.

3.5 Принцип работы систем доказательств PLONKish ZK-SNARK

В системах доказательства ZK-SNARK знание свидетеля доказывается с помощью модифицированного подхода Interactive Oracle Proof, который использует полиномиальные обязательства для обеспечения доступа оракула к сообщению проверяющего и делается неинтерактивным с помощью Fiat-Shamir Heuristic. В этом разделе мы подробно объясним данную конструкцию.

Напомним, что применение системы доказательств ZK-SNARK к некоторому алгоритму требует построения соответствующей системы ограничений. Чтобы иметь возможность ее построить, мы определяем структуру таблицы трассировки выполнения для данного алгоритма и значения констант в ней. Мы используем термин "circuit" для обозначения совокупности таблицы трассировки выполнения, заполненной только константами и соответствующей системой ограничений. Чтобы сгенерировать ZK-SNARK доказательство для экземпляра выполнения некоторого алгоритма, необходимо синтезировать для него экземпляр схемы, который представляет собой схему алгоритма с соответствующим экземпляром таблицы трассировки выполнения (т.е. таблицы, в которой заданы значения констант, свидетелей и публичных утверждений).

Рассмотрим структуру таблиц трассировки, используемых в системах доказательства PLONKish ZK-SNARK. Все столбцы в такой таблице принадлежат к одному из трех типов, которые мы называем в соответствии с терминологией, используемой в Halo2, и описываем следующим образом:

1. Фиксированные столбцы - их ячейки содержат константы таблицы трассировки выполнения;

2. Колонки экземпляров - они используются для хранения значений публичных утверждений;

3. Колонки Advice - в них хранятся все свидетельские данные (включая независимые свидетельские значения и секретные результаты вычислений).

Подводя итог, отметим следующее:

Таблица трассировки выполнения (PLONKish) = фиксированные колонки + колонки экземпляров + колонки советов;

Контур = таблица трассировки исполнения, заполненная только константами + система ограничений;

Экземпляр схемы = схема + свидетель в ее таблице + публичное утверждение в ее таблице;

Синтез: (схема, публичное утверждение, независимые значения свидетелей) → экземпляр схемы;

Применение системы доказательства ZK-SNARK к некоторому алгоритму = описание схемы + определение процедуры синтеза.

Почему термин "схема" широко используется в данном контексте? Первоначально, когда были доступны только системы доказательств ZK-SNARK на основе R1CS, было удобно представлять систему ограничений в виде арифметической схемы над конечным полем, выход которой должен быть равен нулю. Мы утверждаем, что термин "схема" в контексте ПЛОНКИШ СНАРК используется скорее по историческим причинам. В любом случае, давайте кратко рассмотрим арифметические схемы, используемые для старых ZK-SNARK.

Арифметическая схема, используемая для ЗК-СНАРК на базе R1CS, определяет n-переменный многочлен над конечным полем с рецептом оценки. Первоначально он представлен в виде направленного ациклического графа (DAG):

Это включает в себя

• Открытые входы x, которые используются для указания значений публичных показаний;

• секретные входы w, которые используются для указания значений независимых свидетелей;

• Арифметические ворота, которые обозначают сложение и умножение над конечным полем.

Рассмотрим пример арифметической схемы над полем рациональных чисел.

1. Мы начинаем снизу графа с самых низких ворот, то есть (2 x 4 = 8) и (4 + 11 = 15), и сохраняем эти значения как промежуточные;

2. Затем мы переходим на один ряд выше (во второй ряд) и вычисляем сумму двух промежуточных значений (которые мы получили на предыдущем этапе), то есть (8 + 15 = 23);

3. А так как у нас всего трое ворот, и мы прошли через все из них, то 23 - это наш конечный выход.

После того, как система доказательства PLONKish ZK-SNARK синтезирует экземпляр схемы, каждый столбец таблицы трассировки выполнения экземпляра кодируется в виде полинома над конечным полем следующим образом. Пусть C_j(x) - многочлен, описывающий j-й столбец, а ω - примитивный 2^k-й корень из единицы, где k выбирается таким образом, чтобы 2^k было немного больше начальной высоты экземпляра этой таблицы. Экземпляр таблицы заполняется случайными строками (с ненулевыми ячейками только в столбцах совета), чтобы состоять из 2^k строк, а C_j(ω^i) устанавливается равным значению в i-й строке j-го столбца данного экземпляра таблицы. Роль прокладки для свойства нулевого знания будет объяснена позже.

Утверждение "ω является примитивным 2^k-м корнем из единицы" означает, что ω^(2^k) = 1 и для любого положительного целого числа t, которое меньше 2^k, имеем ω^t ≠ 1.

Система ограничений преобразуется в форму полиномиального уравнения путем замены переменных в ней на соответствующие полиномы, полученные из полиномов столбца путем замены "x умножить на ω до определенной степени" на x.

Например, рассмотрим уравнение системы ограничений s(i) * (a(i) * b(i) - c(i+1)) = 0. Это означает, что a(i) * b(i) должно быть равно c(i+1), если s(i) ненулевое. Здесь a, b и c - столбцы совета, s - фиксированный столбец, а i - номер текущей строки.

Это ограничение может быть применено ко всем 2^k строкам следующим образом. Пусть S(x), A(x), B(x) и C(x) - столбцов многочлены для столбцов a, b, c и s, соответственно. Таким образом, мы хотим

что означает, что все элементы этого множества должны быть корнями S(x) * (A(x) * B(x) - C(x * ω)). Следовательно, этот многочлен должен быть кратен на

поскольку ω - примитивный 2^k-й корень из единицы.

Z(x) = x^(2^k) - 1 называется "исчезающим многочленом", поскольку он равен 0 для всех x, являющихся элементами циклической мультипликативной группы, порожденной ω. Таким образом, S(x) * (A(x) * B(x) - C(x * ω)) mod Z(x) = 0 означает, что вышеуказанное ограничение верно для всех 2^k строк.

Предположим, что P_0(x), P_1(x), ..., P_m(x) - это ограничения, которые применяются ко всем 2^k строкам и имеют вид, аналогичный рассмотренному выше полиному S(x) * (A(x) * B(x) - C(x * ω)). Если α выбирается верификатором случайным образом из конечного поля, то

означает, что с подавляющей вероятностью все эти ограничения выполняются для всех 2^k строк. Из этого равенства следует, что мы можем найти многочлен T(x) такой, что

Поэтому, чтобы убедить проверяющего, что он с подавляющей вероятностью знает такое содержимое таблицы трассировки выполнения, которое удовлетворяет всем m ограничениям, достаточно показать, что для произвольно выбранного α проверяющий имеет полиномы столбца рекомендаций (участвующие в P_0(x), P_1(x), ... , P_m(x)) и полином котировки T(x), которые удовлетворяют этому полиномиальному уравнению. Верификатор может убедиться в том, что проверяющий с большой вероятностью знает эти многочлены, спросив у проверяющего значения данных многочленов в случайной точке ζ, которая выбирается верификатором среди некорней Z(x), и оценив обе стороны этого уравнения в точке ζ. Этот подход может быть обоснован с помощью леммы Шварца-Циппеля.

Чтобы сделать генерацию доказательства non-interactive, все случайные значения, которые будут генерироваться верификатором в интерактивной версии, должны быть получены с помощью эвристики Fiat-Shamir heuristic.

Для привязки проверяющего к его рекомендательным полиномам и полиномам коэффициента T(x) используется схема полиномиальных обязательств. The prover принимает на себя обязательства по этим полиномам, открывает эти обязательства на ζ (и ζ * ω^q, если некоторые ограничения затрагивают строки i и i + q) и создает proof, которое состоит из (I) этих обязательств, (II) значений полиномов на ζ (и ζ * ω^q, если это требуется) и (III) соответствующих открывающих proofs. На самом деле, чтобы сделать доказательство короче, используется мультиоткрытие, т.е. мы генерируем один маленький proof для значений всех точек многочленов. Таким образом, доказательство получается лаконичным.

Чтобы удовлетворить свойству нулевого знания, строки, случайно выбранные проверяющим, добавляются к экземпляру таблицы трассировки выполнения, чтобы сделать ее высотой в 2^k строк. Эти строки имеют ненулевые ячейки только в столбцах рекомендаций, поскольку только столбцы рекомендаций содержат данные, которые мы скрываем. Это делается перед построением полиномов столбцов советов, чтобы количество пар "аргумент-значение", которые раскрываются во время открытия обязательств, было меньше количества случайно добавленных пар для каждого из этих полиномов. Таким образом, для каждого полинома столбца советов количество информации, необходимой для его восстановления, больше, чем количество информации свидетелей даже после вскрытия обязательств. Это обстоятельство приводит к нулевому знанию.

Некоторые вычисления, одинаковые для всех экземпляров схемы, выполняются на этапе предварительной обработки. Они включают в себя настройку схем полиномиальных обязательств и вычисление полиномов фиксированного столбца, а также обязательств для них. Часть данных, полученных в результате этих вычислений, которая используется верификатором, часто называется ключом верификации. Аналогичным образом можно определить понятие ключа доказательства. Лежащая в основе схемы полиномиальных обязательств схема определяет, выполняется ли доверенная установка на этапе предварительной обработки.

3.6 Немного о продвинутых аспектах PLONKish ZK-SNARK

Некоторые более продвинутые аспекты PLONKish SNARKs здесь не рассматриваются, а именно:

• Ограничения копирования: т.е. чтобы i-я ячейка столбца a была равна j-й ячейке столбца b;

• Ворота поиска: гарантия того, что значения определенных ячеек строки принадлежат некоторому множеству. Представление об этих темах требует понимания материала, описанного выше. Более подробную информацию можно найти здесь и здесь.

Ссылки

1. ZK-EVM on Rollup-glossary.vercel.app

2. Aniket Kate, Gregory M. Zaverucha, and Ian Goldberg, Constant-Size Commitments to Polynomials and Their Applications

3. Dan Boneh, Building a SNARK

4. Alexander Vlasov, Konstantin Panarin, TRANSPARENT POLYNOMIAL COMMITMENT SCHEME WITH POLYLOGARITHMIC COMMUNICATION COMPLEXITY

5. Eli Ben-Sasson, Alessandro Chiesa, and Nicholas Spooner, Interactive Oracle Proofs

6. TokenInsight Team, How to transform interactive proofs into non-interactive proofs? Fiat-Shamir Heuristic!

7. Manish Kumar Giri, Deep dive into Zero-knowledge-proof & ZK-SNARK

8. Fiat-Shamir Problems on Merlin.cool

9. Zcash Team, Lookup Argument

10. Metastate Team, On PLONK and plookup

11. ZK-SNARK on Golden.com

12. Zcash Team, Proof Systems

13. Paul Garrett, Roots of Unity

Присоединяйтесь к нам 💗

Изучите открытые вакансии на нашей доске объявлений.

Следуйте за нами 🥁

Чтобы быть в курсе последних новостей от Taiko:

• Website: https://taiko.xyz

• Discord: https://discord.gg/taikoxyz

• GitHub: https://github.com/taikoxyz

• Twitter: https://twitter.com/taikoxyz

Вклад 🤓

Внесите свой вклад в Taiko и получите GitPOAP! Вы также будете упомянуты в качестве участника в нашем README. Начните с руководства по внесению вклада.

Translated by: perfeect & igorizuchaetcrypty

Мы и вы использовали эту сеть для тестирования децентрализованного доказывания и экономики протоколов. Мы хотим поблагодарить всех, кто помогал в тестировании - транзакциях, развертывании, запуске узлов и доказательстве - и также хотим выразить наши извинения за любой неоптимальный опыт (задержки транзакций), с которым вы могли столкнуться, помогая выявить некоторые из проблем, которые мы рассмотрим ниже.

Основные моменты

• Безраздельные proof’ы

  • 126 уникальных provers

  • 93,146 блоков proven

  • Время proof’a от 130 и 160 секунд за последнюю неделю.

Источники для дальнейшего изучения: https://status.a2.taiko.xyz/, https://explorer.a2.taiko.xyz/, https://taiko.zkpool.io.

Это очень вдохновляет - видеть, как из сообщества возникает децентрализованная сеть prover. Спасибо всем, кто принимает в ней участие.

Распределение успешных provers также показывает ожидаемый результат в модели открытого соревнования, когда наиболее эффективные provers генерируют доказательства первыми и наиболее последовательно.

• Мониторинг / оповещения

  • Успешно протестирована система оповещения при возникновении стресса, задержек или ошибок в сети.

• Мост

  • Relayer успешно обработал более 150 тысяч сообщений.

  • Токен BLL, рассчитанный на отказ в 50% случаев, позволил нам успешно протестировать мостовой мост отказов сообщений, чтобы пользователи могли вернуть свои средства на исходную цепочку в случае возникновения проблемы.

• Dapps

  • Наши развернутые swap dapp и другие контракты были идентичны контрактам основной сети, что подтверждает функциональность нашей сети 1:1 с основной сетью Ethereum. Опыт разработчиков

• Опыт разработчиков

  • Возможность развертывания непосредственно на alpha-2 через Foundry без необходимости внесения изменений в код.

Выявленные проблемы

• Экономичность протокола (что приводит к увеличению времени подачи предложений в качестве смягчения)

  • В экономике нашего протокола есть недостаток. Когда блоки предлагаются с фиксированными интервалами, вознаграждение prover’a монотонно возрастает, и сейчас оно достигло неприемлемо высокого значения. Если бы мы сохранили время блока коротким, сумма вознаграждения в конечном итоге перевалила бы за предел, и цепочка остановилась бы.

  • Чтобы предотвратить это, нам пришлось замедлить время предложения блока (интервал предложения 20 секунд), пока мы работали над исправлением вышеупомянутого недостатка/бага контракта. Замедление времени блока привело к перегруженности мемпула и ухудшению пользовательского опыта, что проявилось в виде длительных задержек при транзакциях моста или ожидающих кошелька (Напоминание: в альфа-2 у нас один пропозиционер и децентрализованные проверяющие, обратная ситуация по сравнению с альфа-1).

• Низкая точность при расчете среднего значения

  • Расчет среднего времени блока и времени доказательства имеет низкую точность, в результате чего интервал между блоками составляет 1 секунду и, по сути, застревает там. Это ошибка реализации. В нашем большом запросе pull request для тестовой сети alpha-3 эта ошибка была исправлена, но нам нужно выбрать ее и применить к ветке alpha-2.

• Невозможность обновления контрактов

  • Наш сценарий развертывания тестовой сети не включал возможность обновления контрактов с помощью прокси. Эта ошибка не позволила нам исправить вышеперечисленные ошибки. Конечно, возможность обновления является важной частью защиты/обучения сети, особенно на ранних этапах ее развития. То, что мы не реализовали возможность обновления для этой тестовой сети, по большей части является недосмотром, и частично обусловлено принятым нами подходом к быстрому проведению итераций тестовой сети и ее обесцениванию.

Что дальше

Мы будем поддерживать альфа-2 в режиме низкой пропускной способности и надеемся найти больше проблем вместе с вами. Мы знаем, что транзакции, задерживающиеся в mempool, могут расстраивать, но мы должны продолжать дросселировать время блока, чтобы избежать более неприятного переполнения. Мы не гарантируем пропускную способность тестовой сети. Если вы столкнулись с новыми ошибками, не упомянутыми здесь, пожалуйста, сообщите об этом.

Alpha-2 создала для нас хорошие возможности для улучшения нашего протокола роллапа, а также для получения практического опыта в обновлении/форке цепи. Нам важны как победы, так и неудачи, поэтому еще раз большое спасибо всем тестерам. Мы планируем продолжать идти по пути максимального обучения, что может привести к более быстрым инстанциям и изъятиям по мере того, как мы будем получать то, что нам нужно. Мы планируем снять с производства альфа-2 и запустить Q2 альфа-3.

Присоединяйтесь к нам 💗

Ознакомьтесь с открытыми вакансиями на нашей доске объявлений.

Не отставайте от ритма вместе с Taiko 🥁

• Website: https://taiko.xyz

• Discord: https://discord.gg/taikoxyz

• GitHub: https://github.com/taikoxyz

• Twitter: https://twitter.com/taikoxyz

Translated by: perfeect & igorizuchaetcrypty

Дисклеймер: это подборка твитов, записей, видео и других материалов; они не выражают нашего мнения и могут быть не обязательно точными. Пожалуйста, проводите (или продолжайте) свои собственные исследования.

Держитесь крепче! 🎢

Острота недели 🌶️

• **Дебаты по поводу использования биометрии worldcoin и опасения по поводу негативных последствий. **После выхода GPT4 и прихода Сэма Альтмана на шоу Лекса Фридмана, многие люди были удивлены тем, что Сэм Альтман является сооснователем worldcoin. Горячие споры об использовании биометрии в worldcoin разгорелись с новой силой: Tiago из worldcoin написал в Twitter: "на данный момент очевидно, что доказательство личности является фундаментальным для эпохи ИИ" и добавил, что "тем временем worldcoin уже облегчает больше zkps каждую неделю, чем за всю жизнь Торнадо, имеет 1,4 млн владельцев и считает, что будет управлять, и обеспечивает доступ к децентрализованным финансам + идентификации 75 тыс. обычных людей на 5 континентах каждый день". Некоторые люди предположили, что благими намерениями вымощена дорога в ад, заявив, что "блокчейн-компания использовала дешевую экономику", в то время как команда worldcoin попросила написать о том, как проект может подвести своих пользователей (например, негативные внешние эффекты, способы кооптации, злоупотребления и т.д.).

Исследование ZK и Rollups 🧙

• Vitalik’s blog: Как мультиклиентская философия Ethereum будет взаимодействовать с ZK-EVM?

• ethresearch: переосмысление сложных периодов: ключевая роль децентрализации секвенсоров (автор Daniel Fonseca).

• ethresearch: сравнительная таблица, рассматривающая структуру данных, алгоритмы хэширования и сжатия, а также доступные API для получения узлов-свидетелей для выполнения доказательств включений Меркла против состояния роллапа (автор Daniel Ivanov).

• Ethereum Magicians: EIP-3436 предлагает правило выбора блоков, которое должно быть детерминированным независимо от того, когда блоки были замечены.

• Polygon поделился большим количеством технической документации по zkEVM. "Мы считаем, что эти документы помогут глубже понять, как работает zkEVM".

• Aztec представил Goblin Plonk! "Новая (очень ленивая) схема для молниеносной рекурсии ZK SNARK".

• Заметка "Trust-minimized consensus layer access" от Alex Stokes.

• Ярые сторонники модели "Rollup-as-a-Service", она же "Rollup-specific rollups" или "RollApps", (в лице 0xfan) погружаются в детали и объясняют, как это работает.

• Michiel Van Beirendonck представил в Токио свой аппаратный ускоритель для схемы полностью гомоморфного шифрования TFHE, ознакомьтесь с некоторыми моментами и документом.

• polynya делится информацией о роллапах Tezos

• Kris Kaczor из L2Beat поделился анализом различий между ZK-EVM, использующими TX-данные и разницу состояний при постинге CALLDATA.

Обновления ZK и rollups🎈

• Первая версия zkShield, которой поделился bankisan из команды PSE. Это приватная мультисигма со скрытыми владельцами. Под капотом он использует абстракцию учетных записей (ERC-4337) и доказательства нулевой осведомленности, чтобы не раскрывать подписывающих лиц на цепочке.

• ConsenSys zkEVM ребрендируется в Linea и открывает свой тестовый сеть.

• Starknet представляет Madara, секвенсор Starknet с открытым исходным кодом на основе Rust.

• Conduit, криптовалютная инфраструктурная платформа, запустила роллап всего за несколько кликов (построена на OP Stack и питается от Optimism, работает в Mainnet).

• Следуя статье Phil’a "...быть максимумом географической децентрализации...", Gnosis сделал сайт для отслеживания метрик децентрализации Gnosis.

• Тестнет Taiko ZK-EVM alpha-2 запущен!

• zkSync Era Mainnet Alpha запущен!

• Polygon ZK-EVM Mainnet Beta запущена!

Основные моменты, не относящейся к ZK 🎡

• Представляем The 4626 Alliance: инициативу, возглавляемую экосистемой, для продвижения развития стандарта ERC-4626.

• Nethermind реализовал клиент для KZG Ceremony, необходимого для протоданкшардинга EIP-4844, и призывает всех участников KZG создать некоторую случайность.

• Шапелла запланирована в mainnet на эпоху 194048, намеченную на 22:27:35 UTC 12 апреля 2023 года.

• Дебаты в Твиттере, обсуждающие, был ли "EIP-1559 ошибкой" Max Resnick, Jon Charbonneau и многими другими (продолжаются как ethresearch thread).

Возможности 🏄‍♀️

• 4 апреля, 12:00 pm EST, Twitter Space "Применение полностью гомоморфного шифрования" с Rand Hindi из Zama.

Читаем и смотрим 🎞

Общие

• Состоялся саммит Mevconomics Summit (Flashbots x ETHGlobal), некоторые выступления были особо отмечены: Decentralizing Sequencers от Hasu, MEVeconomics in L2 от Patrick McCorry, MEVconomics for Modular Blockchain Stacks от John Adler.

• Статья "Dissecting EVM using go-ethereum Eth client implementation. Часть I - поток выполнения транзакций" (за ней следуют "Часть II - EVM" и "Часть III - интерпретатор байткода").

• ZK Newsletter для изучения более интересных вещей, происходящих в мире нулевых знаний.

Причудливая математика, криптография и квантовая физика

• Открытое обсуждение научной работы Алана "Tip5 Hash Function for Recursive STARKs".

Загадки для любопытных 🧩

Nico из Geometry интересуется: "Какую рекурсивную систему вы используете и сколько ограничений нужно, чтобы написать схему верификатора?". Спасибо, что прочитали 2-й выпуск ZK-Roller-Coaster. Увидимся через две недели! 🚵‍♀️

Присоединяйтесь к нам 💗

Изучите открытые вакансии на нашей доске объявлений.

Следуйте за нами 🥁

Чтобы быть в курсе последних новостей от Taiko:

• Website: https://taiko.xyz

• Discord: https://discord.gg/taikoxyz

• GitHub: https://github.com/taikoxyz

• Twitter: https://twitter.com/taikoxyz

Translated by: perfeect & igorizuchaetcrypty

По сравнению с alpha-1 наиболее заметными изменениями являются:

• ZKPs (доказательства достоверности) частично интегрированы.

• Доказательства введены и не имеют разрешения; лица, предлагающие предложения, имеют разрешение (только мы) — противоположность alpha-1

• Включена экономика протокола

• Реальное вознаграждение для проверяющих, чтобы компенсировать их затраты ресурсов.

• L1, с которым соотносится L2, является настоящим тестовым сетью Ethereum, Sepolia.

Чтобы сразу приступить к тестированию, транзакциям, развертыванию или доказательству, обратитесь к руководству:

https://taiko.xyz/docs/guides

Чтобы узнать больше об этой тестовой сети, читайте дальше.

О тестовой сети Taiko Alpha-2 (Askja)

• Открыт для всех разработчиков для развертывания смарт-контрактов. Поскольку Taiko стремится быть ZK-EVM первого типа (эквивалент Ethereum), вы можете использовать все инструменты Ethereum/solidity, с которыми вы знакомы, и развертывать свои смарт-контракты Ethereum точно так же, как и сейчас.

• Открыт для всех пользователей, которые хотят использовать его и поиграть с некоторыми транзакциями.

• Открыт для всех заинтересованных лиц для запуска узла L2, в том числе в качестве prover’a. Taiko будет запускать некоторые nodes и provers, и мы надеемся, что вы присоединитесь к нам!

• Экономика протокола Taiko реализована для модуляции вознаграждений и сборов провера и пропозиционера, а также для моделирования реального сценария ценообразования на ресурсы.

• Кран для запроса токенов ERC20 для использования в тестнете. Для получения ETH вы можете использовать существующие краны Sepolia ETH или найти товарища по команде Taiko в Discord.

• Мост для перемещения активов между тестовой сетью L2 и L1.

• Блокчейн-исследователи для просмотра активов и активности в testnet L2 и Sepolia L1.

• Страница состояния для мониторинга сети и различных статистических данных.

• Развернуто приложение Swap (форк Uniswap V2).

Давайте остановимся на самом важном новом элементе тестовой сети: provers.

Provers

Генерация доказательств правильности (ZK-доказательств) вступила в сеть. Как вы можете знать, ZK-доказательства доказывают правильность переходов состояния L2 EVM и, в целом, делают ZK-Rollup особенным.

Alpha-2 пока не требует доказательства полного выполнения EVM, а всего лишь доказывает "public input" цепочку. Общедоступная входная цепочка берет данные, которые инициатор загружает на L1, и хэширует их. Затем сравнивается полученное хэш-значение с хэш-значением, которое автоматически создается L1-умным контрактом. Эффективно, это проверяет, что блоб данных (список транзакций) действительный и соответствует тому, что было фиксировано.

Oracle Prover 🔮

Поскольку охват ZKP в Alpha-2 по-прежнему неполный, в Taiko имеется специальный адрес, который действует как проверяющий оракула. Только этот проверяющий оракул может доказать блоки как первый проверяющий (с пустыми доказательствами, которые не будут проверены в цепи), все последующие настоящие проверяющие должны доказать блок после проверяющего оракула с теми же заголовками блоков.

Oracle Prover - это способ гарантировать, что блокчейн не попадет в недействительное состояние, когда охват ZKP не является полным. Когда охват ZKP действительно полон, мы удалим этот проверяющий оракул полностью из кодовой базы.

Требования к аппаратному обеспечению и бенчмаркингу 🖥️

Генерация доказательств правильности - это процесс, который требует высокой вычислительной мощности. Ниже приведены минимальные требования к аппаратному обеспечю и бенчмарки в случае использования этого оборудования.

• Процессор с 8 или 16 ядрами

• 32 ГБ памяти

• Генерация proof’a занимает примерно 10 минут, и если арендовать машину с вышеуказанными характеристиками, это будет стоить около $0,15 за доказательство.

Примечание: это не является репрезентативным для того, что полное ZK-EVM-proof, в конечном итоге, всегда будет стоить.

Вознаграждения для проверяющих 🫰🏽

Чтобы вознаградить проверяющих за использованные вычислительные ресурсы во время генерации доказательств, Taiko Labs создает кампанию вознаграждения. Следует отметить, что в подлинной главной сети проверяющие будут вознаграждаться протоколом за свою работу токеном, который свободно торгуется на рынке (например, ETH или токен роллапа). В тестовой сети мы должны внести следующие изменения.

Протокол Taiko будет учитывать и администрировать вознаграждения за доказательства, как обычно, а также создавать тестовые токены ("TTKO") для провайдера каждого блока. Эти TTKO затем можно будет обменять на USDC в конце периода вознаграждения тестовой сети. Бюджет вознаграждения для провайдеров на тестовой сети alpha-2 составит до 50 000 USDC, а провайдеры будут обменивать свои TTKO на пропорциональную дол USDC. Мы ожидаем, что период вознаграждения продлится примерно 300 000 блоков или 69 дней. Мы исходим из предположения времени на создание блока 20 секунд и средней стоимости генерации доказательства $0,15. Учитывая, что вознаграждения будут выражены в USDC (представляющих потенциальный эквивалент затрат на валюту), мы стараемся прибавить к сумме вознаграждения приблизительно 10% относительно затрат провайдеров. Мы не будем вознаграждать провайдеров после 300 000 блоков. Изучение того, как протокол реагирует в сценарии, когда большинство провайдеров прекращают создание блоков, является частью желаемых результатов этой тестовой сети.

Обратите внимание, что учет прибыли (если таковая имеется) тяжело зависит от стоимости оборудования провайдера, и некоторые из наших предположений могут не соответствовать реальности в течение периода вознаграждения. Мы оставляем за собой право корректировать программу с целью проверки безраздельных провайдеров и обеспечения разумного вознаграждения в среднем.

Что не предусмотрено в этой тестовой сети

• Возможность стать proposer. Taiko будет исключительно контролировать процесс предложений.

Вы можете заметить, что это противопоставляется тестовой сети alpha-1, которая позволяла кому угодно стать proposer без разрешения—и действительно, более 2000 человек показались, чтобы выступать в качестве proposer!

Причина, по которой мы дали разрешение на проведение теста для роли proposer в alpha-2, это обеспечение устойчивости к DOS. Конкретно, при условии, что вознаграждение безраздельных провайдеров теперь введено в сеть, а так как создание доказательств потребляет значительные ресурсы компьютера, мы должны ограничить, кто может создавать блоки для проверки, поскольку предложение в тестовой сети не требует реальных ресурсов, что может вызвать несоответствие. То есть, proposer могут спамить созданием блоков на L1, просто заплатив Sepolia ETH (не настоящий ETH), требуя от провайдеров затрат на создание доказательств (proofs), потенциально делая очередь нависших блоков бесконечной и останавливая сеть (или требуя от Taiko гораздо большего бюджета для вознаграждения провайдеров). Контролируя провера для этой тестовой сети, Taiko может эмулировать среду с более высокой степенью достоверности, чем та, к которой естественным образом привела бы реальная стоимость ETH для проверов.

Примите участие

И снова здесь находится центр testnet, где вы можете найти документацию, руководства и ссылки на все соответствующие приложения и инструменты для использования testnet:

https://taiko.xyz/docs/guides

Как и в первый раз, помимо развертывания, транзакций, запуска узлов, а теперь и доказательств, есть множество других способов, которыми вы можете принять участие и помочь Taiko улучшиться. Некоторые из них включают:

• Предоставление отзывов или обмен любыми ошибками, с которыми вы столкнулись, через эту форму.

• Создание учебников или другого контента, который может помочь разработчикам, проверяющим и пользователям начать работу.

Мы проведем ☎️ Community Call #2 ☎️ в пятницу, 24 марта, в 15:00 UTC на нашем сервере Discord. Вы можете найти канал 'stage' здесь. Мы предоставим некоторые общие обновления, но гораздо больше времени уделим ответам на вопросы. Пожалуйста, задавайте любые вопросы заранее в канале community-call-questions в Discord. Вопросы могут быть как связанные с testnet, так и общие.

Благодарим вас

Большое спасибо всем вам за то, что были с нами в этом путешествии. Это было бы невозможно без сообщества и более широкого круга участников из Ethereum и других ZK или роллапов. Мы рады вместе с вами приблизиться к полностью децентрализованному Ethereum-эквиваленту ZK-EVM.

Присоединяйтесь к нам 💗

Ознакомьтесь с открытыми вакансиями на нашей доске объявлений.

Следуйте за нами 🥁

Чтобы быть в курсе последних новостей от Taiko:

• Website: https://taiko.xyz

• Discord: https://discord.gg/taikoxyz

• GitHub: https://github.com/taikoxyz

• Twitter: https://twitter.com/taikoxyz

Вклад

Внесите свой вклад в Taiko и получите GitPOAP! Вы также будете упомянуты в качестве участника в нашем README. Начните с руководства по внесению вклада.

Translated by: perfeect & igorizuchaetcrypty

Что ожидать? Новые и текущие исследования и предложения в области ZK, новые проекты, обновления существующих и любимых проектов, ZK-драма, образовательные материалы, возможности для разработчиков и загадки для любознательных. Не все это каждый раз, но все это время от времени.

Начнем с первого выпуска ZK-Roller-Coaster! Держитесь крепко! 🎢

Острота недели 🌶️

• Оказывается, никто на самом деле не знает, как работают rollups! Kelvin из Optimism представляет свою модель rollups и утверждает, что ZK Rollups не существуют! Ужас! (Но, по его мнению, оптимистические rollups тоже не существуют... это все просто rollups).

Исследования в области ZK и Rollups 🧙

• Thread ethresearch о "основанных" или "L1-последовательных" rollups (от Джастина Дрейка). TLDR: "мы выделяем особый подкласс rollups, которые мы называем "основанными" или "L1-последовательными". Последовательность таких rollups - основанная последовательность - максимально проста и наследует живучесть и децентрализацию L1. Более того, основанные rollups особенно экономически выровнены по отношению к своей базовой L1."
  Taiko поддерживает подход к максимальной децентрализации и полностью зависит от Ethereum для децентрализации последователя/предложителя.

• Предложение на ethresearch: Making Designated Verifier Signatures Compatible on Ethereum (от Shrey Jain и Enrico Bottazzi). Краткое резюме в thread’е Enrico.

• Предложение на ethresearch о новом протоколе Cross-Rollup-Communication Protocol на основе ZK (от Даниэля Иванова из LimeLabs).

• Сообщество собирает коллекцию ошибок и эксплойтов в приложениях, использующих ZK-криптографию сообществом 0xPARC.

• Alex Stokes опубликовал черновик "систематизацию знаний": что мы имеем в виду, когдаорим о "последовательности"? Эта работа продолжается, вы можете внести свой вклад.

Обновления ZK and rollups🎈

• Espresso Systems опубликовала доклад (авторы Ben Fisch и Benedikt Bünz), представляющий Espresso Sequencer, инструмент для децентрализации rollups.

• Avail, решение Polygon Data Availability, будет полностью выделено из Polygon Labs.

• Geometry представляет Semacaulk, газоэффективный протокол с нулевым знанием множества членов.

• Succinct Labs представила Telepathy, децентрализованный и безопасный протокол взаимодействия zkSNARK для Ethereum.

• Sismo запустила zkConnect = анонимный аутентификатор + выборочное раскрытие данных.

• Porçu Quine (команда Filecoin Proofs) представил Lurk, новый язык программирования на основе LISP для zk-SNARK.

• Arbitrum объявил о запуске управления DAO.

Основные моменты, не относящейся к ZK 🎡

• Рекап (Tim Beiko) и запись последней встречи Ethereum Execution Layer Meeting (назначена дата создания мейннета Shapella (!!), рассмотрены все потенциальные EIP Cancun на данный момент, обсуждено создание локальных блоков и т.д.).

• Отчет о прозрачности Flashbots.

Возможности 🏄‍♀️

• 19 апреля: глубокое погружение в Sangria, новая схема складывания для Plonk с ослабленными ограничениями plonk, чат в discord от Nico из Geometry.

Читаем и смотрим 🎞

Главное

• Rollups Aren't Real: длинный лонгрид от Jon Charbonneau о механизмах принудительного включения транзакций, децентрализации L2 Sequencer и (опционально) консенсусе, Shared Sequencers & X-Chain Atomicity и MEV-Aware Design.

• Деконструкция rollups: что на самом деле определяет rollup? Сообщество или валидаторы моста? - статья Patrick McCorry.

• Будущее приватного, гибкого и анонимного голосования (Raf Solari из Tally и O(1) Labs), запись из твиттер-пространства.

• Danksharding part 1 с Yuval Domb, лекция.

• Rollups Through the Prism of Validating Bridges, слайды из выступления Toghrul Maharramov из Scroll на ETHDubai.

• Оптимальный дизайн zkVM (автор Max Gillett), краткое выступление.

Причудливая математика, криптография и квантовая физика

• Диспетчеры функций постоянного газа в EVM, лонгрид от philogy.

• Глубокое погружение в TFHE (полностью гомоморфное шифрование) - часть I - типы шифротекстов, лонгрид от Zama.

• Текущее состояние языков EVM, исследовательский лонгрид от jtriley.

• ZKWasm: Расширяя горизонты технологий сохранения конфиденциальности с помощью SuperNova, длинная статья Wyatt Benno из ICME Labs.

• Экспоненциальное улучшение для диагонального Рэмси, объяснение Timothy Gowers.

• Объединение вкусов отказоустойчивости с помощью исчисления ZX, исследовательская статья.

Спасибо, что прочитали первый выпуск ZK-Roller-Coaster. Увидимся через две недели! 🚵‍♀️

Присоединяйтесь к нам 💗

Изучите открытые вакансии на нашей доске объявлений.

Следуйте за нами 🥁

Чтобы быть в курсе последних новостей от Taiko:

• Website: https://taiko.xyz

• Discord: https://discord.gg/taikoxyz

• GitHub: https://github.com/taikoxyz

• Twitter: https://twitter.com/taikoxyz

Translated by: perfeect & igorizuchaetcrypty

Компания Ethereum известна своей приверженностью rollups’, что является уверенным и заслуживающим доверия.

Taiko - это полностью децентрализованный, эквивалентный Ethereum ZK-Rollup (Type 1 ZK-EVM).

Наша цель - масштабировать Ethereum, сохраняя основные принципы безопасности, безраздельности и децентрализации.

Мы начали строительство Taiko в Q1 2022 года и в настоящее время работаем над цепочками ZK-EVM, L2 node rollup и смарт-контрактами протокола на L1. В этой статье мы хотели бы поделиться основными этапами нашего пути к Taiko Mainnet:

• В декабре 2022 года мы запустили Alpha-1 Testnet.

• Теперь мы близки к Alpha-2 Testnet, который ожидается запустить в марте с безраздельностью провайдерами и частичными цепочками ZK-EVM.

• А что будет после этого? Ниже приведены дополнительные этапы нашего пути к Taiko Mainnet с полностью завершенными цепочками ZK-EVM, децентрализованными предложителями и децентрализованными провайдерами, запланированными на начало 2024 года.

Наш путь обусловлен основными принципами Taiko: мы не используем короткие пути для приоритета скорости разработки, мы просто делаем свою работу для приоритета безопасности и внесения солидного вклада в "Infinite Garden" Ethereum.

Основные принципы Taiko

Безопасность 🔒

• Мы ставим безопасность превыше всего.

Минимализм 🔳

• Мы сохраняем простой дизайн протокола и воздерживаемся от изменений, которые нарушат нашу Ethereum-эквивалентность.

Надежный 🥊

• Все предположения о безопасности прямо или косвенно обеспечиваются Ethereum и протоколом.

Децентрализованный 🌎

• Как предлагающие, так и доказывающие являются децентрализованными. Ни одна сторона не может контролировать все транзакции или нести единоличную ответственность за доказательство блоков. Протокол продолжает надежно работать в неблагоприятных ситуациях.

Безраздельность 🥂

• Любой желающий может присоединиться к сети и покинуть ее в любое время, не вызывая существенных нарушений в работе сети. Ни один субъект не имеет полномочий разрешать или блокировать участников.

Эквивалент Ethereum 👥

• Taiko эквивалентна Ethereum: мы не вносим никаких изменений в то, как клиенты Ethereum выполняют байткод и хранят данные: используем те же хэш-функции, деревья состояний, деревья транзакций, прекомпилированные контракты и другую логику консенсуса. Эквивалентность Ethereum - это непрерывный процесс. Это означает не только быть эквивалентным Ethereum сейчас, но и продолжать наследовать будущие обновления Ethereum. Это также позволяет нам вносить улучшения в Ethereum L1.

Классическая трилемма блокчейна гласит, что между "децентрализацией", "безопасностью" и "масштабируемостью" можно выбрать только две. Эквивалентный Ethereum ZK-роллап позволяет вам выбрать все три без компромиссов.

Taiko добавляет недостающую часть, "масштабируемость", чтобы расширить возможности экосистемы Ethereum, сохраняя при этом опыт ее участников эквивалентным тому, к чему они уже привыкли.

Создание ZK-EVM - это долгий и сложный процесс, но он того стоит. Он требует сдержанности, терпения и долгосрочного взгляда, но основные ценности Ethereum ясно освещают путь вперед. Мы на пути, и мы ждем, когда вы присоединитесь к нам!

Спасибо, что прочитали нашу статью в блоге! 🥁

Присоединяйтесь к нам

Изучите открытые вакансии на нашей доске объявлений.

Следите за нами

Присоединяйтесь к сообществу в Discord и следите за нами в Twitter!

Чтобы быть в курсе последних новостей от Taiko:

• Website: https://taiko.xyz

• Discord: https://discord.gg/taikoxyz

• GitHub: https://github.com/taikoxyz

• Reddit: https://www.reddit.com/r/taiko_xyz

• Twitter: https://twitter.com/taikoxyz

Translated by: perfeect & igorizuchaetcrypty

Масштабирование Ethereum на техническом уровне, как это делают ZK-EVMs, является лишь одной (огромной) частью уравнения в продвижении Ethereum в мир — необходимо также... действительно продвигать его в мир!

Вот почему мы запускаем Амбассадорскую программу Taiko.

Нам нужна помощь в распространении информации о том, что Ethereum надежно масштабируется и что вы можете использовать существующий код solidity, dapp, toolchain или продукт с Ethereum-эквивалентным ZK-Rollup. Если вы заинтересованы в том, чтобы присоединиться к нам в этой работе, мы будем рады вашему участию.

Вы можете выполнять одну или несколько функций:

• Развивать связи с общественностью и разработчиками

• Создавать образовательный контент

• Организовывать сообщества

Некоторые послы могут фокусироваться исключительно на целях разработчиков, некоторые - на осведомленности сообщества, некоторые - на сочетании.

Амбассадорка заключается в оказании помощи, распространения и обучении в сообществе разработчиков и пользователей Ethereum/Taiko. Учитывая, что это первая программа, вы можете помочь сформировать программу в той же мере, в какой вы в ней участвуете.

Вам следует рассмотреть возможность подачи заявки, если:

• Вы являетесь разработчиком или исследователем, имеющим опыт или интерес к Ethereum и ZKPs, и обладаете способностью и желанием обучать, общаться и облегчать опыт других разработчиков.

• Вы не являетесь разработчиком или исследователем, но хорошо разбираетесь в Ethereum и ZKPs и склонны к обучению людей и/или организации сообщества.

• Вы хорошо умеете общаться, обладаете терпением и сильным желанием сдвинуть с мертвой точки все, в чем вы принимаете участие.

Вы можете ожидать от программы следующее:

• Способность работать в тесном контакте с командой и сообществом для достижения вышеуказанных целей

• Ежемесячное вознаграждение

• Возможность перейти на постоянную работу в Taiko Labs

Подать заявку здесь

🥁 Вот форма заявки: https://taikoxyz.typeform.com/ambassador 🥁

Прием заявок будет открыт до пятницы, 13 января, 23:59 UTC. Мы постараемся набрать примерно 2-4 послов в эту первую когорту и откроем программу снова, как только получим отзывы и увеличим потенциал.

Заранее благодарим вас за вашу заинтересованность в содействии масштабированию Ethereum и Taiko, мы будем рады приветствовать вас!

Присоединяйтесь к нам

Ознакомьтесь с открытыми вакансиями на нашей доске объявлений.

Следите за нами

Чтобы быть в курсе последних новостей от Taiko:

• Website: https://taiko.xyz

• Discord: https://discord.gg/taikoxyz

• GitHub: https://github.com/taikoxyz

• Reddit: https://www.reddit.com/r/taiko_xyz

• Twitter: https://twitter.com/taikoxyz

Вклад

Внесите свой вклад в Taiko и получите GitPOAP! Вы также будете упомянуты в качестве участника в нашем README. Начните с руководства по внесению вклада.

Translated by: perfeect & igorizuchaetcrypty

Мы очень рады достичь этой вехи на пути к нашему Type-1 ZK-EVM, конечная цель которого - масштабировать Ethereum таким образом, чтобы это было максимально безопасно и беспроблемно для разработчиков и пользователей. Нам предстоит пройти еще долгий путь, но мы надеемся, что вы присоединитесь к нам в использовании и тестировании нашего первого публичного тестового релиза.

Если вы хотите сразу приступить к тестированию, вы можете перейти к руководству по тестовой сети здесь:

https://taiko.xyz/docs/category/alpha-1-testnet-guide

Если вы хотите узнать больше о том, что входит в этот выпуск, а что нет, читайте дальше.

Taiko стремится к открытому строительству, и наш GitHub отражает это в течение некоторого времени, где все является открытым исходным кодом. В этом ключе эта первая публичная тестовая сеть является настолько открытой, насколько мы можем ее сделать. Он открыт для всех разработчиков для развертывания контрактов, всех пользователей для тестирования, и всех желающих участников для запуска узла L2 и предложения блоков.

Об альфа-1 тестнете (Snæfellsjökull)

• Taiko Тестнет открыт для всех разработчиков по размещению смарт-контрактов. Так как Taiko стремится быть ZK-EVM типа 1 (аналог Ethereum), вы можете использовать всю инструментальную базу Ethereum/Solidity, которую вы знаете и любите.

• Тестнет также открыт для всех пользователей, которые хотят использовать его и играться с некоторыми транзакциями.

• Доступен для всех заинтересованных сторон, чтобы запустить node L2, включая предложителя! Taiko будет запускать некоторые узлы и предлагать блоки, и мы надеемся, что вы присоединитесь к нам.

• L1-среда - это частный вилка Ethereum PoA, под которым Taiko работает (L1 тестнет).

• Кран для запроса ETH и образец токена ERC20 на Taiko тестнет L2 и L1.

• Мост для перемещения активов между тестнет L2 и L1.

• Блок-эксплоеры для просмотра активов и действий на тестнет L2 и L1.

Чего нет в этом тестнете

• Возможности стать доказывателем. Вы не можете расширить свой узел до доказывателя.

• Доказательство правильности. В этом тестнет-релизе не будут генерироваться ZKP.

• Предустановленные даппы. Мосты между L2 и L1 и переводы ETH или ERC20 друзьям - единственные поддерживаемые пользовательские действия out-of-the-box. Любой разработчик может развернуть свой смарт-контракт или дапп, что делает его доступным для всех пользователей.

Участвуйте

Еще раз, вот руководство по тестнету, где вы можете найти документацию и ссылки на все соответствующие приложения/инструменты для использования тестнета:

https://taiko.xyz/docs/category/alpha-1-testnet-guide

Используя следующую контекстную информацию: Кроме размещения, использования и запуска, есть еще множество других способов, которыми вы можете вступить в сотрудничество и помочь Taiko улучшиться. Это может включать в себя:

• Создание учебных пособий или другого контента который может помочь разработчикам и пользователям начать работу.

Ваше мнение очень важно для нас, и это была причина, по которой мы так торопились выпустить этот тестнет как можно раньше. В связи с этим, наш первый звонок для сообщества состоится в четверг, 29 декабря в 15:00 UTC на нашем сервере Discord. Канал звонка можно найти здесь, и вы можете выразить свой интерес к участию. Мы будем давать общие обновления, но также приглашаем задавать вопросы в режиме AMA. Пожалуйста, задавайте любые вопросы, которые вы хотите, в канале Discord “community-call-questions” заранее.

Мы также хотим официально отметить этот момент на Snæfellsjökull вместе с вами 🙂. В результате мы создадим POAP-маркировку для всех пользователей тестнета до 31 января, 23:59 UTC 5 января, 23:59 UTC. Любой пользователь, который совершит транзакцию через мост + еще один тип транзакции (перевод, транзакция dapp), получит одну такую маркировку. Они будут выданы в феврале.

Изменение: из-за неожиданно высокой нагрузки на сеть и для защиты целостности программы участия в POAP, мы должны были изменить дату окончания с той, которая была указана в этом блоге.

Благодарим вас

Наконец, мы хотим сказать искреннее спасибо. У нас есть много людей, которых мы хотим поблагодарить, так как этот путь продолжается уже год или даже более для некоторых. Мы отдельно благодарим команду Эксплорации конфиденциальности и масштабирования Фонда Ethereum за их работу по технологии ZK-EVM, а также всех участников этого проекта. Мы благодарим невероятное сообщество Taiko и наших первых сторонников, которые начали вносить свой вклад, а также весь более широкий экосистему Ethereum, которая сделала то же самое.

Присоединяйтесь к нам!

Исследуйте открытые позиции на нашей доске объявлений.

Следуйте за нами!

Чтобы быть в курсе последних новостей от Taiko:

• Website: https://taiko.xyz

• Discord: https://discord.gg/taikoxyz

• GitHub: https://github.com/taikoxyz

• Reddit: https://www.reddit.com/r/taiko_xyz

• Twitter: https://twitter.com/taikoxyz

Вклад

Внесите свой вклад в Taiko и получите GitPOAP! Вы также будете упомянуты в качестве участника в нашем README. Начните с руководства по внесению вклада.

Translated by: perfeect & igorizuchaetcrypty

Мы идентифицируем Taiko как децентрализованный Ethereum-эквивалент ZK-Rollup. Ethereum-эквивалент - это техническое конструктивное решение типа 1 ZK-EVM, о котором мы описываем здесь.

В этом посте мы хотели бы поговорить о другом дескрипторе в этой формулировке: децентрализованный. Мы рассмотрим:

• Что такое определение децентрализованного rollup?

• Как можно децентрализовать rollup?

• Какие есть компромиссы у децентрализованного rollup?

• Подход Taiko: прогрессивная эффективность

• Децентрализованная реализация и децентрализованное управление

• Как децентрализация является частью Ethereum-эквивалента

Что такое определение децентрализованного rollup?

Вы можете удивиться (или нет), узнав, что существует некоторое несоответствие определения децентрализованного rollup. Мы думаем, что можем достаточно точно подобрать широко принимаемое определение:

Децентрализованный rollup - это когда любой пользователь может быть уверен в том, что его транзакция будет выполнена.

Стоит задуматься, почему вообще важно, является ли rollup децентрализованным или нет. Учитывая, что для гарантии безопасности rollup'ов необходимы L1 (главным образом Ethereum в наши дни для ведущих rollup'ов), пользователи защищены, как бы там ни было?

Rollup'ы гарантируют, что только если L1 (уровень доступности данных) существует, пользователи могут восстановить L2 состояние и выйти из rollup'а, принудительно выполнив транзакцию на L1. Если система не удовлетворяет этому условию, то мы можем сказать, что это не rollup, а другой тип L2 или сайдчейн. Это должно показать, что выбор сильно децентрализованного (всегда живого, устойчивого к цензуре) L1 критически важен. Еще одно уточнение заключается в том, что для общего rollup'а, в отличие от приложения-специфического rollup'а, пользователи должны иметь возможность принудительно включать любую произвольную транзакцию, а не только транзакции «выхода».

Установив, что мы говорим о rollup, мы утверждаем, что различие, определяющее децентрализованный или нет rollup, заключается в том, насколько сложно или реально для пользователя заставить свою транзакцию быть включенной. Например, нужны ли им очень мощные вычислительные ресурсы для создания ZK-proof? Или они могут использовать бытовое оборудование или арендовать дешевый сервер на короткое время? Есть ли какой-то привилегированный субъект, который может свободно распоряжаться транзакцией в течение длительного периода времени, откладывая свою возможность попытаться быть включенным на 30 дней? Чем меньше запретов, тем больше децентрализации.

На самом деле обычный пользователь, вероятно, не хотел бы запускать полную node rollup и, в случае ZK-Rollup, дополнение-доказательство. Они хотели бы знать, что rollup, на который они проводят транзакции, или даже rollup, который они и сами используют, способен иметь широкий и разнообразный набор участников, выполняющих необходимые функции. И что новые участники могут присоединяться к сети, чтобы выполнять эти функции, безопасно - в том числе и они сами, если они хотят.

С учетом вышеизложенного, давайте завершим этот раздел еще одним определением децентрализованного rollup, чтобы мы лучше понимали:

Децентрализованный rollup - это такой rollup, в котором несколько сторон могут участвовать в каждой сетевой позиции - то есть в качестве предложителей, доказывающих и запускающих узлов.

Это приводит нас к следующему разделу.

Как вы децентрализуете rollup?

Учитывая вышеописанные определения, особенно второе, видим, что мы можем децентрализовать rollup, обеспечивая выполнение всех ролей несколькими сторонами - в идеале, обширным и географически разнообразным набором. Эти роли:

• Proposers

• Provers

• Node runners

Прежде чем мы рассмотрим каждую роль, давайте просто коснемся точки, затронутой в предыдущем разделе: rollupы, как решение L2, решают, какой L1 они собираются масштабировать, или более точно, какой L1 они будут использовать для гарантий безопасности. «Гарантии безопасности» здесь означает полагаться на L1 для обеспечения консенсуса и доступности данных (DA). Хотя это нечто, что сам rollup не может настроить в пользу децентрализации, выбор L1 с достаточно децентрализованной структурой является критически важным решением, и Taiko выбирает Ethereum для наиболее надежных гарантий безопасности.

Перейдем к ролям.

Proposers

Proposers создают блоки rollup из L2-транзакций пользователей и предлагают их L1. Иногда их называют «Секвенсорами» в других системах rollup.

Proposers решают, какие транзакции будут включены в блок и в каком порядке. Это мощная позиция, так как они могут извлекать прибыль из упорядочивания транзакций и решать, какие транзакции исключить, и таким образом могут цензурировать определенные транзакции, приложения или пользователей.

Как мы установили —> децентрализованный rollup должен позволять пользователям ожидать включение всех их действительных транзакций.

Provers

Provers создают SNARK-доказательства, подтверждающие допустимость транзакций и блоков L2 из соответствующих блоков.

Производители доказательств решают, какие предложенные блоки превратить в блоки, подтверждаемые на цепи. Эта позиция определяет, когда блок может достичь своего подтвержденного на цепи состояния, но не определяет, какие транзакции попадут в блок или как они будут упорядочены. До этого подтвержденного на цепи состояния, производитель доказательств может оставить висящими некоторые транзакции, зависящие от доказательства подлинности, или оставить висящими некоторые блоки, которые должны быть подтверждены на цепи и которые ожидают подтверждения своего родительского блока.

Как мы установили —> децентрализованный rollup должен позволять пользователям ожидать подтверждения всех своих допустимых транзакций.

Node runners

Node runners выполняют транзакции из данных на цепи (L1), чтобы оставаться в синхронизации со статусом rollup.

Proposers и производители доказательств должны запускать полноценные узлы rollup, чтобы выполнить свои роли. Другие участники также захотят запустить узлы, например, те, которые предоставляют услуги, такие как обозреватель блоков, поставщики инфраструктуры и пользователи, которые хотят оставаться в синхронизации со статусом цепочки по другим причинам.

Как мы установили —> децентрализованный rollup должен позволять пользователям ожидать выполнения всех их допустимых транзакций.

Примечание: хотя децентрализация предложителей и производителей доказательств является явным решением протокола роллап (например, смарт-контракты могут быть настроены таким образом, чтобы принимать только блоки или доказательства от адресов из белого списка), запуск узла в основном зависит от ресурсов, которые требуются для роста состояния, оборудования и т.д. и не является прямым решением протокола. Важно учитывать рост состояния, но это не обсуждается в данной статье.

Каковы компромиссы децентрализованного rollup?

Переход от централизации к децентрализации открывает торговую площадку компромиссов.

В этом разделе плюсы и минусы относятся как к proposers так и provers (которых мы обычно называем операторами); мы не будем учитывать управляющих узлов, как уже упоминалось, но имейте в виду, что запуск узла роллапа является требованием для обоих ролей.

В контексте proposers/provers rollup мы видим:

Подход Taiko: прогрессивная эффективность

Текущий подход, выбранный большинством серийно выпускаемых рулонов общего назначения, заключается в централизации на начальном этапе, с обязательством постепенной децентрализации с течением времени. В этом есть определенный смысл, поскольку есть несколько движущихся частей, предположения, которые нужно проверить, и пока еще рано. Наличие централизованных proposer и prover (он же sequencer и validator в более широком смысле) упростило обеспечение правильного и эффективного функционирования роллапа. Мы можем видеть этот популярный подход в следующей таблице.

С другой стороны, Taiko стремится к полностью децентрализованному (и безразрешительному) комплекту proposer и prover. Протокол не закрепляет или не включает в белый список какие-либо стороны; кто угодно сможет исполнять эти обязанности. Далее, Taiko планирует иметь минимальную схему координации, определенную протоколом, для proposer and prover. Текущий план состоит в том, чтобы она была без лидера.

Все rollups выберут наилучшую позицию, которая соответствует потребностям их пользователей. Эта точка будет отличаться в разных rollups и путь, чтобы достичь этой же точки, может также отличаться. Можно начать с централизованного подхода и постепенно снижать контроль, или можно начать с децентрализованного подхода и реализовать жесткие правила координации (или, возможно, назначить контроль). Конечно, возможно, что некоторые недостатки децентрализации станут препятствием для работоспособной сети, в этом случае Taiko может ввести меры, такие как выборы лидеров, чтобы избежать избыточной работы.

В этом смысле подход Taiko можно считать эффективным, скорее чем децентрализованным. Он движется от полностью децентрализованного и неструктурированного края и более в центр, если это необходимо.

Это не значит, что Taiko будет полностью лишен "training-wheel-free" с самого начала. Некоторые меры, такие как возможность обновления смарт-контрактов, останутся в силе до тех пор, пока они не будут испытаны на боевом тесте. Этот подход основан на безопасности: без обновляемости на основе прокси активы пользователей могут столкнуться с значительными рисками ошибок. Контролируемая обновляемость - один из рычагов, который будет передан DAO в какой-то момент.

Децентрализованная реализация и децентрализованное управление

Vitalik недавно написал, что "децентрализованная структура управления защищает от атакующих изнутри, а децентрализованная реализация защищает от мощных атакующих снаружи". Это было сказано в контексте DAO - то есть, как структура управления, так и реализация касались DAO. В частности, это было сказано для одной из целей децентрализации DAO: устойчивости.

Мы считаем, что это достаточно полезно использовать для всех rollups в целом и разделять "структура управления" на означающую DAO конкретного rollup (принимая на веру, что реализация управления основана на смарт-контрактах), а "реализацию" - это значит архитектуру самого rollup.

В этом контексте мы обсуждали, как rollup может защититься от внешних угроз (цензуры, отказов в работе) с помощью децентрализованной реализации. Однако мы не должны игнорировать, как rollup может защититься от внутренних угроз - от организации и сообщества, ответственных за его начальное создание и поддержку. В этом случае инструментом, которым располагает rollup, является управление, или упрощенно, его DAO.

Что касается управления, Taiko принимает подход, похожий на другие rollups и большую часть протоколов на Ethereum в целом, от DeFi до инфраструктуры. Этот подход действительно является постепенным децентрализацией: контроль над протоколом gradually будет передан сообществу, а именно Taiko DAO. Сейчас еще рано описывать детали DAO и какие механизмы управления мы предложим, но это будет предметом будущих постов.

В заключение на эту тему мы считаем, что реализация предлагает анализ свойств роллапа в точке времени, в то время как управление может описать, как реализация может меняться со временем, и какие стороны могут принимать эти решения.

Как децентрализация является частью эквивалентности Ethereum

Стремясь к чистой эквивалентности Ethereum, Taiko высоко оценивает свою приоритетность децентрализации. Кажется странным, чтобы эквивалентность как цель охватывала EVM, хэш-функции, состояние и tx-деревья и т. д., не отражая эквивалентности в составе сети.

Эмулирование Ethereum для Taiko означает, что все выстраивается вокруг Ethereum: ZK-EVM, другая базовая архитектура Ethereum, философские соображения, сообщество и ~вайба~. Это распространяется на децентрализацию сети и основные свойства, которые он предоставляет разработчикам и их пользователям: устойчивость к цензуре.

Спасибо за прочтение.

Присоединяйтесь к нам

Изучите открытые вакансии на нашей доске объявлений.

Следите за нами

Чтобы быть в курсе последних событий в компании Taiko:

• Website: https://taiko.xyz

• Discord: https://discord.gg/taikoxyz

• GitHub: https://github.com/taikoxyz

• Reddit: https://www.reddit.com/r/taiko_xyz

• Twitter: https://twitter.com/taikoxyz

Вклад

Внесите свой вклад в Taiko и получите GitPOAP! Вы также будете упомянуты в качестве участника в нашем README. Начните с руководства по внесению вклада.

Translated by: perfeect & igorizuchaetcrypty