Explain pairings

[uncomputable]

Pairings allow us to multiply curve points and enable many new ZKPs.

I have to read into pairing cryptography to see what we need. We might need to change our curve to construct a pairing. Or we construct a relatively inefficient pairing on the existing curve. The inefficiency would not be a problem because we our curve is tiny. We can probably statically cache the entire pairing function.