Figure 1: Homomorphic equality test.