The Challenge Phase Sample Clauses

The Challenge Phase. In KChallenge, the verifier generates a CRS (σP , σV ) from R (using a split DV NILP). The verifier then encrypts each elements {σP,i}i=1 of the σP with an LE scheme (with key pair pk, sk). Additionally, we require the verifier to encrypt the randomnesses {rP,i}y that are used for rP,i] i=1 the encryption of the CRS {σ }i=1 in KChallenge into {[ i=1 }y . Finally s/he publishes a challenge that consists of pk and the encrypted elements. The verifier keeps private sk of the LE scheme and the plain CRS σV .