Эксклюзивное интервью Nexus | Jens Groth раскрывает, как построить будущее глобальных верифицируемых вычислений?

Респондент: Йенс Грот, главный научный сотрудник Nexus

Интервью и текст: Алекс, команда контента OpenBuild

В условиях ускоренной интеграции ИИ, больших данных и Web3 проверка подлинности масштабных вычислений становится центральной технологической проблемой цифрового мира. Nexus реализует передовой проект — создание глобальной инфраструктуры проверяемых вычислений, работающей в координированном режиме за счет объединения виртуальной машины с нулевым знанием zkVM[1] и распределенной сети провайверов[2] для создания надежного «суперкомпьютера».

В этом эксклюзивном интервью редакция OpenBuild подробно пообщалась с главным научным сотрудником Nexus, признанным экспертом в области криптографии профессором Йенса Грота[3]. Разговор коснулся ключевых вопросов: эволюция технологий zkVM, проектирование архитектуры распределенных вычислений, пути обеспечения безопасного выполнения задач в сценариях применения ИИ. Он также поделился тем, как Nexus балансирует между производительностью и масштабируемостью при строгой защите конфиденциальности, создавая базисную поддержку для построения проверяемой цифровой цивилизации.

Являясь одним из важных основоположников области доказательств с нулевым разглашением, профессор Йенс Грот предложил широко применяемую систему Groth16[4] в 2016 году. Его исследования заложили прочный фундамент для современного развития zk-вычислений.

Логика построения проверяемого мира

OpenBuild: Можете ли вы кратко описать видение и миссию Nexus в одном предложении?

Йенс Грот: Nexus — это платформа, которая создает базовую инфраструктуру для «проверяемого мира».

Мы считаем, что все важные цифровые действия в будущем — будь то генерация данных, принятие решений искусственным интеллектом или транзакции в блокчейне — должны обеспечиваться гарантиями проверяемости, и именно для этой цели Nexus создает технологический фундамент.

Техническая эволюция zkVM 3.0

OpenBuild: Какие ключевые технические улучшения привнесла версия zkVM 3.0 по сравнению с предыдущими двумя?

Йенс Грот: Это была полная переработка — от базовой архитектуры до производительности выполнения.

Nexus zkVM 3.0[5] использует набор инструкций RISC-V[6] в качестве целевого, обладает мощной модульностью и масштабируемостью, а формальная спецификация гарантирует безопасность и стандартизацию.

Кроме того, мы внедрили полностью переработанное окружение выполнения гостевых процессов, механизм эффективной проверки памяти и обеспечили бэкенд-доказательства благодаря Stwo prover от StarkWare[7][8]. Итогом стала скорость работы, превышающая показатели версий 1.0 и 2.0 в 1000 раз, при одновременном повышении удобства использования.

Распределенная сеть вычислительных мощностей, доступная каждому

OpenBuild: Как работает распределенная сеть провайверов Nexus? Могут ли обычные пользователи принять в ней участие?

Йенс Грот: Абсолютно. Мы существенно снизили порог входа для вычислительных ресурсов. Пользователи могут присоединиться к сети в один клик, используя свой ноутбук или даже смартфон, и поделиться неиспользуемыми вычислительными мощностями. Каждое подключенное устройство усиливает общую вычислительную мощность сети.

В отличие от традиционной «майнерской модели» блокчейна, мы активируем потенциал глобальных устройств. За вклад в вычислительные ресурсы пользователи получают стимулирующие баллы NEX Points[9] от Nexus.

Инструментальный стек для проверяемых вычислений, удобный для разработчиков

OpenBuild: Как Nexus поддерживает разработчиков при создании приложений с использованием zkVM?

Йенс Грот: Мы предоставляем полнофункциональный SDK, инструментальный ряд CLI и подробную документацию[10], чтобы помочь разработчикам легко создавать верифицируемые приложения.

Наши API спроектированы с механизмами предотвращения ошибок и оптимизированы по балансу производительности, верифицируемости и безопасности. Наша цель — сделать Verifiable Execution[11] рутинной частью процесса разработки.

Интеграция и внедрение в сценариях применения ИИ

OpenBuild: Как Nexus обслуживает сценарии применения ИИ? Есть ли типичные примеры использования?

Йенс Грот: Проблема доверия к ИИ[12] становится критической задачей. Возможности проверяемых вычислений Nexus могут быть применены в различных областях:

• Верификация AI-агентов: Например, подтверждение того, что ИИ выполняет бронирование билетов строго в пределах авторизации и бюджета.

• Помощник в криптографических транзакциях: Гарантия того, что инструменты на основе ИИ не генерируют «галлюцинаторные транзакции».

• Проверяемые медиа: Например, автоматическая подпись геолокационных меток и временных штампов при съемке изображений камерой для защиты от дипфейков.

Это лишь универсальные сценарии. Nexus стремится стать базовым стандартом обеспечения доверия[13] для подобных приложений на основе ИИ.

Философия дизайна: конфиденциальность против производительности

OpenBuild: Как Nexus находит технический баланс между защитой конфиденциальности и оптимизацией производительности?

Йенс Грот: Ключевая стоимость проверяемых вычислений заключается в генерации zk-доказательств, процесс которой пока остается дорогостоящим. Nexus осуществляет параллельную обработку вычислений через сеть провайверов, что значительно снижает задержку.

Запуск Verifiable Computation локально позволяет практически бесплатно обеспечить защиту конфиденциальности, поскольку само zk-доказательство компактно и не раскрывает секретные данные. Распределенная обработка может нести риски утечек, поэтому мы активно изучаем методы поддержания двойной гарантии конфиденциальности и эффективности внутри распределенной архитектуры.

Дорожная карта и планы на будущее

OpenBuild: На чем Nexus сосредоточится в ближайшие 1–2 года?

Йенс Грот: В текущем году мы запланировали запуск новой тестовой сети для подготовки к официальному релизу основной. Одновременно с этим мы недавно основали Verifiable AI Lab[14] для изучения глубокой интеграции ИИ и проверяемых вычислений.

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

Заключение

Из этого интервью ясно видно, что Nexus создает не очередную «блокчейн-цепь», а переосмысливает подход к «доверенным вычислениям» в цифровом мире. Связующее звено в виде zkVM и распределенной сети провайверов, которое они строят, станет новой парадигмой надежного взаимодействия в сферах ИИ, Web3 и даже классического интернета.

Примечания

[1] zkVM: https://nexus.xyz/zkvm

[2] Сеть провайверов: https://blog.nexus.xyz/nexus-launches-worlds-first-open-prover-network/

[3] Йенс Грот: http://www0.cs.ucl.ac.uk/staff/j.groth/

[4] Groth16: https://eprint.iacr.org/2016/260

[5] Nexus zkVM 3.0: https://blog.nexus.xyz/zkvm-3-0-and-beyond-toward-modular-distributed-zero-knowledge-proofs/

[6] RISC-V: https://riscv.org/

[7] StarkWare: https://starkware.co/

[8] Stwo prover: https://github.com/starkware-libs/stwo

[9] NEX Points: https://docs.nexus.xyz/layer-1/network-devnet/nex-points

[10] Документация: https://docs.nexus.xyz/home

[11] Verifiable Execution: https://blog.nexus.xyz/the-nexus-execution-layer-incrementally-verifiable-computation/

[12] Проблема доверия к ИИ: https://hbr.org/2024/05/ais-trust-problem

[13] Надежность приложений на основе ИИ: https://blog.nexus.xyz/nexus-zkmcp-verifiable-model-execution/

[14] Verifiable AI Lab: https://blog.nexus.xyz/nexus-verifiable-ai-lab/