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

Master task: key statement proof #1

Open xhliu opened 3 years ago

xhliu commented 3 years ago

1. Circuit: arithmetic #5

2. Compute witness #8

3. Circuit SAT ZKP: Pedersen commitment + Sigma protocol #6

4. Key stmt proof

5. Non-interactive

6. On-chain

xhliu commented 3 years ago

WP0488 - Zero-knowledge key statements.pdf

manel1874 commented 1 year ago

Hi!

Is this ZKKSP method published somewhere? Was it verified or peer-reviewed? I have a similar problem at hand and I think your approach can solve it. Just wanted to check if you know about any issues with this white paper.

I am just asking that because I can only find the pdf here and I think it is a really nice result in case it works.

Thanks