zkdocs icon indicating copy to clipboard operation
zkdocs copied to clipboard

Published 20 hours ago • verified publisher icon trailofbits

HACSpec

Open spitters opened this issue 2 years ago • 2 comments

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.

spitters avatar May 12 '22 12:05 spitters

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.

fcasal avatar May 12 '22 15:05 fcasal

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.

rasmus-kirk avatar Jun 16 '22 20:06 rasmus-kirk