circuits

Requirements

• Rust
• SP1
• Docker

Directory Overview

Directory	Purpose	Contents
core/	Internal Library	Encapsulates all circuit business logic
program/	Executable Wrapper	Combines SP1 with our circuit library to create the program executable
script/	Build Utilities	Contains scripts for building vkeys, proofs and evm artifacts
lib/	Client Library	Client-facing library for creating proofs
tests/	Testing Suite	Unit and Integration tests

Run Unit Tests

./download_test_blocks.s
cargo test -p tests

Run Specific Test

cargo test -p tests --test <test_name>
# <tx_hash | sha256_merkle | bitcoin | lp_hash | payment | giga>

Build Demo Mainnet Plonk Proof

Execute only

cargo run --release --bin plonk_test -- --execute

Proof Gen

cargo run --release --bin plonk_test

Build SP1 Program

cd program && cargo prove build && cd ..

Retrieve the Verification Key

To retrieve your programVKey for your on-chain contract, run the following command:

cargo run --release --bin vkey