Un elegante protocollo Σ per dimostrare che un vettore impegnato di Pedersen è un vettore di bit, come descritto da @benediamond in [Diam20], ma originariamente da Bootle et al. [BCC+15] 👇
485