От неоднозначного вопроса
к решению, которому можно доверять.

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

В первом раунде из сети всегда случайно выбираются ровно 5 валидаторов. Один из них назначается лидером: он исполняет Intelligent Contract и предлагает ответ. Остальные независимо перепроверяют его по принципу эквивалентности. Если согласны более 50%, ответ оптимистично принимается и становится окончательным за считаные минуты.

Если кто-то оспорит ответ в окне финальности, дело переходит на следующий уровень: каждый раунд апелляции увеличивает группу валидаторов до 2n+1, так что 5 превращается в 11, затем в 23, затем в 47 и так далее. Группа каждый раз примерно удваивается, и возникают точки Шеллинга: стимулы стейкинга подталкивают валидаторов к истине, и честное согласие становится самым выгодным путём. В редком худшем случае эскалация доходит до максимума, около 1 000 валидаторов (фактически это все активные валидаторы). Обычно ответ становится окончательным примерно за 30 минут, а полная эскалация до максимальной группы занимает около трёх часов.

Традиционные смарт-контракты состоят только из кода: они детерминированы, негибки и не видят реального мира. Intelligent Contracts устроены иначе. Они сочетают код на Python, спецификации на естественном языке и возможность получать данные о реальном мире из веба. Такой контракт может прочитать сайт, разобрать PDF, проверить статус рейса или истолковать пункт договора об оказании услуг.

Сам контракт формулирует, какие исходы считать эквивалентными. Разработчики пишут правила вроде: «Если заказ доставлен в пределах 24 часов от обещанной даты, считать доставку своевременной». Оценивая контракт, валидаторы применяют и логику кода, и собственные рассуждения о формулировках и доказательствах. Так любая неоднозначная ситуация из реального мира становится вопросом, по которому сеть может вынести решение, заслуживающее доверия.

Intelligent Contracts исполняются в GenVM, изолированной среде выполнения. Она работает на каждом узле-валидаторе и позволяет безопасно и под контролем сочетать детерминированные и недетерминированные вычисления. Детерминированные операции (арифметика, криптографическая проверка, чтение состояния) выполняются одинаково на каждом узле. Недетерминированные операции (вызовы LLM, запросы к вебу, чтение временных меток) разрешены, но записываются в журнал.

GenVM записывает не только итоговый ответ, но и ход рассуждений: к каким веб-источникам обращались, какие вызовы LLM делались и что вернула модель. Когда валидаторы расходятся во мнениях, они могут изучить рассуждения друг друга, а сеть может проследить, где возникло расхождение. Благодаря этой прозрачности апелляции имеют смысл: если валидатор рассуждал небрежно или предвзято, более широкая группа коллег это заметит.

Грейбоксинг (от англ. grey box, «серый ящик») защищает GenLayer от состязательных входных данных. Название выбрано не случайно: это не чёрный ящик (без прозрачности) и не стеклянный (без защиты), а именно серый. Если роль судьи в контракте доверить одной ИИ-модели, злоумышленник может провести атаку через промпт-инъекцию: тщательно сформулированный вопрос или встроенная инструкция заставят модель дать ложный ответ.

Грейбоксинг сводит такую атаку на нет, потому что требует разнообразного набора моделей, неизвестных заранее. Каждый валидатор работает на своей LLM либо на той же модели, но с другими системными промптами, случайными сидами, настройками температуры или данными обучения. Злоумышленник не может заранее знать, какие модели будут выбраны, как они будут настроены и каким путём пойдут их рассуждения. Даже если атака сработает на одной модели, на остальных она провалится. Разнообразие становится защитой.