Distingue validez del cálculo y privacidad de entradas. Examina sistema, datos publicados, supuestos de confianza y disponibilidad.
Precisar qué se prueba
Validez no es secreto
Revisar parámetros y código
Definir la afirmación
La prueba relaciona una afirmación pública con datos privados o cálculo. Solo acredita reglas del circuito, no la verdad de una fuente externa.
Separar garantías
Una prueba de validez confirma cambios de estado sin repetir todo el cálculo. Un rollup de este tipo no oculta automáticamente operaciones.
Examinar supuestos
La confianza depende del protocolo, configuración inicial, contrato verificador y seguridad de generación.
Comprobar datos
Reconstruir el estado o salir de una red puede requerir datos accesibles además de una prueba válida.
Puntos de control
| Tema | Comprobar |
|---|---|
| Definir la afirmación | Precisar qué se prueba |
| Separar garantías | Validez no es secreto |
| Examinar supuestos | Revisar parámetros y código |
| Comprobar datos | Evaluar disponibilidad |
Preguntas frecuentes
¿Acredita todo el sistema?
No. Solo una afirmación definida por circuito y entradas.
¿Un ZK rollup oculta todos los pagos?
No. Validez y privacidad son propiedades distintas.
Fuentes verificables
Contenido educativo independiente revisado con documentación primaria. Sin recomendaciones personalizadas ni promesas de rentabilidad. Revisado el 25 de septiembre de 2026
