Un elegante protocolo Σ para probar un vector comprometido con Pedersen es un vector de bits, como lo describe @benediamond en [Diam20], pero originalmente de Bootle et al. [BCC + 15] 👇
498