Сеть ZK Prover — это децентрализованная сеть операторов, отвечающих за генерацию доказательств с нулевым разглашением по запросу. Эти доказательства могут использоваться для проверки:

• Переходов состояния ZK rollup
• Трасс выполнения смарт-контрактов
• Вывода моделей машинного обучения
• Чтения состояния между цепями

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

ZK сопроцессор позволяет приложениям выполнять запросы в стиле SQL к состоянию в цепочке и получать криптографически проверенные результаты. Он поддерживает сложные аналитические запросы, проверку членства в множестве и рекурсивную агрегацию доказательств. Ключевые технические возможности включают:

• Выполнение вычислений над представлениями состояния на основе дерева Меркла
• Сжатие доказательств и рекурсию для поддержания эффективности проверки
• Совместимость с многосетевыми решениями через проверяемые мосты состояний

Эта система позволяет цепям L2 и L1 получать последовательные, составные и проверяемые данные из других блокчейнов без введения предположений о доверии.

LA — это родной утилитный токен экосистемы Lagrange и поддерживает следующие функции:

• Оплата сборов: Пользователи и клиенты оплачивают генерацию доказательств и результаты запросов с использованием LA. Если используются альтернативные токены, часть средств выделяется на выкуп LA для поддержания спроса.

• Стекинг и делегирование: Провайдеры сети должны ставить LA для выполнения операций. Делегаторы могут участвовать в стекинге, зарабатывая долю вознаграждений и усиливая безопасность сети.

• Распределение субсидий: Протокол устанавливает фиксированные эмиссии LA для субсидирования затрат на генерацию доказательств. Эти эмиссии распределяются пропорционально объему доказательств, произведенных каждым провайдером.

• Управление: Ожидается, что держатели токенов LA будут участвовать в управлении протоколом, включая корректировку структуры сборов, изменение правил запросов или эволюцию графика субсидий.

Lagrange был основан Исмаэлем Хишон-Резаизадехом, исследователем и создателем криптографических систем и проверяемых вычислений. Он возглавляет команду в Lagrange Labs, которая сосредоточена на инфраструктуре на основе нулевых знаний для децентрализованных приложений. В мае 2025 года был основан Фонд Lagrange для наблюдения за долгосрочным развитием, управлением и устойчивостью протокола.

Приложения

Lagrange поддерживает множество реальных вариантов использования, включая:

• Проверяемую аналитики DeFi (например, надежные TWAP, вычисление процентной ставки)
• Децентрализованные системы доказательства ИИ через инициативу DeepProve
• Минимизированную по доверию межсетевую связь для роллапов и модульных исполнительных слоев

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