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
15 stars 1 forks source link

Sigma protocol using Pedersen commitment #6

Closed xhliu closed 3 years ago

xhliu commented 3 years ago

Input: circuit & witness file Output: verification

Pedersen commitment on elliptic curve in Rust

https://github.com/aled1027/tiny_ped_com https://github.com/mimblewimble/rust-secp256k1-zkp/blob/master/src/pedersen.rs https://docs.rs/secp256kfun/0.6.1/secp256kfun/

xhliu commented 3 years ago

We can start from a simple example, e.g.,

def main(private field a, field b):
    assert(a * a == b)
    return