A Simple, Minimalist Template for Noir Projects.
Click use this template to create a new repository with this repo as the initial state.
Setup
You need both nargo and foundry installed.
Regarding the installation of nargo, please refer to its repo here.
Building
cd circuits
# generates the Solidity contract
nargo codegen-verifier
# generates a file "p.proof" in circuits/proofs
nargo prove pTesting
Before testing, be sure you have generated the updated Solidity verifier contract as well as a valid proof!
forge test --ffiThese smart contracts are being provided as is. No guarantee, representation or warranty is being made, express or implied, as to the safety or correctness of the user interface or the smart contracts. They have not been audited and as such there can be no assurance they will work as intended, and users may experience delays, failures, errors, omissions, loss of transmitted information or loss of funds. The creators are not liable for any of the foregoing. Users should proceed with caution and use at their own risk.