Free functions
| verify | Verifies that two encryptions for two keys are valid and that they are encrypting the same amount b . For this proof, the prover knows only one of the randoms values and knows the secret… |
| verify_with_prefix | — |
| _verify | Verifies that two encryptions for two keys are valid and that they are encrypting the same amount b . For this proof, the prover knows only one of the randoms values and knows the secret… |