一个优雅的Σ协议,用于证明一个佩德森承诺的向量是一个比特向量,如@benediamond在[Diam20]中所述,但最初来自Bootle等人[BCC+15] 👇
481