Encryption, Post Quantum Cryptography, Elliptic Curve, Digital Signatures, Kyber.
the prover sends a commitment to Bob. In our case Alice generates a commitment of two random vectors y1 and y2 by sending Ay1+y2. The verifier Bob then sends a challenge c to Alice. In case of a non interactive version where we want to avoid the round trip from Bob back to Alice, Alice generates a