ZeroSync

ZeroSync

Geek Repo

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

Home Page:https://ZeroSync.org

Twitter:@ZeroSync_

Github PK Tool:Github PK Tool

ZeroSync's repositories

ZeroSync

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

Language:CairoLicense:MITStargazers:382Issues:19Issues:27

header_chain

A STARK proof of Bitcoin's header chain

Language:CairoLicense:MITStargazers:37Issues:2Issues:1

giza

A Cairo VM prover implemented using Winterfell

Language:RustLicense:Apache-2.0Stargazers:17Issues:0Issues:0

old_ZeroSync_wasm

The Giza STARK verifier and a ZeroSync proof parser compiled to WebAssembly

Language:HTMLStargazers:8Issues:3Issues:0

header_chain_data

Bitcoin's header chain

air-script

A domain-specific language for writing AIR constraints for Miden VM

Language:RustLicense:MITStargazers:1Issues:1Issues:0

winterfell

A STARK prover and verifier for arbitrary computations

Language:RustLicense:MITStargazers:1Issues:1Issues:2

ministark

🏃‍♂️💨 GPU accelerated STARK prover built on @arkworks-rs

Language:RustLicense:MITStargazers:0Issues:1Issues:0

sha256_cairo_goldilocks

A cairo implementation of sha256 for the goldilocks field

Language:CairoLicense:MITStargazers:0Issues:2Issues:0

ZeroSync_design

ZeroSync logos and social media banners

Stargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:0Issues:0

sandstorm

Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)

Language:RustLicense:MITStargazers:0Issues:1Issues:0