Blockchain, Cryptography, Zero Knowledge Proofs, Zksnark, Mathematics.
encrypt them the same way verifier encrypts powers of s before sending to the prover. However as mentioned in the remark 3.2, the homomorphic encryption we use does not support the multiplication of two encrypted values, which is necessary for both verification checks to multiply encryptions of