Elegancki protokół Σ do udowadniania, że wektor skommitowany przez Pedersena jest wektorem bitowym, opisany przez @benediamond w [Diam20], ale pierwotnie od Bootle et al. [BCC+15] 👇
516