luishsr / rust-mpc

A Rust Multi-party Computation example

Multi-party Computation with a Simplified zk-Rollup System in Rust

This project is a simplified simulation of a zk-rollup system, designed to demonstrate the interaction between users submitting transactions, an operator (Prover) batching these transactions and generating proofs, and a verifier (Mainnet) validating these proofs. It's built with Rust and showcases basic concepts of cryptographic computation and privacy-preserving mechanisms.

Overview

The system consists of three main components:

• User Interface: Allows users to submit transactions to the Prover.
• Prover (Operator): Batches transactions, generates a proof of correctness, and submits this to the Verifier.
• Verifier (Mainnet): Receives proofs from the Prover, issues challenges, and verifies the responses to ensure the integrity of the transactions.

Getting Started

Prerequisites

• Rust and Cargo (Rust's package manager) installed on your machine.
• Basic knowledge of Rust programming and terminal/command-line usage.

Installation

1. Clone the repository:

   git clone https://github.com/luishsr/rust-mpc.git
   
   

2. Navigate to the project directory:

   cd zk-rollup-simulation
   

Running the Components

1. Start the Verifier:

   cargo run --bin verifier
   

This launches the Verifier, which listens for proofs from the Prover.

2. Launch the Prover:

   cargo run --bin prover
   

This starts the Prover, ready to receive transactions from users and interact with the Verifier.

3. Use the User Interface to Submit Transactions:

   cargo run --bin user_tui
   

Alternatively, you can simulate user transactions using nc or similar tools.