Это первый выпуск ZK-Roller-Coaster, где мы отслеживаем и исследуем самые захватывающие, значимые и сумасшедшие ZK-материалы за предыдущие две недели.
Что ожидать? Новые и текущие исследовательские дискуссии и предложения ZK, новые проекты, обновления уже существующих и любимых проектов, ZK-драмы, некоторые образовательные просмотры и статьи, возможности для строителей и головоломки для любопытных. Не все это каждый раз, но все это время от времени.
Начнем с первого выпуска ZK-Roller-Coaster! Держись крепче! 🎢
Пикантность недели 🌶️
Очевидно, никто на самом деле не знает, как на самом деле работают накопительные пакеты! Кельвин из Optimism дает хорошую презентацию своей ментальной модели объединения и утверждает, что накопительных пакетов ZK не существует! Ужас! (Но, по его словам, оптимистичные сводки тоже не работают… все они всего лишь сводки).
Исследование ЗК и роллапов 🧙
Ветка ethresearch по «основанным» или «L1-последовательным» сводным данным (автор: Джастин Дрейк). TLDR: «Мы выделяем особое подмножество сводных данных, которые мы называем «основанными» или «упорядоченными на уровне L1». Последовательность таких объединений (секвенирование на основе) максимально проста и наследует живучесть и децентрализацию L1. Более того, объединенные пакеты на основе особенно экономически согласуются со своим базовым L1». Тайко поддерживает максимально децентрализованный подход, полностью полагаясь на Ethereum в децентрализации секвенсора/предлагателя.
Предложение ethresearch: Обеспечение совместимости подписей назначенных проверяющих лиц на Ethereum (Шрей Джейн и Энрико Боттацци). Краткое содержание в теме Энрико.
Предложение ethresearch нового протокола перекрестной связи на основе ZK (Дэниел Иванов из LimeLabs).
Поддерживаемая сообществом коллекция ошибок, уязвимостей и эксплойтов в приложениях, использующих криптографию ZK, созданная сообществом 0xPARC.
Алекс Стоукс опубликовал проект «систематизации знаний»: что мы имеем в виду, когда говорим о «секвенировании»? Эта работа еще продолжается, не стесняйтесь внести свой вклад.
Обновления ЗК и накопителей 🎈
Espresso Systems опубликовала статью (Бена Фиша и Бенедикта Бюнца), в которой представлен Espresso Sequencer, инструмент для децентрализации накопительных пакетов.
Avail, решение Polygon Data Availability, будет полностью выделено из Polygon Labs.
Geometry представляет Semacaulk, газоэффективный протокол членства в наборе с нулевым разглашением.
Succinct Labs представила Telepathy, децентрализованный и безопасный протокол взаимодействия zkSNARK для Ethereum.
Sismo запустил zkConnect = анонная аутентификация + выборочное раскрытие данных.
Порсу Куайн (команда Filecoin Proofs) представил Lurk, новый язык программирования на основе LISP для zk-SNARK.
Arbitrum объявил о запуске управления DAO.
Основные моменты отрасли, не связанной с ZK 🎡
Резюме (Тим Бейко) и запись последней встречи Ethereum Execution Layer (установили дату основной сети Shapella (!!), охватили все потенциальные EIP в Канкуне, обсудили построение локальных блоков и т. д.)
Отчет о прозрачности Flashbots.
Возможности 🏄♀️
19 апреля: глубокое погружение в Сангрию, новую схему складывания для Плонка с ослабленными ограничениями Плонка, дискорд-чат Нико из Geometry.
Читаем и смотрим 🎞
Общий
Rollups Are not Real: длинный лонгрид Джона Шарбонно о механизмах принудительного включения транзакций, децентрализации секвенатора L2 и (необязательно) консенсусе, общих секвенсорах, атомарности X-Chain и дизайне с учетом MEV.
Деконструкция накопительных пакетов: что на самом деле определяет накопительные пакеты? Сообщество или мост проверки? – статья Патрика МакКорри.
Будущее частного, гибкого и анонимного голосования (Раф Солари из Tally and O(1) Labs), запись в Твиттере.
Данкшардинг часть 1 с Ювалем Домбом, лекция.
Свертывания через призму валидации мостов, слайды из выступления ETHDubai Тогрула Магеррамова из Scroll.
Оптимальная конструкция zkVM (Макс Джиллетт), краткий доклад.
Необычная математика, криптография и квантовая физика
Диспетчеры функций постоянного газа в EVM, лонгрид по филологии.
TFHE (Полностью гомоморфное шифрование). Глубокое погружение. Часть I. Типы зашифрованного текста, лонгрид Замы.
Текущее состояние языков EVM, исследование jtriley.
ZKWasm: Расширение горизонтов технологий сохранения конфиденциальности с помощью SuperNova, лонгрид Уятта Бенно из ICME Labs.
Экспоненциальное улучшение для диагонального Рэмси, пояснение Тимоти Гауэрса.
Объединение разновидностей отказоустойчивости с исчислением ZX, исследовательская работа.
Спасибо, что прочитали первый выпуск ZK-Roller-Coaster. Увидимся через две недели! 🚵♀️