Мережа ZK Prover — це децентралізована мережа операторів, відповідальних за генерацію нульових доказів на вимогу. Ці докази можуть бути використані для валідації:

• Переміщень стану ZK rollup
• Слідів виконання смарт-контрактів
• Інференції моделей машинного навчання
• Читання стану між ланцюгами

Мережа включає криптоекономічні стимули та механізми карань, що забезпечують живучість та коректність. Вона побудована для інтеграції з протоколами повторного стейкінгу, такими як EigenLayer, для запозичення безпеки у встановлених ланцюгах.

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

• Виконання обчислень над представленнями стану на основі дерева Меркла
• Стиснення доказів та рекурсію для підтримки ефективності перевірки
• Сумісність з багатьма ланцюгами через перевіряєме з'єднання стану

Ця система дозволяє ланцюгам L2 та L1 отримувати послідовні, комбіновані та перевіряємі дані з інших блокчейнів без введення довірчих припущень.

LA — це рідний утилітний токен екосистеми Lagrange і підтримує наступні функції:

• Платежі за послуги: Користувачі та клієнти оплачують генерацію доказів та результати запитів, використовуючи LA. Якщо використовуються альтернативні токени, частина з них виділяється на зворотні викуплення LA для підтримки попиту.

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

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

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

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

Застосування

Lagrange підтримує кілька реальних випадків використання, включаючи:

• Перевіряєму аналітику DeFi (наприклад, бездокументовані TWAP, розрахунок процентних ставок)
• Децентралізовані системи доказів ШІ через ініціативу DeepProve
• Мінімізацію довіри у міжланцюговій комунікації для rollup і модульних виконавчих шарів

Він пропонує модульні та інтероперабельні інструменти, сумісні з Ethereum та іншими EVM-ланцюгами, що робить їх доступними для широкого спектру децентралізованих додатків і постачальників інфраструктури.