Haz click en barras, líneas o puntos
Apéndice ZK del paper
Cómo demostrar el avance sin publicar el vector de ataque
Convierte el apéndice metodológico en una explicación legible: qué prueba la ZK disclosure, por qué usa 9024 inputs y qué parte del paper verifica.
1 idea: resume el capítulo en una frase antes de seguir.
1 ejemplo: conecta la idea con una wallet, firma, cuenta o migración real.
1 decisión: pregunta que actor tiene menos tiempo o mas superficie expuesta.
Trazabilidad visual
Gráficos que cambian la lectura del capítulo
Cada pestaña responde una pregunta concreta del capítulo con datasets trazables. Antes de revelar, mueve tu umbral naranja y haz click en una barra o punto: así el gráfico obliga a comparar, no solo mirar colores.
¿Donde sube el riesgo de explicar demasiado sin fuente directa?
Lee este capitulo con una ruta mental clara
La meta no es avanzar rapido: es poder explicar el riesgo con tus palabras, compararlo con un caso real y saber que evidencia falta.
1. Recupera
Conecta con lo anterior
La prueba ZK valida parte de la metodologia sin publicar el vector completo de ataque.
2. Traduce
Baja el vocabulario
Sigue el capitulo con estas anclas visibles: Prueba de conocimiento cero, Fiat-Shamir, Puerta Toffoli, Qubit lógico.
3. Aplica
Llevalo al mercado
Mira si el riesgo vive en firma, hash, setup, curva, pairing o parametro de seguridad.
4. Comprueba
Cierra con evidencia
Despues de leer, abre uno de los 2 simuladores relacionados y cambia una sola variable.
Analogia visible
Un proof system es como un recibo comprimido: convence sin mostrar todo, pero depende de sus supuestos.
Pregunta de control
No llames 'quantum risk' a todo: ubica el supuesto criptografico exacto.
Recupera una idea antes de leer más
El panel empieza cerrado a propósito: intenta responder primero, pide pista si te trabas y recién después mira la respuesta guía.
Tarjeta 1/3
Pregunta primero
- 1. Responde sin mirar
- 2. Pide pista mínima
- 3. Verifica respuesta
- 4. Cambia una variable
Sin mirar, elige una opcion y justifica el descarte: que equilibra una ZK disclosure en este contexto? Cierra con pieza tecnica -> ventana -> actor -> evidencia.
Antes de leer: una pregunta, una imagen y un caso
Antes de leer, responde sin mirar: Como puede un paper demostrar suficiente rigor sin entregar un manual completo de ataque?
En palabras simples
Una prueba ZK permite validar una afirmacion sin revelar todos los detalles privados que podrian ser explotables. Ruta desde cero: nombra la pieza, ubica cuando se expone y recien despues decide.
Por qué importa
La duda correcta no es 'publican todo o nada', sino que pieza queda validada y que pieza sigue protegida. Esta capa evita memorizar palabras sin saber que evidencia o actor cambian la accion.
Glosario mínimo
Ejemplo trabajado: evidencia sin exploit completo
Un investigador quiere probar bounds de recursos, pero no quiere liberar el circuito completo. Primero usalo como caso resuelto; no intentes optimizar ni debatir todavia.
- 1
Compromete el circuito privado para que no pueda cambiarlo despues. Nombra la pieza tecnica en una palabra.
- 2
Ejecuta una bateria amplia de inputs verificables. Marca la ventana, dependencia o responsable.
- 3
Publica bounds y metodologia, no el vector explotable completo. Cierra con evidencia, limite y decision minima.
Transición: Al cerrar Learn, vuelve al glosario: si puedes explicar cada termino con un ejemplo, ya no dependes de memorizar. Antes de avanzar, intenta contarlo en 20 segundos sin mirar.
La prueba metodológica detrás del paper
El apéndice existe para reducir el salto de fe: muestra cómo validar el trabajo sin soltar el circuito privado.
Se fija un circuito privado
Ese circuito se compromete criptográficamente y se somete a tests derivados de Fiat-Shamir.
Se prueban 9024 casos
Ese número sostiene una garantía fuerte de corrección aproximada.
Se validan resource bounds concretos
La prueba ZK certifica que los bounds publicados no son humo ni simple narrativa editorial.
El apéndice metodológico del paper prueba 9024 inputs pseudo-random derivados por Fiat-Shamir para sostener la corrección aproximada del circuito con seguridad criptográfica fuerte.
9024 inputs
Es el número correcto que la UI debe mostrar al explicar el apéndice.
Estado de evidencia: Verificado
Claim trazado directamente a fuente primaria, paper u oficial.
Limite: Sigue acotado a la fuente, fecha y seccion citada.
Appendix A. ZK proof appendix
El proof statement del apéndice para la variante low-qubit valida un circuito con hasta 1175 logical qubits y 2.7 millones de non-Clifford gates sobre 9024 test cases.
1175 logical-qubits
Este bound pertenece al circuito validado en el apéndice y no debe confundirse con el headline final de ECDLP completo.
Estado de evidencia: Verificado
Claim trazado directamente a fuente primaria, paper u oficial.
Limite: Sigue acotado a la fuente, fecha y seccion citada.
Appendix A. ZK proof appendix
El proof statement del apéndice para la variante low-gate valida un circuito con hasta 1425 logical qubits y 2.1 millones de non-Clifford gates sobre 9024 test cases.
1425 logical-qubits
Este bound también pertenece al circuito validado en el apéndice y requiere contexto antes de compararlo con el ataque final.
Estado de evidencia: Verificado
Claim trazado directamente a fuente primaria, paper u oficial.
Limite: Sigue acotado a la fuente, fecha y seccion citada.
Appendix A. ZK proof appendix
La prueba ZK valida parte de la metodologia sin publicar el vector completo de ataque.
Antes de elegir, di tu respuesta en voz baja; despues compara que palabra cambio.
Sin mirar, elige una opcion y justifica el descarte: que equilibra una ZK disclosure en este contexto? Cierra con pieza tecnica -> ventana -> actor -> evidencia.
Elige un contraste a la vez para no mezclar demasiadas capas.
Prueba parcial vs headline
Validar una pieza critica no equivale a publicar todo el ataque final.
El apendice fortalece la trazabilidad, pero hay que mantener separadas las capas de evidencia. Prueba de transferencia: cambia una sola condicion y di que permanece igual; despues compara con un modulo vecino del dashboard.
Al cerrar la ruta Learn
Recupera sin abrir notas: Relee un claim tecnico y pregunta: que valida exactamente y que no valida?
Esa pregunta evita convertir evidencia fuerte en certeza exagerada. Si no sale, no releas todo: recupera una pista, revisa el ejemplo trabajado, mira una sola visualizacion y cambia una variable.
- Un escenario no es prediccion: ordena senales observables, actores, dependencias y respuestas posibles sin vender certeza calendario.
- On-spend, at-rest y on-setup son ataques con ventanas y responsabilidades distintas.
- Los estimates separan low-qubit, low-gate, qubits logicos, qubits fisicos y Toffoli count.
- El clock decide si una capacidad cuantica toca on-spend, at-rest o activos dormidos.
- La prueba ZK valida parte de la metodologia sin publicar el vector completo de ataque.
Calibración antes de seguir
Elige el estado más honesto. La ruta usa esta pausa para separar reconocer palabras de poder reconstruir el caso sin mirar.
Qué prueba la ZK disclosure
La prueba no enseña el circuito privado completo, pero sí certifica que existen circuitos coherentes con ciertos resource bounds y que pasan una batería de tests derivada por Fiat-Shamir.
Pregunta guia: que cambia en seguridad, tiempo o actor responsable si esta idea se rompe?
Es demostrar que tienes una llave funcional con ciertas dimensiones sin entregar una copia al público.
Puedes demostrarle a una auditoría que sabes la contraseña correcta sin escribirla en el informe.
La señal para el mercado no es 'el circuito está público', sino 'hay una metodología verificable que reduce el salto de fe'.
Recordatorio: ZK aquí funciona como evidencia controlada: valida sin regalar el vector.
Lo aprendido
La prueba reduce el salto de fe de la comunidad sin regalar el circuito completo.
Ahora conecta con
Por qué el apéndice usa 9024 inputs
El apéndice usa 9024 test cases pseudo-random derivados por Fiat-Shamir para sostener la corrección aproximada del circuito con seguridad criptográfica fuerte.
Por qué el apéndice usa 9024 inputs
El apéndice usa 9024 test cases pseudo-random derivados por Fiat-Shamir para sostener la corrección aproximada del circuito con seguridad criptográfica fuerte.
Pregunta guia: que cambia en seguridad, tiempo o actor responsable si esta idea se rompe?
Un examen con una sola pregunta no demuestra dominio; una batería derivada de forma no manipulable aumenta la confianza.
Cuando una tesis depende de una cifra técnica, la pregunta no es solo el número, sino cómo fue validado.
- El número correcto es 9024 inputs.
- No es un redondeo ni un detalle ornamental.
- Sirve para justificar una garantía fuerte de corrección aproximada.
Recordatorio: 9024 no es decoración: es parte de la trazabilidad metodológica.
Lo aprendido
Ese número convierte 'hicimos pruebas' en una afirmación verificable.
Ahora conecta con
Qué bounds concretos valida el apéndice
El apéndice valida bounds para circuitos de point addition que alimentan la compilación final: 1175 logical qubits / 2.7M gates en la variante low-qubit y 1425 / 2.1M en la low-gate.
Qué bounds concretos valida el apéndice
El apéndice valida bounds para circuitos de point addition que alimentan la compilación final: 1175 logical qubits / 2.7M gates en la variante low-qubit y 1425 / 2.1M en la low-gate.
Pregunta guia: que cambia en seguridad, tiempo o actor responsable si esta idea se rompe?
Validar una pieza del motor no es lo mismo que medir todo el auto en carretera, pero sí te dice si una parte crítica funciona dentro de límites.
Estos bounds ayudan a juzgar rigor metodológico; no deben venderse como el coste total final de atacar una red en producción.
- No son los mismos numbers headline del ataque ECDLP completo.
- Necesitan contexto para no mezclar layers de la estimación.
Recordatorio: Apéndice, variante y headline son tres capas distintas de evidencia.
Laboratorio después de leer
Ahora mueve variables y convierte el gráfico en decisión
Primero viste la evidencia principal. Esta segunda capa sirve para probar escenarios, cerrar una prioridad y practicar lo que acabas de leer sin mezclarlo con el gráfico principal del capítulo.
Laboratorio Learn: escenarios cuanticos accionables
Cuatro graficos para convertir el capitulo en decision, actor y timeline.
Usalo como tablero comun: compara Shor/Grover, identifica exposicion de clave publica, asigna actor-accion y ubica la fase de migracion.
Mayor presion
Firmas ECDLP
Shor 88/100
Readiness media
55/100
Promedio de actores y fases, no probabilidad.
Contexto de datos
Escenario
Índice pedagógico derivado del capítulo.
Algoritmo vs superficie
Comparador Shor / Grover
Contrasta firmas, hashes y hardware para evitar la lectura falsa de que todo riesgo cuantico se comporta igual.
ZK y supuestos criptograficos
No todo riesgo ZK es el mismo riesgo de firma.
Ubica si el supuesto vive en curva, pairing, hash, setup o parametro de seguridad antes de llamarlo quantum risk.
Mayor prioridad
Curvas
Índice 76/100
Brecha critica
Curvas
Exposición 78 vs mitigación 40
Confianza media
67/100
Promedio de lectura, no probabilidad de evento.
Mapa comparativo
Exposicion vs mitigacion
Lee cada grupo como una tension: la exposicion sube cuando la pieza queda visible; la mitigacion sube cuando existe una accion concreta.
Práctica visual opcional
Abrir simulador y focos de repaso del capítulo
Este bloque ya no compite con la evidencia principal: úsalo como gimnasio de vocabulario, analogías y filtros si quieres repasar.
🧾 Apéndice ZK visual: aprende tocando los datos
Este bloque existe para que el capítulo no sea solo texto: contiene gráficos, una infografía, filtros y un simulador. La evidencia principal ya está arriba; aquí practicas el vocabulario y detectas qué idea conviene repasar antes de seguir.
🧪 Simulador embebido
Simulador de prueba sin filtración
¿Cuánta evidencia puedes mostrar sin regalar el vector de ataque?
Lectura del simulador
Prioridad media: la idea ya se entiende, pero falta contrastarla con otra capa o ejemplo.
📊 Gráfico principal del capítulo
🧾 De texto a decisión: concepto, exposición, tiempo y acción
Toca una lente para ver qué parte del capítulo necesita más atención. Las barras son una lectura comparativa para localizar qué idea debes reforzar; los gráficos grandes de arriba contienen la evidencia principal del capítulo.
🖼️ Infografía del capítulo
🧾 Pieza → ventana → actor → evidencia → acción
Una prueba ZK permite demostrar propiedades del avance sin publicar todos los detalles explotables del circuito.
Foco activo
ZK proof
🧩 Nivel bajo: ZK proof importa porque cambia el vocabulario con el que lees Apéndice ZK visual; defínelo en una frase y compáralo con la tesis del capítulo. Transferencia: aplícalo a un usuario, exchange, custodio o protocolo antes de seguir.
Cierre pedagogico
Antes de pasar al siguiente capitulo
Fuentes y fecha17 referencias
Como leer estas fuentes
Paper
Ancla tecnica: que dice el documento base o el estudio primario.
Oficial
Estado institucional: que publica NIST, EF, Google, IBM u otro owner.
Metodo
Diseno pedagogico: valida una practica de aprendizaje, no garantiza resultados iguales para todos.
Norma
FIPS/SP fija el estado tecnico-normativo; adopcion, UX y governance siguen siendo otra capa.
Inferido
Puente editorial: que se deduce al combinar claims.
Escenario
Condicion: que solo vale si se cumplen supuestos concretos.
Securing Elliptic Curve Cryptocurrencies against Quantum Vulnerabilities: Resource Estimates and Mitigations
Documento base del proyecto. Contiene las estimaciones de recursos, la taxonomía de vulnerabilidades, la discusión sobre activos dormidos y la prueba del apéndice. Su ficha se conserva sin exponer rutas privadas del entorno de investigación.
Appendix A del paper.
Limite: No convierte por si solo una estimacion en fecha de explotabilidad o roadmap de producto. No prueba que haya cambios posteriores fuera de esta copia.
Safeguarding cryptocurrency by disclosing quantum vulnerabilities responsibly
Official Google summary of the paper with the updated resource estimates and disclosure framing.
Resumen oficial de zero-knowledge disclosure.
Limite: Sigue siendo sensible a cambios de roadmap, governance y calendario de implementacion. Puede cambiar despues del acceso registrado.
Improving Students' Learning With Effective Learning Techniques
Review of practice testing, distributed practice, interleaved practice, self-explanation, and related study techniques.
Base para priorizar practica de recuperacion, spacing e interleaving sobre relectura pasiva.
Limite: No convierte por si solo una estimacion en fecha de explotabilidad o roadmap de producto. Puede cambiar despues del acceso registrado.
Distributed practice in verbal recall tasks: A review and quantitative synthesis
Meta-analysis used to ground spaced repetition: spacing and retention interval should be matched instead of repeating everything in one session.
Ancla la repeticion espaciada: el intervalo se elige segun cuanto tiempo quieres retener.
Limite: No convierte por si solo una estimacion en fecha de explotabilidad o roadmap de producto. Puede cambiar despues del acceso registrado.
Test-enhanced learning: taking memory tests improves long-term retention
Primary retrieval-practice study used to justify answer-before-reveal checkpoints and active recall prompts.
Justifica preguntas de recuerdo antes de revelar la respuesta guia.
Limite: No convierte por si solo una estimacion en fecha de explotabilidad o roadmap de producto. Puede cambiar despues del acceso registrado.
Cognitive Architecture and Instructional Design: 20 Years Later
Current open review of cognitive load theory used to keep simulator instructions focused on one variable, worked examples, and transfer limits.
Base para reducir carga cognitiva: una variable por vez, ejemplos claros y progreso gradual.
Limite: No convierte por si solo una estimacion en fecha de explotabilidad o roadmap de producto. Puede cambiar despues del acceso registrado.
Nine Ways to Reduce Cognitive Load in Multimedia Learning
Multimedia-learning reference used to avoid split attention and to pair short explanations with the visual simulator state.
Guia para combinar texto y visual sin sobrecargar la memoria de trabajo.
Limite: No convierte por si solo una estimacion en fecha de explotabilidad o roadmap de producto. Puede cambiar despues del acceso registrado.
The Past, Present, and Future of the Cognitive Theory of Multimedia Learning
Current multimedia-learning synthesis used for dual-channel, limited-capacity, and generative-processing guidance in visual labs.
Actualiza dual coding/multimedia: canales visual y verbal, capacidad limitada y procesamiento generativo.
Limite: No convierte por si solo una estimacion en fecha de explotabilidad o roadmap de producto. Puede cambiar despues del acceso registrado.
Eight Ways to Promote Generative Learning
Generative-learning review used for summarizing, mapping, drawing, self-testing, self-explaining, teaching, and enacting prompts.
Soporte para resumir, dibujar, autoexplicar y enseñar como movimientos generativos.
Limite: No convierte por si solo una estimacion en fecha de explotabilidad o roadmap de producto. Puede cambiar despues del acceso registrado.
Learning from Examples: Instructional Principles from the Worked Examples Research
Worked-examples review used to show solved examples before asking learners to vary a nearby case.
Sostiene ejemplos trabajados antes de pedir al usuario resolver una variante.
Limite: No convierte por si solo una estimacion en fecha de explotabilidad o roadmap de producto. Puede cambiar despues del acceso registrado.
Toward an Instructionally Oriented Theory of Example-Based Learning
Example-based learning reference used to connect worked examples, observation, analogy, and transfer across simulators.
Conecta ejemplos, analogias y transferencia entre casos vecinos.
Limite: No convierte por si solo una estimacion en fecha de explotabilidad o roadmap de producto. Puede cambiar despues del acceso registrado.
Learning strategies: a synthesis and conceptual model
Open synthesis used to frame strategy choice by learning phase and to include planning, monitoring, and transfer prompts.
Enmarca que una estrategia funciona mejor cuando coincide con la fase de aprendizaje.
Limite: No convierte por si solo una estimacion en fecha de explotabilidad o roadmap de producto. Puede cambiar despues del acceso registrado.
How People Learn II: Learners, Contexts, and Cultures
Official synthesis used for metacognition, learner context, prior knowledge, and transfer-oriented learning design.
Sintesis oficial para metacognicion, contexto del aprendiz y transferencia.
Limite: Sigue siendo sensible a cambios de roadmap, governance y calendario de implementacion. Puede cambiar despues del acceso registrado.
Organizing Instruction and Study to Improve Student Learning
Official practice guide covering spaced review, interleaved examples, active quizzing, concrete representations, and deep explanatory questions.
Guia oficial para espaciar repasos, mezclar ejemplos y hacer preguntas explicativas profundas.
Limite: Sigue siendo sensible a cambios de roadmap, governance y calendario de implementacion. Puede cambiar despues del acceso registrado.
Research Agenda theme: Cognitive Science
Current official theme used to keep the route aligned with working memory, schema, spaced learning, interleaving, retrieval practice, cognitive load and visuals/dual coding. EEF also warns classroom application evidence is limited and context-dependent.
Tema oficial vigente para memoria de trabajo, schema, retrieval, spacing, interleaving, carga cognitiva y visuales; su aplicacion debe tratarse como contextual, no como receta universal.
Limite: Sigue siendo sensible a cambios de roadmap, governance y calendario de implementacion. Puede cambiar despues del acceso registrado.
A Lightbulb Moment: How IES Sparks Research, Teaching, and Practice
IES summary accessed in 2026, not a new 2026 study. Used for retrieval practice and feedback translation into practice alongside primary learning-science papers.
Resumen IES accesado en 2026 para retrieval y feedback; no es una fuente nueva de 2026 y se usa junto a papers primarios.
Limite: Sigue siendo sensible a cambios de roadmap, governance y calendario de implementacion. Puede cambiar despues del acceso registrado.
Why interleaving enhances inductive learning: The roles of discrimination and retrieval
Interleaving reference used for contrast prompts that force learners to discriminate nearby concepts instead of memorizing isolated labels.
Soporte para contrastar conceptos vecinos y no aprenderlos como tarjetas aisladas.
Limite: No convierte por si solo una estimacion en fecha de explotabilidad o roadmap de producto. Puede cambiar despues del acceso registrado.