#### Problem In sigma proof specification in https://docs.anza.xyz/runtime/zk-elgamal-proof, a wrong version of the Rewinding Lemma is used, which results in an incorrect proof of security.
Problem
In sigma proof specification in https://docs.anza.xyz/runtime/zk-elgamal-proof, a wrong version of the Rewinding Lemma is used, which results in an incorrect proof of security.