Ein elegantes Σ-Protokoll zum Nachweis, dass ein Pedersen-committeter Vektor ein Bit-Vektor ist, wie von @benediamond in [Diam20] beschrieben, ursprünglich jedoch von Bootle et al. [BCC+15] 👇
492