Елегантний σ-протокол для доведення вектора Педерсена — це бітовий вектор, описаний @benediamond у [Diam20], але спочатку від Bootle et al. [BCC+15] 👇
514