feat: Diffie-Hellman and elliptic curve DH

[lonerapier]

Since we have ECDSA now, it would be fascinating to see a toy implementation of Diffie-Hellman and ECDH.

Resources:

• https://web.math.ucsb.edu/~kylehansen/Papers/Elliptic_Curve_Cryptography.pdf
• http://koclab.cs.ucsb.edu/teaching/ecc/project/2015Projects/Haakegaard+Lang.pdf
• https://www.gabriel.urdhr.fr/2021/10/19/diffie-hellman-intro/

[jtriley-eth]

i can give this a go tomorrow, maybe move src/ecdsa.rs into src/ecc/ecdsa.rs then add the ecdh

[lonerapier]

sir, if possible, do try tripartite DH using Tate pairings as well

[jtriley-eth]

[jtriley-eth]

gonna have to solidify my understanding of bilinear maps & G2+ a bit first, but will do 🫡

[Autoparallel]

classic scary sounding thing for "take two things make new unique new thing"|

[lonerapier]

"Key Exchange", simple and better.

@jtriley-eth just ping me, would love to jam with you and help anywhere possible. Pairings was an amazing topic that I enjoyed battling with a lot (still don't understand it completely lol)

[devloper]

Pluto internal code has some magic ECDH that we depend on :). Definitely recommend diving into and exploring this primitive. It's key to how our web proofs works.

We will be open-sourcing something substantial in ~2 weeks for that.

I wonder if clever tripartite ecdh could be used for web proofs... hm!