vyřešeno, jednou provždy: je to $\Sigma$-protocols! s pomlčkou. </cant-stop-wont-stop>

[Cra97] Modulární návrh bezpečných, ale praktických kryptografických protokolů; od Cramera, Ronalda; 1997;