广义 Bulletproofs

广义 Bulletproofs 的实现，是一种 Bulletproofs 算术电路声明的变体，支持 Pedersen 向量承诺。