En elegant Σ-protokoll for å bevise en Pedersen-forpliktet vektor er en bit-vektor, som beskrevet av @benediamond i [Diam20], men opprinnelig fra Bootle et al. [BCC+15] 👇
486