search

sCrypt-Inc / zokrates

A zero-knowledge proof toolbox on Bitcoin. A fork of zokrates (https://github.com/Zokrates/ZoKrates).
GNU Lesser General Public License v3.0
14 stars 1 forks source link

Discrete log #26

Closed xhliu closed 2 years ago

xhliu commented 2 years ago

ECDSAPrivToPub computes and constrains the public key associated with a private key.

References: https://0xparc.org/blog/zk-ecdsa-1 https://0xparc.org/blog/zk-ecdsa-2

Reference impl: https://github.com/0xPARC/circom-ecdsa

No known impl in Zokrates: https://github.com/Zokrates/ZoKrates/issues/367

xhliu commented 2 years ago

Extensions:

  1. group/ring signature
  2. key-statement proof