1/ O maior bloqueio para zkML não é a criptografia. É a arquitetura. Tentar provar um modelo inteiro como um único circuito garante: • uso massivo de memória • provas que demoram horas • implementações inutilizáveis Precisávamos de uma nova estrutura.