# Esquema de Shamir

El sistema de compartición de secretos de Shamir es un algoritmo criptográfico. Es una forma de compartición de secretos donde un secreto se divide en partes y se da a cada participante una sola: todas o parte de ellas son necesarias para reconstruir el secreto.
El algoritmo basa su funcionamiento en una propiedad de los polinomios interpoladores y fue desarrollado por el criptógrafo israelí Adi Shamir, que lo presentó en 1979.

## Definición matemática

Formalmente, nuestro objetivo es dividir un conjunto de datos $D\,\!$ (por ejemplo, una clave) en $n\,\!$ partes $D_{1},\cdots ,D_{n}\,\!$ de manera que:
* El conocimiento de $k\,\!$ o más $D_{i}\,\!$ partes hace que $D\,\!$ sea fácilmente computable.
* El conocimiento de $k-1\,\!$ o menos $D_{i}\,\!$ partes hace que $D\,\!$ esté indeterminado, en el sentido de que todos sus valores posibles tienen la misma probabilidad de ser verdaderos.
Esta combinación se denomina combinación o esquema de umbral $\left(k,n\right)\,\!$. Si $k=n\,\!$ se requiere la concurrencia de todos los participantes para reconstruir el secreto.

## Sistema de compartición de secretos de Shamir

La idea esencial de la combinación de umbral de Shamir es que dos puntos son suficientes para definir una línea recta, tres puntos lo son para definir una parábola, cuatro para definir una curva cúbica y así sucesivamente. Es decir, son necesarios $n+1\,\!$ puntos para definir un polinomio de grado $n\,\!$.
Supongamos que queremos trabajar con un umbral de $\left(k,n\right)\,\!$ para compartir un secreto $S\,\!$ (cualquier número, sin pérdida de generalidad) siendo $k<n\,\!$. La elección de los valores de $k\,\!$ y $n\,\!$ determina la fortaleza del sistema.
Eligiendo al azar $\left(k-1\right)\,\!$ coeficientes $a_{1},\cdots ,a_{k-1}\,\!$, y siendo $a_{0}=S\,\!$, se construye el polinomio $f\left(x\right)=a_{0}+a_{1}x+a_{2}x^{2}+a_{3}x^{3}+\cdots +a_{k-1}x^{k-1}\,\!$. Calculamos cualesquiera $n\,\!$ puntos a partir del mismo, por ejemplo determinamos que $i=1,\cdots ,n\,\!$ de lo que se deriva $\left(i,f\left(i\right)\right)\,\!$. A todo participante en el secreto se le da un punto (un par de valores, el de entrada y el de salida para el polinomio)
Dado cualquier subconjunto de $k\,\!$ entre estos pares, podemos calcular los coeficientes del polinomio mediante interpolación y luego despejar $a_{0}\,\!$, que es el secreto.

## Ejemplo de uso
### Preparación

Supongamos que el secreto es el número de una tarjeta de crédito: 1234 $(S=1234)\,\!$.
Queremos dividir el secreto en seis partes $(n=6)\,\!$, de forma que cualquier subconjunto $(k=3)\,\!$ sea suficiente para reconstruir el secreto. Al azar obtenemos $k-1$ números: por ejemplo, 166 y 94.
$(a_{1}=166;a_{2}=94)\,\!$
El polinomio con el que operaremos será por lo tanto:
$f\left(x\right)=1234+166x+94x^{2}\,\!$
Calculamos seis puntos a partir del polinomio:
$\left(1,1494\right);\left(2,1942\right);\left(3,2578\right);\left(4,3402\right);\left(5,4414\right);\left(6,5614\right)\,\!$
Damos a cada partícipe un único punto, que comprende el valor $x\,\!$ y $f\left(x\right)\,\!$).

### Reconstrucción

Para reconstruir el secreto bastará con tres puntos.
Considérese
$\left(x_{0},y_{0}\right)=\left(2,1942\right);\left(x_{1},y_{1}\right)=\left(4,3402\right);\left(x_{2},y_{2}\right)=\left(5,4414\right)\,\!$.
Usamos la interpolación polinómica de Lagrange:
$\ell _{0}={\frac {x-x_{1}}{x_{0}-x_{1}}}\cdot {\frac {x-x_{2}}{x_{0}-x_{2}}}={\frac {x-4}{2-4}}\cdot {\frac {x-5}{2-5}}={\frac {1}{6}}x^{2}-{\frac {3}{2}}x+{\frac {10}{3}}\,\!$
$\ell _{1}={\frac {x-x_{0}}{x_{1}-x_{0}}}\cdot {\frac {x-x_{2}}{x_{1}-x_{2}}}={\frac {x-2}{4-2}}\cdot {\frac {x-5}{4-5}}=-{\frac {1}{2}}x^{2}+{\frac {7}{2}}x-5\,\!$
$\ell _{2}={\frac {x-x_{0}}{x_{2}-x_{0}}}\cdot {\frac {x-x_{1}}{x_{2}-x_{1}}}={\frac {x-2}{5-2}}\cdot {\frac {x-4}{5-4}}={\frac {1}{3}}x^{2}-2x+{\frac {8}{3}}\,\!$
Por lo tanto,
$f(x)=\sum _{j=0}^{2}y_{j}\cdot \ell _{j}(x)\,\!$
$=1942\cdot \left({\frac {1}{6}}x^{2}-{\frac {3}{2}}x+{\frac {10}{3}}\right)+3402\cdot \left(-{\frac {1}{2}}x^{2}+{\frac {7}{2}}x-5\right)+4414\cdot \left({\frac {1}{3}}x^{2}-2x+{\frac {8}{3}}\right)\,\!$
$=1234+166x+94x^{2}\,\!$
Teniendo en cuenta que el secreto es el coeficiente de $x^{0}\,\!$, el secreto original es $S=1234\,\!$.