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