Ett elegant Σ-protokoll för att bevisa en Pedersen-committed vektor är en bitvektor, som beskrivs av @benediamond i [Diam20], men ursprungligen från Bootle et al. [BCC+15] 👇
606