Un protocol Σ elegant pentru a demonstra un vector angajat de Pedersen este un vector de biți, așa cum este descris de @benediamond în [Diam20], dar inițial de la Bootle et al. [BCC+15] 👇
563