search

trailofbits / zkdocs

Interactive documentation on zero-knowledge proof systems and related primitives.
https://zkdocs.com
Creative Commons Attribution 4.0 International
145 stars 21 forks source link

HACSpec #7

Open spitters opened 2 years ago

spitters commented 2 years ago

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 commented 2 years ago

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 commented 2 years ago

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

https://github.com/hacspec/hacspec/pull/264

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