Skip to content

Commit 030cd73

Browse files
ozankaymakozankaymak
authored
Add header chain circuit and its host with ELFs (#205)
* Add circuits * Add prover with ELFs * Fix errors + add headers * Final fixes * Refactor * Remove commented out code * Include readmes * Update Cargo.lock * Update README, add mainnet-headers.bin * Put working proof * Simplify Cargo.toml * Use docker image * Incompatible machine, comment out code * Add final SPV and header chain circuits with Docker build support * CI fix * Update readme files
1 parent 3f7d91e commit 030cd73

53 files changed

Lines changed: 6794 additions & 125 deletions

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎.github/workflows/CI.yml‎

Lines changed: 13 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -17,8 +17,19 @@ jobs:
1717
runs-on: self-hosted
1818
steps:
1919
- uses: actions/checkout@v4
20-
- name: Run clippy
21-
run: cargo clippy
20+
- name: Run clippy (no guests)
21+
run: cargo clippy --workspace --exclude header-chain-circuit --exclude final-spv-circuit
22+
23+
guest:
24+
if: github.event.pull_request.draft == false
25+
timeout-minutes: 30
26+
runs-on: self-hosted
27+
steps:
28+
- uses: actions/checkout@v4
29+
- name: Build guests
30+
run: |
31+
REPR_GUEST_BUILD=1 BITCOIN_NETWORK=mainnet cargo build -p header-chain-circuit --release
32+
REPR_GUEST_BUILD=1 BITCOIN_NETWORK=mainnet cargo build -p final-spv-circuit --release
2233
2334
build:
2435
if: github.event.pull_request.draft == false

0 commit comments

Comments
 (0)