Structs§
- This is an element of $\mathbb{G}_1$ represented in the affine coordinate space. It is ideal to keep elements in this representation to reduce memory usage and improve performance through the use of mixed curve model arithmetic.
- This is an element of $\mathbb{G}_2$ represented in the affine coordinate space. It is ideal to keep elements in this representation to reduce memory usage and improve performance through the use of mixed curve model arithmetic.
Functions§
- The function asserts that the ciphertext is valid.
- Verifying a ciphertext guarantees that it has not been malleated.
- The function asserts that the ciphertext is valid.