Lagrange Labs tem o orgulho de anunciar o DeepProve-1, o primeiro sistema zkML pronto para produção a gerar com sucesso uma prova criptográfica de uma inferência completa de um modelo de linguagem grande (LLM). Este lançamento demonstra que a IA verificável não é mais uma aspiração distante—agora é uma realidade.

Com o DeepProve-1, conseguimos gerar com sucesso uma prova de conhecimento zero para a inferência completa do GPT-2 da OpenAI—um grande avanço no campo da IA verificável. Esta conquista não é apenas um feito técnico; estabelece uma base concreta para o suporte a zkML na próxima geração de modelos de linguagem grandes, incluindo LLAMA, Gemma e outros. Arquitetonicamente, o GPT-2 e o LLAMA da Meta compartilham semelhanças marcantes, o que significa que o DeepProve está agora mais perto do que nunca de conseguir provar um LLM baseado em LLAMA. A Lagrange planeja preencher essa última lacuna nos próximos meses, permitindo que o DeepProve suporte os LLMs de código aberto mais amplamente adotados no mundo.

O DeepProve-1 marca um ponto de inflexão na progressão do aprendizado de máquina, introduzindo a verificabilidade como uma característica central dos sistemas de IA modernos. A verificabilidade, anteriormente limitada a tipos básicos de modelos como MLPs e CNNs, agora se estende a arquiteturas de transformadores completas. À medida que a IA cada vez mais alimenta a tomada de decisões em defesa, saúde, finanças e infraestrutura, o DeepProve-1 traz integridade criptográfica para os sistemas que mais importam.