PayneJoe/circuits

zk circuits powering trustless swaps between bitcoin and ethereum

★ 0Forks 0GitHub ↗Compare

README

circuits

DEPRECATED, all protocol code now located here

Requirements

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.sh
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 ..

Compute the Verification Key

cargo run --release --bin vkey

Contributors

alpinevmbruidbarrettprofiit

Issues