search

microsoft / Spartan

Spartan: High-speed zkSNARKs without trusted setup
MIT License
689 stars 119 forks source link

Add More Examples #41

Open AtropineTears opened 2 years ago

AtropineTears commented 2 years ago

I really would like if you added more examples of what you can do with Spartan. For instance, proving knowledge of a preimage of a hash with Poseidon.

This would be really helpful!

srinathsetty commented 2 years ago

Thanks, @AtropineTears for your interest! If you're familiar with bellman/bellperson libraries, adding a similar gadget library for Spartan is on our radar. For example, see https://github.com/microsoft/Nova/tree/main/src/bellperson that produces the necessary R1CS matrices from bellperson compatible gadgets. Would adding such a thing be helpful?

AtropineTears commented 2 years ago

Yes, if you guys can add more examples that would be helpful. I am still learning about ZKPs as they are quite a difficult subject to learn but they are quite interesting.

Spartan is a really great project that is ahead in its time in my personal opinion. The cubic example is good but it would be awesome if you guys could work on more gadgets. In the meantime,. I'll be looking at seeing if I can get some examples working.

Thank you