This project implements three Zero-Knowledge Proofs (ZKPs) related to the paper titled "Privacy-Preserving Exchange Mechanism and its Application to Energy Market". These ZKPs have been implemented using Noir, a Domain Specific Language (DSL) tailored for SNARK proving systems. Noir is designed to leverage any ACIR-compatible proving system, providing simplicity and familiarity in its syntax, based on Rust.
Nargo serves as a comprehensive toolset for Noir, offering functionalities ranging from project initialization to compilation, execution, proving, verification, testing, and even Solidity contract generation.
To install Noir using noirup, follow these simple steps:
- Open a terminal on your machine.
- Run the following command:
curl -L https://raw.githubusercontent.com/noir-lang/noirup/main/install | bash- Close the terminal and open a new one.
- Run:
noirupThat's it! You should now have the latest version of Noir installed and ready to use. Confirm the installation by checking the version with :
nargo --version.You also have the flexibility to install nightly builds, specific versions, or branches. Refer to the noirup repository for further details.
To execute a Noir proof, navigate to a specific proof directory and run:
nargo proveThis command will trigger the proving process, generating a .proof file within a proofs directory.
This project is licensed under the MIT License - see the LICENSE.md file for details.
If you have any questions or suggestions regarding this implementation, feel free to reach out to me at [hamza.zarfaoui@telecom-paris.fr].