zokrates

Simple project 📘 to demonstrate 👨‍🔬 zk-Snark using zokrates-js. Zero-Knowledege proof - proving something without revealing the answer🧾.

In others words,

I know a in f(a, b) = c

Installation

npm i

1.Generate proof and verifier contracts for the program in /zok-src

npx hardhat run scripts/generate-proof.js

2.Deploy contract on chain using deploy.js

npx hardhat run scripts/deploy.js

npm test