Data

Tools

Indexes

Applications

Experiments

Open Source Science

header_chain

A STARK proof of Bitcoin's header chain

https://github.com/zerosync/header_chain

Science Score: 44.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • ✓
    CITATION.cff file
    Found CITATION.cff file
  • ✓
    codemeta.json file
    Found codemeta.json file
  • ✓
    .zenodo.json file
    Found .zenodo.json file
  • ○
    DOI references
  • ○
    Academic publication links
  • ○
    Academic email domains
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (4.5%) to scientific vocabulary
Last synced: 8 months ago · JSON representation ·

Repository

A STARK proof of Bitcoin's header chain

Basic Info
  • Host: GitHub
  • Owner: ZeroSync
  • License: mit
  • Language: Cairo
  • Default Branch: master
  • Size: 1.92 MB
Statistics
  • Stars: 43
  • Watchers: 2
  • Forks: 7
  • Open Issues: 3
  • Releases: 0
Created almost 3 years ago · Last pushed about 2 years ago
Metadata Files
Readme License Citation

README.md

Header Chain Proof

A STARK proof of Bitcoin's header chain

Remember to activate the Python environment into which you've installed Cairo source ~/cairo_venv/bin/activate

Run Tests

sh make test

Generate Proofs

Setup

This command installs all required dependencies if you have your cairo_venv at ~/cairo_venv. sh make setup

Batch Proof

This command proves a batch of headers.

sh make batch_proof BATCH_SIZE=63 BATCH_NUMBER=0

Aggregate Proof

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

sh make aggregate_proof PREV_PROOF=batch_proofs/batch_0 NEXT_PROOF=batch_proofs/batch_1 START=0 END=125

Increment Proof

This command extends an aggregate or batch proof with a next batch.

sh make increment_proof BATCH_SIZE=63 START=0 END=62 PREV_PROOF=batch_proofs/batch_0

Develop

Update program hashes

sh make batch_program_hash

Owner

  • Name: ZeroSync
  • Login: ZeroSync
  • Kind: organization

A STARK proof to sync a Bitcoin full node in an instant.

Citation (CITATION.cff) 

cff-version: 1.2.0
message: "If you use this software, please cite it as below."
authors:
  - family-names:  Linus
    given-names: Robin
    email: hello@zerosync.org
  - family-names: George
    given-names: Lukas
  - family-names: Milson
    given-names: Andrew
  - family-names: Steffens
    given-names: Tino 
title: "ZeroSync - STARK proofs for Bitcoin"
version: 0.0.1
date-released: 2023-09-09
url: https://github.com/ZeroSync/header_chain

GitHub Events

Total
  • Issues event: 2
  • Watch event: 1
  • Pull request event: 1
  • Fork event: 2
Last Year
  • Issues event: 2
  • Watch event: 1
  • Pull request event: 1
  • Fork event: 2