Free functions
| verify | Verifies that two encryptions for two different keys are valid and that they are encrypting the same amount b . Note: We assume here that the two randoms r1 and r2 are known by the prover…. |
| verify_with_prefix | — |
| _verify | Verifies that two encryptions for two different keys are valid and that they are encrypting the same amount b . Note: We assume here that the two randoms r1 and r2 are known by the prover…. |