Separe validade do cálculo e privacidade das entradas. Examine sistema, dados públicos, confiança e disponibilidade.
Precisar o que se prova
Validade não é segredo
Rever parâmetros e código
Definir a afirmação
A prova liga declaração pública a dados privados ou cálculo. Confirma regras do circuito, não a verdade de fonte externa.
Separar garantias
Uma prova de validade confirma mudança de estado. Um rollup que a usa não oculta automaticamente transferências.
Examinar hipóteses
A confiança depende do protocolo, configuração inicial, contrato verificador e segurança da geração.
Verificar dados
Reconstruir o estado ou sair da rede pode exigir dados acessíveis além de prova válida.
Pontos de controlo
| Tema | Verificar |
|---|---|
| Definir a afirmação | Precisar o que se prova |
| Separar garantias | Validade não é segredo |
| Examinar hipóteses | Rever parâmetros e código |
| Verificar dados | Avaliar disponibilidade |
Perguntas frequentes
Prova todo o sistema?
Não. Só a afirmação definida pelo circuito e entradas.
Um ZK rollup oculta todos os pagamentos?
Não. Validade e privacidade são distintas.
Fontes verificáveis
Conteúdo educativo independente revisto com documentação primária. Sem recomendação personalizada nem promessa de retorno. Revisto em 25 de setembro de 2026
