A Rede ZK Prover é uma rede descentralizada de operadores responsável por gerar provas de conhecimento zero sob demanda. Essas provas podem ser usadas para validar:

• Transições de estado de rollups ZK
• Rastros de execução de contratos inteligentes
• Inferência de modelos de aprendizado de máquina
• Leituras de estado entre chains

A rede inclui incentivos criptoeconômicos e mecanismos de penalização, garantindo disponibilidade e correção. Ela é construída para integrar com protocolos de restaking, como o EigenLayer, para emprestar segurança de chains estabelecidas.

O Coprocessador ZK permite que aplicativos realizem consultas estilo SQL sobre o estado na cadeia e obtenham resultados criptograficamente verificados. Ele suporta consultas analíticas complexas, verificação de pertencimento a conjuntos e agregação de provas recursivas. As principais capacidades técnicas incluem:

• Execução de cálculos sobre representações de estado baseadas em árvores Merkle
• Compressão e recursão de provas para manter a eficiência de verificação
• Compatibilidade entre múltiplas chains por meio de bridges de estado verificáveis

Esse sistema permite que chains L2 e L1 acessem insights de dados consistentes, compostos e verificáveis de outras blockchains sem introduzir suposições de confiança.

LA é o token utilitário nativo do ecossistema Lagrange e suporta as seguintes funções:

• Pagamentos de Taxas: Usuários e clientes pagam pela geração de provas e resultados de consultas usando LA. Se tokens alternativos forem utilizados, uma parte é alocada para recompra de LA para manter a demanda.

• Staking e Delegação: Provedores da rede devem fazer staking de LA para realizar operações. Delegadores podem participar do staking, ganhando uma parte das recompensas e fortalecendo a segurança da rede.

• Distribuição de Subsídios: O protocolo emite emissões fixas de LA para subsidiar os custos de geração de provas. Essas emissões são alocadas proporcionalmente com base no volume de provas produzidas por cada provedor.

• Governança: Espera-se que os detentores de tokens LA participem da governança do protocolo, incluindo ajustes nas estruturas de taxas, modificação de regras de consulta ou evolução do cronograma de subsídios.

Lagrange foi fundado por Ismael Hishon-Rezaizadeh, um pesquisador e construtor em sistemas criptográficos e computação verificável. Ele lidera a equipe da Lagrange Labs, que se concentra em infraestrutura baseada em conhecimento zero para aplicações descentralizadas. Em maio de 2025, a Fundação Lagrange foi estabelecida para supervisionar o desenvolvimento a longo prazo, governança e sustentabilidade do protocolo.

Aplicações

Lagrange suporta múltiplos casos de uso do mundo real, incluindo:

• Análises DeFi verificáveis (por exemplo, TWAPs sem confiança, computação de taxas de juros)
• Sistemas de prova de IA descentralizada por meio da iniciativa DeepProve
• Comunicação entre chains minimizando a confiança para rollups e camadas de execução modular

Oferece ferramentas modulares e interoperáveis compatíveis com Ethereum e outras chains EVM, tornando-o acessível a uma ampla gama de aplicações descentralizadas e provedores de infraestrutura.