Виталик Бутерин запускает демо анонимной доски сообщений на Aztec L2

Сооснователь Ethereum Виталик Бутерин выпустил рабочий демо-анонсовый месседжборд на Aztec в воскресенье. Он поделился проектом в Farcaster, описав его как «игрушечную версию, написанную под настрой “vibe-coded”» концепции «анонимного билборда с модерацией», которую он изложил в блогпосте 2022 года. Демо реализует полностью приватные публикации в паре с модерацией на ончейн-уровне в сети Aztec уровня 2. Код публично доступен на GitHub под аккаунтом vbuterin Бутерина. Проект решает проблемы приватности и модерации контента в децентрализованных системах общения, сочетая анонимные публикации с программируемыми правилами цензуры.

Техническая архитектура в Aztec уровня 2

Месседжборд построен на Aztec. Пользователи вносят ETH на базовый слой Ethereum, анонимно публикуют сообщения на уровне 2, а позже выводят свой ETH обратно на уровень 1 — так сказано в репозитории. Публикации не содержат адрес отправителя в публичных calldata и не связаны с исходным депозитом.

Бутерин отметил в последующем касте в Farcaster, что Aztec достиг стадии 2 — самого децентрализованного уровня на шкале зрелости уровня 2.

Ончейн-система модерации с LLM-демоном

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

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

Лимитирование частоты и формальная верификация

Публикации ограничиваются по частоте через кулдаун, который уменьшается по мере роста депозита. Согласно репозиторию, 0,001 ETH покупает одну публикацию в час, а 0,01 ETH — десять публикаций в час.

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

Статус разработки и открытые пункты

В репозитории работа описана как ранняя и незавершенная; среди открытых пунктов — исправления контроля доступа и не протестированные сценарии в браузере. Бутерин в своем касте сказал, что демо уже умеет «очень интересные нетривиальные вещи».

FAQ

Что делает демо анонимного месседжборда от Виталика Бутерина?

Демо позволяет пользователям публиковать сообщения анонимно на Aztec уровне 2 после внесения ETH на базовый слой Ethereum. Публикации не содержат адрес отправителя в публичных calldata и включают ончейн-систему модерации, которая помечает контент, нарушающий правила, с помощью локального LLM-демона.

Как работает система модерации в месседжборде Бутерина?

Роль цензора, заданная при развертывании, может помечать публикации как «аморальные». Локальный LLM-демон оценивает каждую публикацию по ончейн-политике модерации и помечает нарушения. Помеченные публикации скрываются из ленты по умолчанию и накладывают штраф в виде тайм-лока на следующее сообщение автора.

Каков текущий статус разработки проекта?

В репозитории работа указана как ранняя и незавершенная. Открытые пункты включают исправления контроля доступа и не протестированные браузерные сценарии. Система включает формальную верификацию в Lean 4 по 70 теоремам, охватывающим свойства безопасности для лимитов частоты, проверки на цензуру, приватности и безопасности депозита.