вирішили, раз і назавжди: це $\Sigma$-протоколи! з тире. </cant-stop-wont-stop>

[Кра97] модульне проектування безпечних, але практичних криптографічних протоколів; Крамера, Рональда; 1997;