Een elegant Σ-protocol voor het bewijzen dat een Pedersen-gecommitteerde vector een bitvector is, zoals beschreven door @benediamond in [Diam20], maar oorspronkelijk van Bootle et al. [BCC+15] 👇
573