Repositories list

• header_chain

  Public
  A STARK proof of Bitcoin's header chain

  Cairo

  •

  MIT License

  •5•42•1•0•Updated Apr 29, 2024Apr 29, 2024

• ZeroSync

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

  bitcoinstarkszkproof

  Cairo

  •

  MIT License

  •55•417•2•1•Updated Apr 25, 2024Apr 25, 2024

• header_chain_parser

  Public
  Rust

  •4•1•0•0•Updated Feb 15, 2024Feb 15, 2024

• zerosync-verifier

  Public
  Rust

  •2•8•0•0•Updated Dec 4, 2023Dec 4, 2023

• ZeroSync_design

  Public
  ZeroSync logos and social media banners

  0•0•0•0•Updated Nov 13, 2023Nov 13, 2023

• sandstorm

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

  Rust

  •

  MIT License

  •21•0•0•0•Updated Oct 19, 2023Oct 19, 2023

• ministark

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

  Rust

  •

  MIT License

  •35•1•0•0•Updated Oct 12, 2023Oct 12, 2023

• sha256_cairo_goldilocks

  Public
  A cairo implementation of sha256 for the goldilocks field

  Cairo

  •

  MIT License

  •1•0•0•0•Updated Aug 3, 2023Aug 3, 2023

• header_chain_data

  Public
  Bitcoin's header chain

  0•3•0•0•Updated Jul 24, 2023Jul 24, 2023

• old_ZeroSync_wasm

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

  HTML

  •2•8•0•0•Updated Jul 16, 2023Jul 16, 2023

• giza

  Public
  A Cairo VM prover implemented using Winterfell

  Rust

  •

  Apache License 2.0

  •15•16•0•0•Updated May 4, 2023May 4, 2023

• winterfell

  Public
  A STARK prover and verifier for arbitrary computations

  Rust

  •

  MIT License

  •182•1•0•0•Updated Apr 7, 2023Apr 7, 2023

• air-script

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

  Rust

  •

  MIT License

  •11•1•0•0•Updated Dec 8, 2022Dec 8, 2022