HACSpec

[spitters]

Thanks for the nice project! There are some overlaps in goals with the hacspec project.
Cryptographic primitives have been specified there, and some work on ZK proofs is underway.

There may be some opportunities for collaboration in the future, so I wanted to give you a heads-up.

[fcasal]

Hi @spitters, thanks for taking an interest! It's great that hacspec is going to work on ZK proof systems.

Let us know about it as we would certainly be interested in collaborating.

[rasmus-kirk]

Hey @fcasal, I helped specify Ristretto255 in Hacpsec and Spitters suggested I post the code as an example, so here is my PR:

hacspec/hacspec#264

We will eventually do merlin and bulletproofs, I can ping you when they're ready if you're interested.