secretKey :
publicKey :
msg1 :
msg2 :
msg3 :
msg4 :
encG1(msg1) :
encG1(msg2) :
encG2(msg3) :
encG2(msg4) :
enc((msg1 + msg2) * (msg3 + msg4)) :
dec :