Encryption, Post Quantum Cryptography, Elliptic Curve, Digital Signatures, Kyber.
challenge for herself by Hashing the earlier commitment Ay1+y2 to generate c. This is also called a Fiat Shamir Transformation. Alice then calculates z1 =cs1+y1 and z2=cs2+y2. This is also called as a Hidden withness. Bob then checks if Az1+z2-ct = Acs1+Ay1+cs2+y2-ct= c(As1+s2)+Ay1+y2-ct=