edu.biu.scapi.interactiveMidProtocols.sigmaProtocol.utility

Interface SigmaProverInput