Free functions
| verify | Verify that a span of V_i = g^b_i h^r_i are encoding either b=1 or b=0 and that those b_i are indeed the binary decomposition b = sum_i b_i 2^i . With the b that is encoded in… |
| pregenerate_random_for_testing | — |
| prover_for_testing | — |