O Knidos é um agente de trading de IA verificável, com a node101 atuando como seu parceiro de desenvolvimento no lado do zero-knowledge. Os agentes de trading são um mercado em rápido crescimento, com um novo serviço prometendo melhor rendimento quase todos os dias; ainda assim, normalmente se pede aos usuários que simplesmente confiem nessas promessas. O Knidos adota a postura oposta: usando tecnologia de proving zero-knowledge, ele alcança um feito inédito no mundo — um agente de trading cujo histórico inteiro pode ser verificado por qualquer pessoa, sem confiar na equipe por trás dele.

A maneira ingênua de provar que um agente de trading é honesto é publicar todas as suas operações onchain. O problema é que isso transforma a verificabilidade em um vetor de ataque. Um agente de IA é muito mais previsível do que um humano, então, assim que suas carteiras se tornam públicas, grandes players podem ler sua estratégia e operar contra ela, colocando os fundos dos usuários em risco. Rotação de carteiras, ambientes de execução confiáveis e exchanges centralizadas esbarram todos na mesma parede: provar a execução do agente acaba revelando sua identidade onchain e, com ela, sua estratégia.

O Knidos resolve esse dilema com o que chama de zkTrade Proofs. Toda verificação que um usuário faria sobre um mês de dados de trading — rendimento realizado, quais ativos foram negociados, timestamps, número de transações, drawdown, taxa de acerto e mais — é expressa como uma checklist determinística e colocada dentro de uma prova zero-knowledge. A prova verifica a alegação inteira, incluindo que as operações são reais e que nenhuma foi omitida, sem revelar nada sobre as carteiras ou posições reais. Isso permite que o Knidos prove tanto que é lucrativo quanto como lucra, sem entregar sua estratégia aos atacantes.

Para tornar a verificação prática, o Knidos é apoiado pelo zkVerify, uma chain especializada em verificação de provas. O Knidos gera uma prova aproximadamente a cada hora e a liquida no zkVerify, onde qualquer pessoa pode confirmar que ela é matematicamente correta e corresponde às métricas que o Knidos publica. O resultado é um modelo de confiança 1-de-N: uma única pessoa, em qualquer lugar do mundo, verificando o Knidos é suficiente para torná-lo trustless para milhões. O Knidos não é trustless porque você precisa verificar tudo sozinho, mas porque você pode.