Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/shivamgupta92/metacrafters-polygon-module-3
https://github.com/shivamgupta92/metacrafters-polygon-module-3
Last synced: 1 day ago
JSON representation
- Host: GitHub
- URL: https://github.com/shivamgupta92/metacrafters-polygon-module-3
- Owner: ShivamGupta92
- Created: 2023-07-19T18:27:46.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2023-07-20T11:58:22.000Z (over 1 year ago)
- Last Synced: 2023-07-20T12:53:35.998Z (over 1 year ago)
- Language: TypeScript
- Size: 0 Bytes
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# METACRAFTERS-POLYGON-MODULE-3
## ZK SNARK DESIGNER
In this project I have created a zKSnark circuit using the circom programming language that implements the following logical operations:
The circuit consists of an AND gate, NOT gate, OR gate.
```
A B X Y Q
0 0 0 1 1
0 1 0 0 0
1 0 0 1 1
1 1 1 0 1
```
The goal of the project is to prove that the inputs A=0 and B=1 yield a 0 output.
# Installation
1. clone the hardhat-circom repository :
```sh
git clone https://github.com/gmchad/zardkat
```
2. Change current working directory :
```sh
cd ./zardkat
```
3. Install the required dependencies :
```sh
npm i
```
4. Installing snarkjs :
```sh
npm install -g snarkjs
```
6. Write the correct logic and compile circom
```sh
npx hardhat circom
```
this script generates proofs and a verifier.
# Implementation
1. Write the correct circuit.circom implementation.
2. Compile the circuit to generate circuit intermediaries
```sh
npx hardhat run scripts/deploy.ts
```
3. It will generate the CustonCircuitVerifier.sol contract.
4. If `True` deploy on mumbai polygon test network
```sh
npx hardhat run scripts/deploy.ts --network mumbai
```
# Deployment
`npx hardhat run scripts/deploy.ts --network mumbai`
This script does 4 things:
1. It deploys the CustonCircuitVerifier.sol contract.
2. Generates a proof from circuit intermediaries with `generateProof()`.
3. Generates calldata with `generateCallData()`.
4. Calls `verifyProof()` on the verifier contract with calldata.
5. Lastly, the asserted output should turn out to be `TRUE`.
