Skalman pok new interface

[drskalman]

• PoP: using schnorr proof.
• Moving the backend to arkworks.
• Remove some redundants trait.

[burdges]

We should discuss the above things, but I'm satisfied this moves in the correct direction, so we can merge it and then focus on more detailed issues.