Элегантный Σ-протокол для доказательства того, что вектор, зафиксированный с помощью Педерсена, является битовым вектором, как описано @benediamond в [Diam20], но изначально от Bootle и др. [BCC+15] 👇
542