david@quiros.digital

Una llave que no existe hasta que os ponéis de acuerdo

Imagina que cinco amigos alquilan juntos un apartamento de vacaciones. El casero les da una sola llave. ¿A quién se la das? Si se la das a uno, ese amigo tiene el control — y si la pierde, todos se quedan fuera. Si la copias cinco veces, cualquiera puede entrar sin avisar a nadie.

El problema es antiguo: ¿cómo compartes el acceso a algo importante sin que una sola persona tenga el poder absoluto, y sin multiplicar los riesgos?

En 1979, el criptógrafo Adi Shamir publicó un paper de cuatro páginas que resuelve esto de una manera elegante.

La idea

En lugar de dividir la llave en trozos, la conviertes en una curva matemática. Cada persona de confianza recibe un punto de esa curva — una coordenada, como en un mapa. Ningún punto por sí solo revela nada sobre la curva. Pero si juntas suficientes puntos, puedes reconstruirla exactamente.

El número de puntos que necesitas lo decides tú. Puedes decir: necesito 3 de 5 custodios. O 2 de 3. O 4 de 7.

La propiedad que lo hace especial

Con k-1 fragmentos sabes exactamente lo mismo que con cero. No es que sea difícil adivinar el secreto — es que matemáticamente no existe información sobre él hasta que tienes el umbral exacto. Cualquier secreto posible es igualmente probable mientras te falte un punto.

Eso lo diferencia de simplemente repartir copias. Si tienes copias y un custodio traiciona, todo cae. Aquí, una coalición por debajo del umbral no tiene nada que traicionar.

Lo que codifica

El esquema de Shamir es, en el fondo, una forma de escribir una regla de consenso en álgebra. Quien diseña el esquema decide cuántas voluntades hacen falta para abrir algo. Esa decisión — el umbral — es una elección política antes que técnica.

Un 2-de-3 dice: ninguno de nosotros gobierna solo, pero cualquier mayoría puede actuar. Un 3-de-5 dice: necesito convencer a más de la mitad. Un 5-de-5 dice: todos o nadie.

Lo interesante es que esa regla no depende de que nadie la respete. No es un acuerdo entre personas — es una propiedad matemática. Ningún custodio puede traicionar el consenso porque físicamente no tiene con qué hacerlo. La confianza deja de ser un valor moral y se convierte en una consecuencia de la aritmética.