search

Zokrates / ZoKrates

A toolbox for zkSNARKs on Ethereum
https://zokrates.github.io
GNU Lesser General Public License v3.0
1.83k stars 361 forks source link

verify ECDSA signature #1155

Closed Jonas-Metzger closed 2 years ago

Jonas-Metzger commented 2 years ago

Is it feasible to verify ECDSA signatures in Zokrates? I would need to verify ECDSA signatures on the P-384 curve and unfortunately can't change it to a EdDSA curve as it is an existing system. Is there any existing implementation I could start off with?

Schaeff commented 2 years ago

Doing elliptic curve operations is prohibitively expensive in the flavour of snarks we support at the moment, unless you use some specific curves such as BabyJubJub which we have support for.

Jonas-Metzger commented 2 years ago

How long would it take to create the proof for one signature on a reasonable chip @Schaeff ? E.g. 20min would be totally fine in my application. Or are we talking hours? Days?