É totalmente possível construir um circuito ZK que passe por todos os seus testes de validação enquanto, na prática, calcula um resultado inteiramente não pretendido. Um novo verificador open source chamado LLEQ foi criado especificamente para detectar exatamente esse problema, e ele já está oficialmente em funcionamento agora.