Protokol Σ yang elegan untuk membuktikan vektor yang dikomitmenkan Pedersen adalah vektor bit, seperti yang dijelaskan oleh @benediamond dalam [Diam20], tetapi berasal dari Bootle et al. [BCC+15] 👇
496