一個優雅的Σ協議,用於證明一個Pedersen承諾的向量是一個位向量,如@benediamond在[Diam20]中所描述,但最初來自Bootle等人[BCC+15] 👇
589