L2, оракулы и расширенные приложения
Курс связывает сети исполнения, объявления выпусков, внешние сведения и отдельные пользовательские права. Общий пример — учебная библиотека, курс 17: исходный CourseCatalog сохраняет объявление издателя, а каждое расширение получает явную собственную ответственность.
Маршрут начинается с L1/L2 и доступности данных, затем проходит доставку сообщений, проверки цен и современный CRE. Заключительный блок объясняет проверяемую случайность и ZK-права без смешения математической проверки с оплатой, выдачей материала или приватностью всего браузерного маршрута.
Предполагается знакомство с JSON, небольшими EVM-фрагментами и моделью веб-приложения. Незнакомые понятия вводятся последовательно. В примерах используются условные состояния и числа, без выдуманных реальных адресов, transaction hash и вычисленных доказательств.
Последовательность уроков
| № | Урок | Самостоятельный результат |
|---|---|---|
| 1 | Ethereum L1 и L2: зависимости сетей | Карта отдельных состояний L1, L2 и веб-библиотеки |
| 2 | Data availability в L2: восстановление данных | Разделение доступности данных протокола и архива материалов |
| 3 | Optimistic rollup: оспаривание состояния L2 | Модель optimistic-перехода и области оспаривания |
| 4 | ZK-rollup: доказательство перехода состояния | Разделение validity proof, приватности и данных rollup |
| 5 | L2: подтверждение, финальность и вывод средств | Различение включения, исполнения, финальности и выхода |
| 6 | Комиссии L2: стоимость исполнения и данных | Расчёт условной комиссии по независимым составляющим |
| 7 | Смарт-контракт в двух сетях: экземпляры L1 и L2 | Конфигурационный договор двух сетевых экземпляров библиотеки |
| 8 | Блокчейн-мост: доставка сообщения между сетями | Жизненный цикл доставки объявления отдельного выпуска |
| 9 | Cross-chain сообщения: проверка источника | Проверка доверенного router, удалённой сети и отправителя |
| 10 | Cross-chain сообщения: идемпотентная обработка | Идемпотентное применение сообщения без отката редакции |
| 11 | Chainlink CCIP: адаптер межсетевого сообщения | Выбор современного CCIP-профиля и границ его доверия |
| 12 | Блокчейн-мост: задержки и восстановление доставки | Восстановление доставки по стадии без второго бизнес-эффекта |
| 13 | Ценовой оракул: источник данных и границы доверия | Различение фиксированного Bitcoin-счёта и USD-индикатора |
| 14 | Ценовой оракул: decimals и целочисленные расчёты | Расчёт сатоши по явным единицам и правилу округления |
| 15 | Ценовой оракул: свежесть данных и безопасный отказ | Проверка положительной, свежей и не будущей цены |
| 16 | L2 sequencer: остановка и восстановление | Независимая проверка sequencer и периода восстановления |
| 17 | Ценовой оракул: администратор и смена источника | Ревизия PricePolicy и совместимость feed-конфигурации |
| 18 | Chainlink Functions и переход к CRE: выбор модели | Исторический Functions и современный отчётный маршрут CRE |
| 19 | Асинхронный оракул: ID запроса и запоздалый ответ | Сопоставление бизнес-задания и попыток асинхронной доставки |
| 20 | Web3-оракул: проверка схемы ответа внешнего API | Нормализованная схема результата проверки выпуска |
| 21 | Web3-оракул: бюджет запроса и лимиты исполнителя | Бюджет и резервирование параллельных запросов workflow |
| 22 | Проверяемая случайность в Web3: модель задания | Фиксированное назначение четырёх вариантов по VRF без переброса |
| 23 | Автоматизация смарт-контракта: повторная проверка условий | Повторная проверка условий потребителем современного CRE-отчёта |
| 24 | Автоматизация Web3: расписание, повторы и гонки | Слоты расписания, атомарное принятие и честная история пропусков |
| 25 | ZK-доказательства: отношение и публичные входы | Договор ZK-отношения и отделение вычисления от ограничения |
| 26 | ZK-доказательства: witness и приватность данных | Маршрут witness, обновление пути и границы приватности |
| 27 | ZK-verifier: привязка доказательства к действию | Привязка proof к действию, получателю и доверенному verifier |
| 28 | Nullifier в ZK-приложении: защита от повторного действия | Однократность в стабильном scope с собственным nullifier-журналом |
| 29 | Web3: модель отказов L2, мостов и оракулов | Модель отказов по отдельным слоям и разрешённым восстановлениям |
| 30 | Web3-приложение: архитектура L2, оракулов и доказательств | Архитектурное досье библиотеки с ролями и планом исполнения |
Профиль и границы
Учебная EVM-база: Solidity 0.8.30, Cancun, chainId 31337, Node 22.14.0, viem 2.37.9. Это согласованный профиль, не утверждение о новейших версиях или установленном окружении. Внешние сети обозначены ролями, их адреса и параметры выбираются отдельно по документации. Современный межсетевой раздел сопоставлен с CCIP EVM API2.0.0; интеграционные SDK не устанавливались.
Прежние Functions и Automation описываются исторически с актуальными уведомлениями о прекращении; новые маршруты строятся концептуально через CRE. VRF рассматривается по модели 2.5. Для ZK использованы понятия Semaphore V4 и Circom 2, без объявления учебной модели реализованной криптографией.
ContentHash выпуска — SHA-256 точных сохранённых байтов манифеста; CID хранится отдельно и целиком. Сам базовый CourseCatalog не навязывает этот алгоритм. Новые MirrorCatalog, PricePolicy, ReleaseCheckRegistry, AssignmentRegistry и AccessClaimRegistry вводятся как явные расширения.
Все тридцать уроков опубликованы. Программы, узлы, workflow, кошельки, доказательства, проверки и транзакции не запускались. Ожидаемый результат отделён от фактически проведённого эксперимента. Обзор ветки Web3 показывает соседние учебные маршруты.