risolto, una volta per tutte: sono i $\Sigma$-protocols! con un trattino. </cant-stop-wont-stop>

[Cra97] Progettazione Modulare di Protocolli Criptografici Sicuri ma Pratici; di Cramer, Ronald; 1997;