Alice and Bob
Alice and Bob have secret values formula_1 and formula_2, respectively. Alice and Bob wish to learn if formula_3 without allowing either party to learn anything else about the other's secret value.