https://github.com/ConsenSys/zero-knowledge-proofs

Zero Knowledge Proofs and how they can be implemented in Quorum
https://github.com/ConsenSys/zero-knowledge-proofs

Last synced: 24 days ago
JSON representation

Zero Knowledge Proofs and how they can be implemented in Quorum

• Host: GitHub
• URL: https://github.com/ConsenSys/zero-knowledge-proofs
• Owner: Consensys
• Created: 2017-08-24T13:50:54.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2023-04-10T11:51:37.000Z (about 1 year ago)
• Last Synced: 2024-04-04T13:01:26.880Z (3 months ago)
• Language: C++
• Size: 24.6 MB
• Stars: 130
• Watchers: 25
• Forks: 59
• Open Issues: 6
• Metadata Files:
  • Readme: README.md

Lists

• awesome-zero-knowledge - Zero Knowledge Proofs - Zero Knowledge Proofs and how they can be implemented in Quorum. (Index / Tutorials)

README

        
# zero-knowledge-proofs

Zero Knowledge Proofs and how they can be implemented in Quorum

This is a SNARK implementation using libsnark for the following:

``ZkPoK{ (R1, R2, R3): Hi = sha256(Ri) and R3 = R1 + R2 }``

Read: given `H1`, `H2`, `H3`, prove you know `R1`, `R2`, `R3` such that `R1` is the preimage of `H1`, `R2` is the preimage of `H2`, `R3` is the preimage of `H3`, and `R3` is `R1 + R2`.

This is an implementation and benchmark of the "Receive" zk-SNARK in the Confidential Transaction scheme from this article: .

Code based on .

Some more background here: 

## howto

### Required packages

* On Ubuntu 16.04 LTS:

        `$ sudo apt-get install build-essential cmake git libgmp3-dev libprocps4-dev python-markdown libboost-all-dev libssl-dev`

* On Ubuntu 14.04 LTS:

        `$ sudo apt-get install build-essential cmake git libgmp3-dev libprocps3-dev python-markdown libboost-all-dev libssl-dev`

### Installation

`./get-libsnark && make`

`npm install`

### Running  

`node index.js startBalance=10000`

First select  

1. Single payment in and single payment out

2. Multiple payments in and multiple payments out

Follow the prompts.  

1. Generate a key pair

2. Generate a proof (single or multiple)

4. Verify proof

0. Quit

#### Generate a new key pair  

This creates a new proving key and verification key from the circuit.  They are saved to the files:  

* `provingKey-single` or `provingKey-multi`

* `verificationKey-single` or `verificationKey-multi`

#### Generate a payment proof  

This generates a proof using the proving key as well as the following values:

* `start balance`

* `incoming payment/s`

* `outgoing payment/s`

* `end balance` (start balance + incoming - outgoing)

The proof is:  

* `start balance` + `incoming payments` = `end balance` + `outgoing payments`

#### Verify payment proof  

Verifies the above proofs

# License

Copyright (C) 2017 The Quorum Zero Knowledge Proof Authors.

Licensed under the Apache License, Version 2.0 (the "License");

you may not use this file except in compliance with the License.

You may obtain a copy of the License at

    http://www.apache.org/licenses/LICENSE-2.0

Unless required by applicable law or agreed to in writing, software

distributed under the License is distributed on an "AS IS" BASIS,

WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.

See the License for the specific language governing permissions and

limitations under the License.