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.
Saber qué demuestra la prueba
Una prueba de validez comprueba una afirmación definida, no toda la seguridad del sistema. Revisa entradas, disponibilidad, circuito y cambios.
- Pregunta si requiere configuración inicial de confianza.
- La privacidad también depende de datos públicos.
Caso práctico: decisión y límites
« ZK » no implica privacidad total. Pregunta qué se oculta, a quién y qué sigue público. Verificar un cálculo no necesariamente oculta importes o direcciones ni prueba verdad de datos externos. Distingue criptografía, disponibilidad, claves y actualizaciones.
Una comprobación concreta
Escriba afirmación probada: cálculo correcto no demuestra verdad de datos externos.
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.
¿Una prueba basta para salir del rollup?
No siempre. Acredita reglas codificadas; reconstruir estado y preparar salida puede exigir datos. Verifique publicación, conservación y salida sin operador disponible.
Fuentes verificables
Contenido educativo independiente revisado con documentación primaria. Sin recomendaciones personalizadas ni promesas de rentabilidad. Actualizado el 6 de octubre de 2026
