zerosync

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

https://github.com/zerosync/zerosync

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 (15.8%) to scientific vocabulary

Keywords

bitcoin starks zkproof
Last synced: 6 months ago · JSON representation ·

Repository

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

Basic Info
  • Host: GitHub
  • Owner: ZeroSync
  • License: mit
  • Language: Cairo
  • Default Branch: main
  • Homepage: https://ZeroSync.org
  • Size: 2.9 MB
Statistics
  • Stars: 432
  • Watchers: 18
  • Forks: 64
  • Open Issues: 5
  • Releases: 0
Topics
bitcoin starks zkproof
Created over 3 years ago · Last pushed about 1 year ago
Metadata Files
Readme License Citation Codeowners Roadmap

README.md

ZeroSync


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

Report a Bug | Request a Feature | Ask a Question

[![GitHub Workflow Status](https://github.com/ZeroSync/ZeroSync/actions/workflows/CI.yml/badge.svg)](https://github.com/ZeroSync/ZeroSync/actions/workflows/CI.yml)[![Project license](https://img.shields.io/github/license/ZeroSync/ZeroSync.svg)](LICENSE) [![Pull Requests welcome](https://img.shields.io/badge/PRs-welcome-ff69b4.svg?)](https://github.com/ZeroSync/ZeroSync/issues) [![GitHub Repo stars](https://img.shields.io/github/stars/ZeroSync/ZeroSync?style=social)](https://github.com/ZeroSync/ZeroSync/stargazers) [![Twitter Follow](https://img.shields.io/twitter/follow/ZeroSync_?style=social)](https://x.com/ZeroSync)

Don't trust. Verify. ZeroSync allows to verify Bitcoin's chain state in an instant. No need to download hundreds of gigabytes of blocks. A compact cryptographic proof suffices to validate the entire history of transactions and everyone's current balances.

Our first application is to zerosync Bitcoin Core in pruned mode. The long-term vision for ZeroSync is to become a tool box for custom Bitcoin proofs. STARK proofs enable you to transform the blockchain data, enhance it, filter it, index it for efficient queries, and optimise it for your individual use case.

This is an early stage project. Expect frequent breaking changes. Here is the project roadmap.

WARNING: THIS CODE IS STILL FULL OF CRITICAL SECURITY BUGS!

Requirements

  • Python 3.9 (Activate environment: source ~/cairo_venv/bin/activate)
  • Cairo. Installation Guide (Programming language for provable programs)
  • Protostar (Automated testing)
  • Giza (Required for prover. Not necessary for development and testing)
  • EJS (Required for compiling)

Install as library

To access the Cairo code in the src directory from within another Cairo project install the zerosync package:

```sh pip install zerosync

```

Find a short Cairo example at docs/import_example.cairo on how to import the desired function.

Run the Utreexo bridge node

The Utreexo bridge node is required to pass the tests for block verification. It provides the inclusion proofs for the coins spent in a block.

sh make bridge_node

Run all unit tests

sh make unit_test

Run all integration tests

sh make integration_test

Run the chain prover

sh make chain_proof

List TODOs

sh ./docs/todos

Roadmap

The roadmap is available here.

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: Gillet
    given-names: Max   
  - family-names: Steffens
    given-names: Tino 
title: "ZeroSync - STARK proofs for Bitcoin"
version: 0.0.1
date-released: 2022-12-15
url: https://github.com/ZeroSync/ZeroSync

GitHub Events

Total
  • Issues event: 5
  • Watch event: 30
  • Issue comment event: 11
  • Push event: 1
  • Pull request event: 13
  • Fork event: 7
Last Year
  • Issues event: 5
  • Watch event: 30
  • Issue comment event: 11
  • Push event: 1
  • Pull request event: 13
  • Fork event: 7

Issues and Pull Requests

Last synced: 6 months ago

All Time
  • Total issues: 1
  • Total pull requests: 6
  • Average time to close issues: about 1 month
  • Average time to close pull requests: about 1 month
  • Total issue authors: 1
  • Total pull request authors: 6
  • Average comments per issue: 1.0
  • Average comments per pull request: 1.0
  • Merged pull requests: 0
  • Bot issues: 0
  • Bot pull requests: 0
Past Year
  • Issues: 1
  • Pull requests: 6
  • Average time to close issues: about 1 month
  • Average time to close pull requests: about 1 month
  • Issue authors: 1
  • Pull request authors: 6
  • Average comments per issue: 1.0
  • Average comments per pull request: 1.0
  • Merged pull requests: 0
  • Bot issues: 0
  • Bot pull requests: 0
Top Authors
Issue Authors
  • VeryDustyBot (5)
  • flechemano (1)
  • petscheit (1)
Pull Request Authors
  • Olexandr88 (2)
  • Ocheretovich (1)
  • petryshkaCODE (1)
  • luckyyang (1)
  • keienWang (1)
  • krauspt (1)
  • AriaBl2 (1)
  • Pronoss (1)
  • Ursulafe (1)
  • romashka-btc (1)
Top Labels
Issue Labels
stale (1)
Pull Request Labels
stale (7)

Dependencies

setup.py pypi
  • click *
.github/workflows/CI.yml actions
  • actions-rs/toolchain v1 composite
  • actions/checkout v3 composite
  • actions/setup-python v4 composite
.github/workflows/labels.yml actions
  • actions/checkout v2 composite
  • micnncim/action-label-syncer v1.2.0 composite
.github/workflows/lock.yml actions
  • dessant/lock-threads v2.0.3 composite
.github/workflows/pr-labels.yml actions
  • jesusvasquez333/verify-pr-label-action v1.4.0 composite
.github/workflows/stale.yml actions
  • actions/stale v3 composite
Cargo.lock cargo
  • 117 dependencies
Cargo.toml cargo
hints/Cargo.toml cargo
parser/Cargo.toml cargo
hints/pyproject.toml pypi