Basic zk-Rollup Implementation in Rust and Circom

This repository contains a simple, single transaction, zero-knowledge rollup made in Rust. Various open-source libraries/projects were combined.

This code is for academic purposes ONLY. DO NOT USE IT IN PRACTICE.

Install & Run

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

    cd circuits
    npm install
    node generate_input.js
    [your circom executable here] circuit.circom --wasm --r1cs --json

Now go back into the main folder and run:

    cargo build
    cargo run

This will set up the proof and verify the proof based on the generated inputs

Resources used:

• [1] zk-rollup tutorial, https://github.com/rollupnc/RollupNC
• [2] ark-circom, https://github.com/arkworks-rs/circom-compat