resuelto, de una vez por todas: ¡son los $\Sigma$-protocolos! con un guion. </cant-stop-wont-stop>

[Cra97] Diseño Modular de Protocolos Criptográficos Seguros pero Prácticos; por Cramer, Ronald; 1997;