search

microsoft / Spartan

Spartan: High-speed zkSNARKs without trusted setup
MIT License
672 stars 112 forks source link

Proving math functions with Spartan #67

Open Fobow opened 9 months ago

Fobow commented 9 months ago

Thanks for your great work. I wonder if it is possible to prove math functions such as simple comparison, square root, reciprocal or (more complex) exponential functions using Spartan. Could you shed some light on this? Thanks a lot!

Fobow commented 9 months ago

I think the challenge is expressing these non-linear computations in R1CS?

srinathsetty commented 5 months ago

Yes, exactly. There are tools like circom and noir that can let you express high-level computation and they can then be proven with spartan.