Lagrange

Sobre Lagrange (LA)

O que é Lagrange (LA)?

A Lagrange é uma empresa de computação verificável, e o LA é o token que paga o trabalho de geração de provas realizado por sua rede. A ideia central é restrita e concreta: cálculos difíceis são executados off-chain por operadores especializados, que devolvem uma prova criptográfica de que o resultado está correto. Qualquer pessoa pode verificar essa prova a baixo custo, o que permite que uma blockchain, uma aplicação ou um auditor aceite um resultado que jamais poderia pagar para recalcular por conta própria.

A Lagrange aplica essa ideia em três direções. A ZK Prover Network é um mercado geral para a geração de provas. O ZK Coprocessor permite que aplicações executem consultas no estilo SQL sobre o estado histórico da blockchain e obtenham uma prova da resposta. O DeepProve produz um recibo criptográfico para uma inferência de IA, de modo que um verificador pode confirmar qual modelo rodou sobre quais entradas sem ver nenhum dos dois.

Fontes oficiais:

• Lagrange
• Documentação da Lagrange
• Lagrange Foundation
• Lagrange Labs no GitHub
• LA na Etherscan

Quem fundou a Lagrange? (História)

A Lagrange Labs é uma empresa de pesquisa e engenharia financiada por capital de risco que trabalha com sistemas de provas de conhecimento zero. Sua identidade pública é a empresa e sua produção de pesquisa, e não um único fundador famoso, e a equipe publica abertamente seus artigos e seu código de circuitos.

O token LA foi introduzido pela Lagrange Foundation, uma entidade separada criada para cuidar da economia da rede, em uma publicação datada de 26 de maio de 2025. O registro para o evento de geração do token da alocação da comunidade foi aberto em 28 de maio de 2025.

Um ponto a observar ao ler textos mais antigos de terceiros: em setembro de 2026, o site da própria empresa destaca um produto de defesa e autonomia chamado Halo ao lado do DeepProve, descreve esses dois como seus produtos em produção e apresenta a ZK Prover Network como a infraestrutura de provas por baixo. Descrições que enquadram a Lagrange apenas como uma empresa de coprocessador para rollups estão desatualizadas.

Como a Lagrange funciona

A ZK Prover Network é documentada como um sistema modular e não como um único provador.

1. Gateway Um cliente envia uma solicitação de prova. O Gateway a autentica, normaliza a entrada entre sistemas de provas e coloca a tarefa em uma fila persistente, para que uma falha não faça perder trabalho.

2. Dispatcher e DARA Um Dispatcher embutido divide a tarefa em fatias de trabalho classificadas como pequenas, médias ou grandes conforme a exigência de hardware, e depois as anuncia ao pool de provadores. A alocação usa o DARA, sigla de Double Auction Resource Allocation, que seleciona provadores equilibrando custo, disponibilidade e desempenho, em vez de uma atribuição em rodízio.

3. Provadores e agregação Os operadores executam provadores que produzem provas parciais, gravadas em uma camada de armazenamento. Quando todas as fatias de um lote são concluídas, o Gateway agrega as provas parciais em uma única saída e a devolve. Novas tentativas e reatribuições acontecem dentro do Gateway, portanto os integradores não precisam construir seu próprio failover.

O objetivo de projeto declarado é evitar o gargalo de gateway único das redes de provadores monolíticas, oferecendo suporte a várias sub-redes independentes com largura de banda dedicada.

Principais componentes do ecossistema

• A ZK Prover Network, implantada como Active Validation Service na EigenLayer, com contratos de mainnet documentados, incluindo um ZKMRServiceManager em 0x22CAc0e6A1465F043428e8AeF737b3cb09D0eEDa e um ZKMRStakeRegistry em 0x8dcdCc50Cc00Fe898b037bF61cCf3bf9ba46f15C, além de uma implantação na testnet Holesky para a integração de operadores
• O ZK Coprocessor, construído sobre ZK MapReduce e uma arquitetura de banco de dados verificável que indexa dados de armazenamento, de estado e de blocos para que consultas sobre o histórico possam ser provadas
• O DeepProve, a biblioteca de aprendizado de máquina de conhecimento zero, publicada abertamente no repositório deep-prove
• O Halo, o motor de coordenação da empresa para sistemas autônomos distribuídos, apresentado para ambientes de defesa e de comunicações contestadas
• A Lagrange Foundation, que publica a economia do token e cuida dos incentivos da rede

Utilidade do token LA

De acordo com a tokenomics publicada pela Foundation, o LA é usado para:

• Pagar pela geração de provas, em que os clientes podem pagar em ativos amplamente aceitos como ETH ou USDC, ou em LA, proporcionalmente ao esforço computacional solicitado
• Pagar os provadores, que sempre recebem em LA, com os pagamentos dos clientes em outros ativos usados para comprar LA
• Subsidiar os custos de geração de provas por meio de emissões do protocolo alocadas aos provadores conforme quantas provas geram
• Staking e delegação, em que os detentores direcionam as emissões para provadores específicos e assim influenciam qual demanda de provas é subsidiada
• Garantir compromissos de serviço, já que o stake do operador funciona como garantia de que uma prova será entregue dentro da janela combinada

A Foundation afirma explicitamente que os detentores de LA não acumulam taxas nem emissões apenas por manter o token de forma passiva. As recompensas vão para stakers e delegadores que as direcionam, e para provadores que fazem o trabalho.

O que torna a Lagrange única?

O primeiro destaque é a camada de alocação baseada em leilão. A maioria das redes de provadores atribui trabalho por fila ou por lista de permissão. O DARA trata a capacidade de gerar provas como um mercado de dois lados, uma abordagem realmente diferente para precificar um recurso escasso e heterogêneo.

O segundo é a amplitude dos alvos de prova. O mesmo substrato de provas é apontado para lotes de rollups, consultas de estado histórico e inferência de aprendizado de máquina, em vez de um único setor.

O terceiro é que o código é inspecionável. O DeepProve, o coprocessador, os contratos da rede e o worker do provador estão todos publicados, o que não é comum entre as startups de provas.

Como a Lagrange se diferencia de cadeias semelhantes

A Lagrange não é uma Layer 1 nem um rollup, e não opera uma cadeia de liquidação própria. É uma rede de serviços cuja saída são provas, então comparações com cadeias costumam ser o enquadramento errado.

Em relação a projetos de disponibilidade de dados e de infraestrutura modular, a diferença está no que é terceirizado. Uma camada de disponibilidade de dados promete que os dados foram publicados. A Lagrange promete que um cálculo sobre dados foi realizado corretamente. Em relação a serviços protegidos por restaking em geral, ela fica na mesma vizinhança da EigenLayer, mas vende computação em vez de atestações.

Em relação a outros esforços de aprendizado de máquina de conhecimento zero, o diferencial que a empresa afirma ter é a vazão. Sua documentação cita geração de provas até cerca de 1000 vezes mais rápida e verificação cerca de 671 vezes mais rápida do que as abordagens anteriores de zkML. São benchmarks publicados pelo fornecedor, então devem ser lidos como afirmações a serem testadas, e não como medições independentes.

Casos de uso da Lagrange

• Rollups e appchains que terceirizam a geração de provas em vez de operar sua própria frota de provadores
• Aplicações que consultam o estado histórico on-chain, por exemplo saldos ponderados no tempo ou agregações de longo prazo, com uma prova anexada à resposta
• Projetos de mensagens entre cadeias e de interoperabilidade que precisam de estado provado em vez de relayers confiáveis
• IA verificável, em que um operador precisa demonstrar que um modelo específico produziu uma saída específica, inclusive em ambientes regulados ou críticos para a segurança
• Cargas de trabalho de autonomia e coordenação em que os participantes não podem presumir um controlador central

Como a Lagrange é protegida

A confiabilidade da rede se apoia no stake dos operadores. Quando um operador aceita uma tarefa de prova, parte do stake fica vinculada como garantia ativa, e o stake ativo total não pode exceder o stake delegado total. Isso limita quanto trabalho um operador pode aceitar e torna cara a não entrega.

As propriedades do próprio token merecem ser descritas com precisão, porque são verificáveis. Lido na mainnet do Ethereum em 11 de setembro de 2026, o contrato do LA em 0x0fc2a55d5bd13033f1ee0cdd11f60f7efe66f467 retorna o nome Lagrange, o símbolo LA e 18 casas decimais. É um proxy atualizável transparente EIP-1967, com a implementação em 0x0e9eb455d94224e2fb67074b1749df2239fbc2db e um contrato separado de administração do proxy. A implementação é um token fungível omnichain da LayerZero, que expõe as funções padrão send, quoteSend, peers, setPeer e endpoint, e usa o controle de acesso da OpenZeppelin com atrasos na transferência do administrador padrão. Ela inclui uma função mint e não expõe nenhuma função cap ou maxSupply. Contratos pares foram configurados na mesma data para os IDs de endpoint da LayerZero correspondentes a BNB Smart Chain, Polygon, Arbitrum, Optimism, Base e Solana, que é como o LA se move entre redes em um modelo de queima e cunhagem.

Riscos e considerações

• Atualizabilidade. O LA fica atrás de um proxy atualizável controlado por um contrato de administração. O comportamento do token pode ser alterado por quem controla esse administrador, o que é um risco de governança e de gestão de chaves, e não um bug.
• Sem teto rígido. O contrato do token não impõe oferta máxima, e a tokenomics publicada descreve uma emissão anual fixa de 4 por cento. O LA deve ser entendido como inflacionário por concepção, e não como um ativo com limite.
• Superfície da bridge. Tokens omnichain dependem da infraestrutura de mensagens entre cadeias e de pares configurados corretamente. Uma configuração errada ou uma falha na camada de mensagens é uma classe real de risco.
• Dependência do restaking. Operar como serviço em uma plataforma de restaking herda a dinâmica de slashing, governança e concentração dessa plataforma.
• Concentração da demanda. A economia liga a demanda pelo token à demanda por provas. Se o volume de provas for dominado por poucos clientes, ou se os custos de geração de provas caírem mais rápido do que o uso cresce, esse vínculo se enfraquece.
• Mudança de setor e de produto. Uma empresa que abrange infraestrutura cripto, verificação de IA e autonomia para defesa executa em bases de clientes e ciclos de compras muito diferentes. O progresso em um não implica progresso em outro.
• Cronograma de desbloqueio. As alocações de colaboradores e investidores ficaram bloqueadas por um ano após o evento de geração do token e depois são desbloqueadas linearmente ao longo de dois anos, enquanto os tokens da comunidade e do ecossistema seguem um cronograma próprio de vários anos.

Por que a Lagrange importa

A computação verificável é uma das poucas primitivas que mudam aquilo que se pode confiar que o software faça. Se uma prova de que uma inferência rodou corretamente ficar barata o bastante para ser anexada a cada chamada de modelo, auditar um sistema de IA deixa de ser uma questão de política e passa a ser uma questão de aritmética. A Lagrange é uma das tentativas mais críveis de tornar isso economicamente prático, e entregou código inspecionável, e não apenas artigos. Se a economia do token captura esse valor é uma questão separada e em aberto.

Onde comprar Lagrange (LA)?

O LA está disponível em exchanges centralizadas e em plataformas descentralizadas nas redes em que o token omnichain foi implantado. A disponibilidade e os pares variam conforme a jurisdição, então confirme qual rede uma plataforma usa para depósitos e saques.

Principais exchanges centralizadas (CEX)

O LA costuma estar disponível em:

• Binance
• Bybit
• KuCoin
• Gate
• OKX

Os pares costumam ser cotados em USDT onde houver suporte.

Opções de armazenamento após a compra

Após a compra, o LA pode ser mantido:

• Em uma exchange, que é custodial
• Em uma carteira de autocustódia compatível com Ethereum, ou em uma carteira configurada para a rede compatível para a qual você fez a bridge
• Em uma carteira Solana, para a representação na Solana
• Atrás de uma carteira de hardware pareada com um software de carteira compatível

Como o mesmo ticker existe em várias redes com formatos de endereço diferentes, sempre confira a rede antes de enviar.

Moedas relacionadas

Você pode comparar o LA com projetos de infraestrutura relacionados na Coinrithm:

• EigenLayer (EIGEN)
• Celestia (TIA)
• Space and Time (SXT)
• Altlayer (ALT)
• Chainlink (LINK)