Modulus Labs anunciou o lançamento oficial de seu provador de aprendizado de máquina de conhecimento zero (ZKML), Remainder. Ao aplicar o provador GKR à produção pela primeira vez, Remainder alcançou uma melhoria de eficiência de 180 vezes em comparação com o raciocínio de IA tradicional sob condições iguais de hardware. Esta tecnologia não só demonstra um enorme potencial na salvaguarda da privacidade e segurança dos dados, mas também estabelece as bases para a aplicação prática de IA verificável.
O desenvolvimento do Remainder é baseado em insights profundos sobre a exploração de desempenho de provas especializadas de conhecimento zero (ZK) e melhora significativamente a eficiência de verificação do processo de raciocínio de IA, otimizando a aplicação do protocolo GKR. Além disso, o provador completou silenciosamente centenas de milhares de registros de resultados de IA no Ethereum, provando sua estabilidade e confiabilidade em aplicações práticas.
Para aprofundar a teoria por trás do Remainder, o Modulus Labs lançará uma série de artigos este ano, com o primeiro artigo "Extensão Inteligente: Raciocínio Florestal de Decisão Verificável usando Remainder" detalhando uma série de medidas de otimização que suportam Remainder. O projeto MEAP deverá ser lançado no segundo trimestre de 2024, com o objetivo de levar os participantes a dominar o GKR de forma abrangente, da teoria à prática, e a construir e provar circuitos em Remainder.