This repository contains the smart contracts for validating zero knowledge proofs generated in placeholder proof system in EVM.

• Hardhat
• nodejs >= 16.0

git clone git@github.com:NilFoundation/evm-placeholder-verification.git
cd evm-placeholder-verification

npm i

npx hardhat compile

Launch a local-network using the following

npx hardhat node

To deploy to test environment (ex: Ganache)

npx hardhat deploy  --network localhost 

Hardhat re-uses old deployments, to force re-deploy add the --reset flag above

zkLLVM compiler prepares circuits in form of instantiated contracts, which have to be deployed to the blockchain.

Once you got zkLLVM output - put a circuit directory it under contracts/zkllvm. The folder should contain following files:

* proof.bin -- placeholder proof file
* circuit_params.json -- parameters file in JSON format
* public_input.json -- public input file in JSON format
* linked_libs_list.json -- list of external libraries, have to be deployed for gate argument computation.
* gate_argument.sol, gate0.sol, ... gateN.sol -- solidity files with gate argument computation

If all the files are in place - you can deploy the circuit verifier to the blockchain and verify the proofs. You only need to deploy the verifier once, and then you can verify as many proofs as you want.

Deploy contracts

npx hardhat deploy

If you've put the circuit under, let's say, contracts/zkllvm/circuit-name directory, you can verify the proofs with the following command:

npx hardhat verify-circuit-proof --test circuit-name

To verify all circuits from contracts/zkllvm directory:

npx hardhat verify-circuit-proof-all

Tests are located in test directory. To run tests:

npx hardhat test #Execute tests
REPORT_GAS=true npx hardhat test # Test with gas reporting

Issue reports are preferred to be done with Github Issues in here: https://github.com/NilFoundation/evm-placeholder-verification/issues.

Usage and development questions are preferred to be asked in a Telegram chat: https://t.me/nilfoundation or in Discord (https://discord.gg/KmTAEjbmM3)