fluencelabs/lazy-snark
1
0
Fork 0
mirror of https://github.com/fluencelabs/lazy-snark synced 2025-04-24 22:42:14 +00:00
Code Issues Projects Releases Wiki Activity
lazy-snark/backend_zk
History
Drygin Alexander b018412439 add readme to zk back
2019-06-23 13:23:19 +03:00
..
out
add zkp for "sum four numbers is equal"
2019-06-22 17:28:43 +03:00
out.code
add zkp for "sum four numbers is equal"
2019-06-22 17:28:43 +03:00
proof.json
add zkp for "sum four numbers is equal"
2019-06-22 17:28:43 +03:00
proving.key
add zkp for "sum four numbers is equal"
2019-06-22 17:28:43 +03:00
README.md
add readme to zk back
2019-06-23 13:23:19 +03:00
root.code
add zkp for "sum four numbers is equal"
2019-06-22 17:28:43 +03:00
verification.key
add zkp for "sum four numbers is equal"
2019-06-22 17:28:43 +03:00
verifier.sol
add zkp for "sum four numbers is equal"
2019-06-22 17:28:43 +03:00
witness
add zkp for "sum four numbers is equal"
2019-06-22 17:28:43 +03:00

README.md

Usage

  1. install ZoKrates

  2. compile zokrates compile -i root.code

  3. perform the setup phase zokrates setup

  4. execute the program zokrates compute-witness -a 0 0 0 5 5 0 0 0 263561599766550617289250058199814760685 65303172752238645975888084098459749904 121528245299328017710050549170605934178 329200266467600403224363203181133000487

  5. generate a proof of computation zokrates generate-proof

  6. export a solidity verifier zokrates export-verifier