package.json

{
  "name": "snarkjs-tutorial",
  "version": "1.0.0",
  "description": "",
  "scripts": {
    "build:circuits": "npx circom circuits/circuit.circom -r artifacts-circuits/circuit.r1cs -w artifacts-circuits/circuit.wasm -s artifacts-circuits/circuit.sym",
    "build:contracts": "npx hardhat compile",
    "generate:calldata": "npx snarkjs zkey export soliditycalldata ./proof/public.json ./proof/proof.json",
    "generate:contracts": "npx snarkjs zkey export solidityverifier ./setup/circuit_final.zkey contracts/verifier.sol",
    "install": "mkdir contracts && mkdir proof && mkdir artifacts-circuits",
    "prove": "./scripts/prove.sh",
    "setup": "./scripts/setup.sh",
    "show": "npx snarkjs r1cs info artifacts-circuits/circuit.r1cs",
    "show:constraints": "npx snarkjs r1cs print artifacts-circuits/circuit.r1cs artifacts-circuits/circuit.sym",
    "test": "npx hardhat test",
    "verify": "npx snarkjs groth16 verify ./setup/verification_key.json ./proof/public.json ./proof/proof.json"
  },
  "author": "",
  "license": "GPL-3.0",
  "devDependencies": {
    "@nomiclabs/hardhat-ethers": "^2.0.2",
    "@nomiclabs/hardhat-waffle": "^2.0.1",
    "@types/chai": "^4.2.21",
    "@types/mocha": "^9.0.0",
    "@types/node": "^16.9.4",
    "chai": "^4.3.4",
    "circom": "^0.5.45",
    "ethereum-waffle": "^3.4.0",
    "ethers": "^5.4.7",
    "hardhat": "^2.6.4",
    "snarkjs": "^0.4.7",
    "ts-node": "^10.2.1",
    "typescript": "^4.4.3"
  }
}