Un protocole Σ élégant pour prouver qu'un vecteur engagé par Pedersen est un vecteur de bits, comme décrit par @benediamond dans [Diam20], mais originaire de Bootle et al. [BCC+15] 👇
495