Free functions
| verify | Proof of Bit: verifies that a commited V = g^b h^r is the ciphertext of either b=0 OR b=1 . If b=0 then V = h^r and a proof of exponet for r is enough. If b=1 then V/g = h^r… |
| verify_with_prefix | — |
| _verify | Proof of Bit: verifies that a commited V = g^b h^r is the ciphertext of either b=0 OR b=1 . If b=0 then V = h^r and a proof of exponet for r is enough. If b=1 then V/g = h^r… |
| prover_for_testing | — |