resolvido, de uma vez por todas: são $\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;