Header Chain Proof

A STARK proof of Bitcoin's header chain

Run Tests

make test

Generate Proofs

Setup

This command installs all required dependencies

make setup

Batch Proof

This command proves a batch of headers

make batch_proof

Aggregate Proof

This command aggregates two batch proofs (or aggregate proofs) into a single, aggegated proof

make aggregate_proof

Increment Proof

This command extends an aggregate proof with a next header

make increment_proof