Stark

Description

Implementation of stark.Not suitable for production use.

Table of Contents

• Installation
• Usage
• Reference

Installation

Ensure you have Rust and Cargo installed. To install the project, run:

git clone https://github.com/Saksham010/mini-stark/
cd mini-stark

Usage

Computation

Computation is handwired as fibbonacci sequence Ensure that number of gates is in 2^n

Proof Generation

Proof generated form the values that does not satisfy the constraint is rejected

Generate proof by running:

cargo run --bin prover

Copy the proof string.

Proof Verification

Honest verifier will run the recieved proof with the verifier algorithm.

cargo run --bin verifier REPLACE_WITH_PROOF

The verification algorithm will output whether the proof is valid or not in the console.

Reference

References are listed here: https://github.com/Saksham010/awesome-zk-stark