📋 R010 · Falha de ZK-PoL

Sintoma: O nó não consegue gerar ou validar Provas de Localização (Portão 4). Mensagens são rejeitadas com erro ZK-PoL verification failed.

🔍 Diagnóstico

1. Verifique o backend de ZK:

   paebiru security status --gate 4
   

2. Teste a geração de prova simples:

   paebiru security test-pol
   

🛠️ Ação

Causa 1: Falta de Proximidade Geográfica

O nó está tentando assinar uma localização fora do raio permitido pelo contrato.

• Ação: Verifique se as coordenadas de referência (centros de quórum) estão atualizadas.

Causa 2: Erro de Setup Confiável (CRS)

Os parâmetros Groth16 local estão corrompidos.

• Ação: Baixe novamente o setup confiável oficial da malha.

  paebiru security refresh-crs
  

✅ Verificação

1. O comando paebiru security test-pol retorna “Proof valid”.
2. O nó volta a participar de rounds de aprendizado federado que exigem PoL.

🚨 Escalar

Falhas sistemáticas de ZK-PoL em múltiplos nós podem indicar um ataque de eclipse ou uma mudança não documentada no circuito do protocolo. Consulte a equipe de criptografia.