Um elegante protocolo Σ para provar que um vetor comprometido por Pedersen é um vetor de bits, conforme descrito por @benediamond em [Diam20], mas originalmente de Bootle et al. [BCC+15] 👇
494