rezolvat, o dată pentru totdeauna: este $\Sigma$-protocols! cu o liniuță. </cant-stop-wont-stop>

[Cra97] Proiectarea modulară a protocoalelor criptografice sigure, dar practice; de Cramer, Ronald; 1997;