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