resolvido, de uma vez por todas: são os $\Sigma$-protocolos! com um traço. </cant-stop-wont-stop>

[Cra97] Design Modular de Protocolos Criptográficos Seguros e Práticos; por Cramer, Ronald; 1997;