A STARK proof of Bitcoin's header chain
make test
This command installs all required dependencies
make setup
This command proves a batch of headers
make BATCH_SIZE=63 START=0 END=62 PREV_PROOF=batch_proofs/batch_0
This command aggregates two batch proofs (or aggregate proofs) into a single, aggegated proof
make PREV_PROOF=batch_proofs/batch_0 NEXT_PROOF=batch_proofs/batch_1 START=0 END=125 aggregate_proof
This command extends an aggregate or batch proof with a next batch
make BATCH_SIZE=63 START=0 END=62 PREV_PROOF=batch_proofs/batch_0 increment_proof