This repository contains a simple, single transaction, zero-knowledge rollup made in Rust. We have combined various open-source libraries/projects that were already available.
This project was part of a university assignment, so this project should not be used in production environments.
Make sure that Rust and Node are installed.
First go into to the circuits directory and compile the circuit. Download the latest version of Circom from here https://github.com/iden3/circom
[your circom executable here] circuit.circom --wasm --r1cs --json
Now go back into the main folder and run:
This will set up the proof and verify the proof based on the generated inputs