El esquema es un homomorfismo aditivo, es decir, dada la clave pública y los valores formula_1 y formula_2, es posible calcular formula_3, el esquema funciona como sigue: