search

pierg / fact-fortress-dapp

Zero-Knowledge Proof Framework - Winner of 2023 UC Berkeley ZKP Hackathon
https://pierg.github.io/fact-fortress-web/
3 stars 1 forks source link

[NOIR] Implement ECDSA verification on secret input #4

Open pierg opened 1 year ago

pierg commented 1 year ago

inputs: private data X public hash H public key of authority A that generated x pk

we want to verify that H has been signed by A and that hash(x) = H

check:

https://github.com/pierg/noir/blob/5fa0f572e68fb38b1325e1768cbe91fc4b0a84e2/examples_failing/ecdsa_secp256k1/src/main.nr#L18

https://github.com/TalDerei/cyclone/blob/master/circuits/src/main.nr

pierg commented 1 year ago

Could be useful:

https://github.com/vezenovm/simple_shield/tree/master/circuits/mimc_tree

https://github.com/vezenovm/simple_shield