We are a tiny, independent team and we read every single message. Whether you have a feature idea, found a bug, or just want to talk about the future of learning, we're here. No support bots.
You must accept the Terms and Conditions
¿Cómo demuestras que encontraste a Wally sin señalar dónde está? Esta es la hermosa matemática de los secretos — el Protocolo Susurro. Desde la aritmética modular y los esquemas de compromiso hasta los SNARKs y las pruebas recursivas, los niños aprenden cómo la criptografía se está convirtiendo en el ancla de la verdad de la humanidad en una era de deepfakes.
Gratis para jugar. Gana Potencial al dominar unidades y acuña tu certificado coleccionable.
El Protocolo Susurro es un currículo intermedio completo de criptografía de conocimiento cero para jóvenes estudiantes. Trata una prueba como un susurro: algo que convence sin revelar. Los niños viajan desde el detective con los ojos vendados hasta la aritmética modular, desde cajas cerradas y laberintos de sombras hasta los SNARKs y la muñeca rusa infinita de las pruebas recursivas — y finalmente al voto, las contraseñas y la verdad en una era de deepfakes. Cada unidad combina una historia memorable con la matemática real que hay detrás.
El detective con los ojos vendados: cómo convencer a alguien de que conoces un secreto sin mostrarlo jamás.
Aritmética modular y polinomios: la matemática amable que impulsa la criptografía moderna.
Esquemas de compromiso y laberintos de sombras: cerrar una respuesta para que nadie haga trampa — y demostrar que la conoces.
SNARKs y árboles de Merkle: pruebas diminutas que verifican cálculos enormes en un abrir y cerrar de ojos.
Pruebas recursivas: una semilla que contiene un bosque, donde cada prueba verifica la anterior.
Votos perfectos, un mundo sin contraseñas y la verdad cuando ver ya no es creer.
13 unidades · 40 lecciones. Haz clic en cualquier unidad para ver su descripción completa y las lecciones que contiene, o salta directamente a un capítulo.
El curso abre con el detective con los ojos vendados: ¿cómo demuestras que encontraste a Wally sin señalar dónde está? Los niños descubren la idea central de las pruebas de conocimiento cero y la matemática de relojería — la aritmética modular — que la hace posible.
Bienvenido al Protocolo Susurro. Imagina que has encontrado a Wally en un libro gigante y caótico lleno de imágenes. ¿Cómo le demuestras a tu amigo que sabes exactamente dónde está, sin señalarlo ni mostrarle la página? Durante mucho tiempo, la humanidad creyó que para demostrar una verdad, había que revelar el secreto. En esta unidad, exploraremos un avance hermoso y silencioso en las matemáticas que lo cambia todo. Lo llamamos Conocimiento Cero. Nos permite compartir la verdad sin compartir los hechos. Parece magia, pero es solo lógica.
Si la palabra 'matemáticas' te agota, no te preocupes. Tu máquina biológica está diseñada para ahorrar energía, y contemplar números infinitos es agotador. En esta unidad, no vamos a mirar al infinito; solo vamos a mirar un reloj. Exploraremos cómo los números pueden dar vueltas en círculos en lugar de extenderse para siempre. Esta 'matemática de reloj' es el motor secreto y giratorio que impulsa la criptografía de conocimiento cero y oculta nuestros datos digitales.
Cuando escuchas la palabra 'polinomio', tu bio-máquina quizás se prepare para una ecuación difícil, gastando energía solo de pensarlo. Respira y deja ir ese miedo. No vamos a memorizar fórmulas. Si quieres saber si dos montañas gigantes son exactamente iguales, no necesitas medir cada roca. Solo necesitas revisar un punto aleatorio. En esta unidad, veremos cómo los humanos usan formas matemáticas amplias, los polinomios, para comprimir perfectamente un universo de información en una sola huella digital innegable.
¿Cómo juegas piedra-papel-tijera por internet sin hacer trampa? Los niños construyen la maquinaria de las pruebas: la caja cerrada (esquemas de compromiso), el laberinto de sombras (circuitos aritméticos) y el ritual (preparaciones de confianza) — y el peligroso problema humano que resuelve cada uno.
Imagina intentar explicarle a una calculadora la emoción que transmite un poema. Es imposible porque las computadoras no entienden los sentimientos ni el lenguaje humano; solo entienden números. Si queremos demostrarle a una máquina un secreto humano complejo sin revelarlo, tenemos que traducir ese secreto al lenguaje de la máquina. En esta unidad, aprenderemos a transformar nuestra lógica en un 'Laberinto de sombras': un circuito diminuto e invisible de sumas y multiplicaciones. Así es como le enseñamos a una computadora a verificar una verdad sin siquiera ver la verdad en sí.
¿Cómo se juega a piedra, papel o tijera por internet sin que nadie haga trampas? Si dices 'piedra' primero, la otra persona puede esperar un milisegundo y decir 'papel'. Necesitas una forma de bloquear tu respuesta antes de que la otra persona muestre la suya. En este taller, exploraremos la 'Caja Cerrada': una promesa matemática que no puedes cambiar, pero que nadie puede leer hasta que le entregues la llave. Los ingenieros llaman a esto un Esquema de Compromiso, y es la base de la imparcialidad digital.
Para construir un laberinto criptográfico perfectamente seguro, alguien tiene que forjar la primera cerradura maestra. Pero aquí encontramos un peligroso problema humano: quien construye la cerradura conoce automáticamente la forma de la llave, lo que significa que podría crear fácilmente una puerta trasera. ¿Cómo creamos una cerradura perfecta sin confiar en el cerrajero? En esta unidad, exploramos las 'Configuraciones de Confianza'. Observamos las extrañas y hermosas ceremonias que los humanos utilizan para dar a luz a sistemas seguros, demostrando que en el corazón de nuestra tecnología digital más avanzada reside un ritual físico y humano.
Un laberinto de un millón de pasos agotaría al verificador — así que los niños construyen el sobre sellado: los SNARKs, que comprimen las pruebas en un abrir y cerrar de ojos. Conocen el árbol genealógico (árboles de Merkle) y la muñeca rusa infinita (pruebas recursivas), donde cada prueba verifica la anterior.
Hemos construido nuestro laberinto de sombras y sabemos cómo demostrar un secreto. Pero nuestro sistema tiene una limitación biológica: si el laberinto tiene un millón de pasos, el verificador se agotará al comprobar cada uno de ellos. En esta unidad, aprenderemos a reducir esa prueba masiva al tamaño de un sello postal digital. A esto lo llamamos SNARK. Es un truco de magia matemática que permite que un simple teléfono móvil verifique instantáneamente que una supercomputadora hizo sus cálculos correctamente.
Imagina que formas parte de un club global enorme con millones de miembros. Si alguien te pregunta si realmente perteneces, no deberías tener que llevar un libro físico con el nombre de cada miembro solo para demostrar que eres uno de ellos. En el mundo de los datos, resolvemos esto usando un 'árbol genealógico', o lo que los científicos llaman un Árbol de Merkle [cite: 697, 699]. Es una forma de organizar la información donde los pares de puntos de datos se combinan para formar una 'rama', y esas ramas se combinan una y otra vez hasta que alcanzan una única 'raíz'. Esta única huella digital representa a todo el grupo. Para demostrar que eres miembro, solo necesitas mostrar el camino desde tu 'hoja' hasta esa raíz, sin revelar nunca quién más está en el club [cite: 698, 699].
Imagina que tienes una semilla diminuta en la mano. Dentro de esa semilla está el plano para una hoja, una rama y, eventualmente, un bosque entero. Tu cerebro está trabajando arduamente solo para pensar en cuánta información cabe en ese pequeño espacio, y eso está perfectamente bien. En las matemáticas de los secretos, a esto lo llamamos la 'Muñeca Rusa Infinita', una prueba recursiva. Una vez que tenemos una prueba matemática, ¿qué tal si probamos que verificamos la prueba? Ampliamos la imagen para ver cómo apilar estos secretos matemáticos unos dentro de otros nos permite a los humanos comprimir la historia de un millón de transacciones en un solo recibo diminuto. Inventamos esta herramienta no para complicar las cosas, sino para hacer que la pesada historia del mundo sea lo suficientemente ligera como para que cualquiera la pueda llevar.
El curso termina susurrando en el mundo real. Los niños aplican las pruebas de conocimiento cero al voto perfecto, a un mundo sin contraseñas, y al problema más difícil de todos: la verdad en una era de deepfakes, donde ver ya no es creer.
Hemos hablado mucho sobre la teoría de ocultar secretos, pero ahora es el momento de un taller práctico. Imagina que acabas de pasar tres horas resolviendo el Sudoku más difícil del mundo. Quieres demostrarle a una computadora que eres un genio que lo resolvió, pero te niegas a revelar un solo número en la cuadrícula. ¿Cómo demuestras que conoces la respuesta sin mostrarla? Vamos a construir un pequeño circuito matemático para hacer exactamente eso.
La democracia es una de las herramientas más hermosas que la humanidad ha inventado. En lugar de luchar para resolver nuestras diferencias, simplemente contamos votos. Pero se basa en una paradoja fascinante: debemos saber exactamente cuántos votos se emitieron, pero nunca debemos saber quién votó por quién. Si el mundo sabe exactamente por quién votaste, no eres verdaderamente libre de presiones. En esta unidad, aplicamos nuestras nuevas herramientas matemáticas, los circuitos de Conocimiento Cero, para resolver este problema de coordinación humana fundamental. Ahora podemos construir un sistema donde emites un voto de forma anónima, pero verificable. Es un equilibrio armonioso entre la confianza perfecta y los secretos perfectos.
Los seres humanos siempre han utilizado llaves físicas o palabras secretas para proteger lo que les importa. Pero la memoria es un proceso biológico, y obligar a tu cerebro a recordar cientos de contraseñas diferentes con números y símbolos es agotador. Si tu cerebro se siente cansado solo de pensarlo, está bien; no fue diseñado para esto. Pronto, teclear una cadena de letras para acceder a tu banco se sentirá como usar un martillo de piedra. En esta unidad, exploraremos un futuro cercano en el que simplemente demuestras quién eres a un sistema matemáticamente, sin tener que entregar un secreto que pueda ser robado. Estamos pasando de un mundo de ocultar nuestros secretos a un mundo de simplemente demostrar nuestra verdad.
Estamos entrando en una era en la que la inteligencia artificial puede crear instantáneamente un video perfecto de un evento que nunca ocurrió [cite: 711, 712]. Por primera vez en la historia de la humanidad, la máxima "ver para creer" ya no es fiable. Si no podemos confiar en nuestros ojos, ¿cómo sabremos qué es real ? En esta última unidad, exploraremos cómo la criptografía de conocimiento cero se está convirtiendo en el ancla de la humanidad a la realidad. Estamos construyendo sistemas que permiten a las cámaras y a los periodistas demostrar matemáticamente que una fotografía es auténtica desde el momento exacto en que la luz incide en la lente, garantizando que la verdad sobreviva a la era de los "deepfakes".
Cada unidad termina con preguntas de práctica en tres formatos (53 opción múltiple · 32 completar el espacio · 31 ordenar las palabras). Las respuestas incorrectas se repiten automáticamente en sesiones posteriores hasta demostrar dominio. Prueba una de cada capítulo: haz clic en una respuesta.
Históricamente, ¿cuál era la paradoja de establecer la confianza?
Los ingenieros llaman al proceso de transformar una idea en matemática pura '____'.
aplanamiento
Ordena estas palabras:
La comprime en un sobre digital diminuto.
¿En qué paradoja se basa la votación democrática?
Guía de estudio lista para imprimir para padres y profesores: el currículo completo unidad por unidad, resultados de capítulo, preguntas de muestra y vocabulario clave.
