## Macrosยง

## 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ยง

- derive_ephemeral_sk ๐
- hash_to_message ๐
- lagrange_multipliers ๐
- 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.
- xor_with_hash ๐