personaelabs / spartan-ecdsa

The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve
198 stars 28 forks source link

Address membership circuit optimization #35

Closed githubassets closed 1 year ago

githubassets commented 1 year ago

Hello. We want to use this library for on-chain address membership verification. But the current implementation takes 6 seconds to verify the witness in browser. How could we optimize verification so it would work efficiently on-chain?

DanTehrani commented 1 year ago

@githubassets We currently don't have a plan to support on-chain verification, as we don't think on-chain verification of spartan-ecdsa proofs is feasible. We're considering a different approach using a different proof system compatible with on-chain verification, and we hope to share more information about it soon!

githubassets commented 1 year ago

Understood. Thank you.