Дорожная карта GenLayer: путь к мейннету

GenLayer не похож на обычный блокчейн. С помощью LLM и веб-браузинга он первым переносит в блокчейн субъективность и недетерминированность. Консенсус Optimistic Democracy в паре с принципом эквивалентности образует новый алгоритм со множеством граничных случаев и участников. Вернёмся к самому началу, чтобы прояснить, как выглядит дорожная карта сейчас.

Всё началось с того, что Albert, Edgars и JM написали исходный whitepaper и наметили путь от идеи к полноценному протоколу принятия решений, не требующему доверия. Так появилась GenLayer Labs.

Базовая архитектура и команды

Чтобы понять дорожную карту, важно разобраться во всех компонентах GenLayer. Удобнее всего начать со структуры организации: она показывает, какие технические команды у нас есть и за что отвечает каждая из них. Команд четыре: GenVM, Consensus, Node и DevExp.

В сердце GenLayer работает GenVM, наша собственная виртуальная машина, которая запускает Intelligent Contracts. Контракты пишутся на Python, но интерпретируются в среде выполнения WASM. GenVM даёт разработчикам все примитивы, нужные для запуска недетерминированных блоков и написания контрактов, и служит средой исполнения. Валидаторам она также предоставляет грейбоксинг: промежуточный слой (на скриптах Lua), через который они могут повысить защищённость и корректность всего протокола. Рады сообщить, что GenVM почти готова к полноценной работе: недавно в неё добавили обработку изображений. Осталась лишь небольшая доводка: мы продолжаем улучшать документацию и примеры.

Команда Consensus пишет контракты, которые реализуют механику Optimistic Democracy: выбор лидера и валидаторов, голосование с фиксацией и раскрытием (commit-and-reveal), ротации, апелляции, стейкинг и комиссии. Стейкинг только что запущен; над комиссиями (газ, штрафы и вознаграждения) сейчас идёт работа, это последний шаг. Все эти контракты написаны на Solidity и работают в GenLayer Chain.

Узел (Node) связывает консенсус с GenVM. Команда Node начала с нуля: написала бинарный файл узла на golang и реализовала синхронизацию базы данных, прослушивание консенсусных контрактов, исполнение GenVM и передачу результатов обратно в консенсус через commit-reveal. Работа в основном завершена; остались задачи по эксплуатации узлов, связанные с масштабируемостью и обслуживанием.

Команда DevExp первым делом создала Studio, полностью симулированную централизованную версию GenLayer. Studio подтвердила жизнеспособность всей идеи, позволила нам начать строить поверх GenLayer и остаётся нашим главным инструментом разработки, а некоторые проекты уже используют её в продакшене. После запуска Rally Studio получила крупное обновление, которое улучшило её масштабируемость. В дорожной карте не осталось функций, которые блокировали бы работу. Ещё один важный компонент, Explorer, дорабатывается после каждого обновления консенсуса. Кое-что ещё предстоит сделать в инструментах разработчика, но ничего серьёзного.

Ещё одно большое направление: корректность GenLayer. Команда провела множество симуляций консенсуса, злонамеренных участников и комиссий, чтобы убедиться, что стимулы всех участников консенсуса согласованы, а сам он устойчив к атакам. Сейчас мы работаем над формальной спецификацией на TLA+, которая станет вишенкой на торте этого направления исследований.

Инфраструктура и устройство сети

В GenLayer так много новых концепций, что мы решили сосредоточить все силы на них, стараясь не изобретать велосипед и по возможности опираться на существующие надёжные решения. Для детерминированной стороны консенсуса мы выбрали ZKsync с его ZK-доказательствами и расчётами быстрее секунды. Мы очень довольны этим решением: ZKsync стабилен, а его команда постоянно выпускает новые функции. Этот слой мы называем GenLayer Chain: это совместимый с EVM L2 на базе @zksync. Команда ZKsync показала себя отличным партнёром!

Поверх него работает оверлей под названием GenLayer Network, где запущены наши узлы-валидаторы, исполняющие GenVM и консенсус Optimistic Democracy. Здесь происходит вся магия: Intelligent Contracts, недетерминированные операции, консенсус, апелляции и так далее.

Стратегия тестнетов

Компонентов так много, что нам нужно было проверить, как они работают вместе и согласованно. Правильным решением оказался тестнет, который постоянно меняется и развивается. Мы решили запускать его поэтапно, в три стадии, которые будут существовать параллельно: тестнеты Asimov, Bradbury и Clarke.

Тестнеты: Asimov, Bradbury, Clarke

Тестнет Asimov появился первым. Сейчас он активен и находится в четвёртой фазе, а его задача в том, чтобы проверить инфраструктурный слой на стабильность и масштабируемость. Он нестабилен: по ходу работы мы вносили изменения, ломающие совместимость, и сбрасывали его историю. Стабильным он и не задумывался, ведь мы проводим на нём стресс-тесты, чтобы узнать максимальную пропускную способность, и запускаем новые версии узлов, которые могут быть ещё не отлажены. Он предназначен не для разработчиков, а для операторов узлов и основной команды. А ещё для исследователей низкоуровневой безопасности, которые ищут уязвимости и пытаются их эксплуатировать, даже если при этом тестнет упадёт. Консенсусные контракты написаны на Solidity и работают в GenLayer Chain, и Asimov идеально подходит для проверки всех сценариев, по которым может пойти консенсус, включая ротации, апелляции и трибуналы.

Тестнет Bradbury уже на подходе: он заработает в ближайшие недели. В центре внимания здесь ИИ: все вместе (основная команда, валидаторы и разработчики) мы будем учиться настраивать и использовать узлы так, чтобы добиться наилучшей производительности сети. Это непаханое поле для исследований: у нас много идей, которые мы хотели бы опробовать сами и вместе с сообществом. Здесь мы ответим на такие вопросы: какая LLM лучше всего подходит для каждого контракта, как штрафы и вознаграждения применяются к честным, ленивым и злонамеренным валидаторам, как и когда подавать апелляцию. По нашему замыслу, здесь появится множество разных бенчмарков, а исследователи будут экспериментировать, чтобы улучшить GenLayer. Нам нужно активное участие сообщества валидаторов: именно они больше всех выиграют от этих знаний.

Тестнет Clarke станет релиз-кандидатом мейннета. Он будет стабильным, и разработчики могут рассчитывать на такую же производительность и стабильность, как в мейннете. Здесь новые функции будут проходить проверку перед официальным релизом, а работа разработчиков будет субсидироваться, чтобы они могли экспериментировать и дорабатывать свои проекты. Это последняя остановка перед мейннетом.

Путь к мейннету

Как только тестнет Clarke заработает, мы начнём финальные аудиты безопасности перед запуском мейннета.

Подведём итог: все основные команды либо уже закончили работу, либо совершают последний рывок. Следующий большой шаг за тестнетом Bradbury, а вскоре после него придёт черёд тестнета Clarke.

Мы очень рады, что после многих лет упорной работы приближаемся к мейннету и воплощаем в жизнь ту искру идеи, которой впервые поделились в whitepaper. Мы создаём GenLayer вместе и рады проходить этот путь с вами. Впереди много интересного!

Не пропустите нашу Builders Program на points.genlayer.foundation.