uncomputable / zkp-workshop

Explore the world of zero-knowledge proofs from first principles.
Creative Commons Zero v1.0 Universal
38 stars 4 forks source link

Explain pairings #11

Open uncomputable opened 1 year ago

uncomputable commented 1 year ago

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.