avgjort, en gang for alle: det er $\Sigma$-protokoller! med en bindestrek. </cant-stop-wont-stop>

[Cra97] Modulær design av sikre, men praktiske kryptografiske protokoller; av Cramer, Ronald; 1997;