secretKey :
publicKey :
msg1 :
msg2 :
msg3 :
msg4 :
encG1(msg1) :
encG1(msg2) :
encG2(msg3) :
encG2(msg4) :
mul((c11 + c12) * (c21 + c22)) :
dec :