litmus-zk-sp1

Proof of concept project. Executes litmus verification algorithms within SP1.

Requirements

• Rust
• SP1

Running the Project

There are two ways to run this project: compile execute a program or generate a core proof.

Compile Program

To compile the program:

cd program
cargo prove build

Execute Program

To run the program without generating a proof:

cd script
cargo run --release -- --execute

This will execute the program and display the output.

Generate Program Execution Proof

To generate a core proof for your program:

cd script
cargo run --release -- --prove