Це перший випуск ZK-Roller-Coaster, де ми відстежуємо та досліджуємо найцікавіші, значущі та божевільні ZK-матеріали за попередні два тижні.
Чого очікувати? Нові та поточні дослідницькі обговорення та пропозиції ZK, нові проекти, оновлення вже існуючих та улюблених проектів, ZK-драми, деякі навчальні перегляди та записи, можливості для будівельників та головоломки для допитливих. Не все це кожного разу, але все це час від часу.
Почнемо з першого випуску ZK-Roller-Coaster! Тримайся! 🎢
Спеції тижня 🌶️
Очевидно, ніхто насправді не знає, як насправді працюють зведення! Келвін з Optimism чудово презентує свою ментальну модель зведення та стверджує, що ZK Rollups не існує! жах! (Але, за його словами, оптимістичні зведення також не роблять... вони всі просто зведення).
ЗК і зведені дослідження 🧙
потоки ethresearch на «базованих» або «послідовних L1» зведеннях (від Джастіна Дрейка). TLDR: «ми виділяємо спеціальну підмножину зведених даних, які ми називаємо «базованими» або «з L1-послідовністю». Послідовність таких зведень — послідовність на основі — є максимально простою та успадковує жвавість і децентралізацію L1. Крім того, базовані зведення особливо економічно узгоджені з базовим L1». Taiko підтримує максимально децентралізований підхід, повністю залежний від Ethereum для децентралізації секвенсора/пропонента.
Пропозиція ethresearch: Зроблення призначених підписів верифікаторів сумісними в Ethereum (автори: Шрей Джейн та Енріко Ботацці). Короткий зміст у темі Enrico.
Пропозиція ethresearch щодо нового протоколу перехресного зв’язку на основі ZK (від Даніеля Іванова з LimeLabs).
Колекція помилок, вразливостей і експлойтів у програмах, які використовують ZK crypto, підтримується спільнотою 0xPARC.
Алекс Стокс опублікував проект «систематизації знань»: що ми маємо на увазі, коли говоримо про «послідовність»? Робота ще триває, зробіть свій внесок.
ZK і зведені оновлення 🎈
Компанія Espresso Systems опублікувала статтю (авторів Бена Фіша та Бенедикта Бюнца), у якій представлено Espresso Sequencer, інструмент для децентралізації зведених даних.
Avail, рішення Polygon Data Availability, буде повністю відокремлено від Polygon Labs.
Geometry представляє Semacaulk, газовий ефективний протокол членства набору з нульовим знанням.
Succinct Labs представила Telepathy, децентралізований і безпечний протокол взаємодії zkSNARK для Ethereum.
Sismo запустив zkConnect = anon auth + вибіркове розкриття даних.
Porçu Quine (команда Filecoin Proofs) представила Lurk, нову мову програмування на основі LISP для zk-SNARK.
Arbitrum оголосив про запуск управління DAO.
Основні моменти галузі не ZK 🎡
Резюме (від Тіма Бейко) і запис останньої наради рівня виконання Ethereum (встановили дату основної мережі Shapella (!!), охопили всі потенційні Cancun EIP на даний момент, обговорили створення локальних блоків тощо)
Звіт про прозорість Flashbots.
Можливості 🏄♀️
19 квітня: глибоке занурення в Sangria, нова схема складання для Plonk із пом’якшеними обмеженнями для plonk, розмова Ніко з Geometry.
Читання та перегляди 🎞
Загальний
Зведення несправжні: довга книга Джона Шарбоно про механізми примусового включення транзакцій, децентралізацію секвенсора L2 і (необов’язково) консенсус, спільні секвенсори та атомарність X-Chain і дизайн з урахуванням MEV.
Деконструкція зведення: що насправді визначає зведення? Громада чи валідуючий міст? – стаття Патріка Маккоррі.
Майбутнє приватного, гнучкого та анонімного голосування (автор Раф Соларі з Tally та O(1) Labs), запис у Twitter.
Danksharding part 1 з Ювалем Домбом, лекція.
Зведення крізь призму перевірки мостів, слайди з виступу ETHDubai Тогрула Магеррамова з Scroll.
Оптимальний дизайн zkVM (автор Макс Гілетт), коротка доповідь.
Вигадлива математика, криптографія та квантова фізика
Диспетчери постійної функції газу в EVM, давнє читання філології.
TFHE (Повністю гомоморфне шифрування) Глибоке занурення - Частина I - Типи зашифрованих текстів, довга книга від Zama.
Поточний стан мов EVM, дослідження, яке давно прочитав jtriley.
ZKWasm: Розширення горизонтів технологій збереження конфіденційності за допомогою SuperNova, довга книга Уайтта Бенно з лабораторій ICME.
Експоненціальне покращення для діагонального Рамсі, пояснення потоку Тімоті Гауерса.
Уніфікація відмовостійкості за допомогою обчислення ZX, дослідницька стаття.
Дякуємо, що прочитали перший випуск ZK-Roller-Coaster. До зустрічі через два тижні! 🚵♀️
