Pinned Repositories
air-script
A domain-specific language for writing AIR constraints for Miden VM
giza
A Cairo VM prover implemented using Winterfell
header_chain
A STARK proof of Bitcoin's header chain
header_chain_data
Bitcoin's header chain
header_chain_parser
ministark
🏃♂️💨 GPU accelerated STARK prover built on @arkworks-rs
old_ZeroSync_wasm
The Giza STARK verifier and a ZeroSync proof parser compiled to WebAssembly
winterfell
A STARK prover and verifier for arbitrary computations
ZeroSync
A STARK proof to sync a Bitcoin full node in an instant.
zerosync-verifier
ZeroSync's Repositories
ZeroSync/ZeroSync
A STARK proof to sync a Bitcoin full node in an instant.
ZeroSync/header_chain
A STARK proof of Bitcoin's header chain
ZeroSync/giza
A Cairo VM prover implemented using Winterfell
ZeroSync/old_ZeroSync_wasm
The Giza STARK verifier and a ZeroSync proof parser compiled to WebAssembly
ZeroSync/zerosync-verifier
ZeroSync/header_chain_data
Bitcoin's header chain
ZeroSync/air-script
A domain-specific language for writing AIR constraints for Miden VM
ZeroSync/header_chain_parser
ZeroSync/ministark
🏃♂️💨 GPU accelerated STARK prover built on @arkworks-rs
ZeroSync/winterfell
A STARK prover and verifier for arbitrary computations
ZeroSync/sha256_cairo_goldilocks
A cairo implementation of sha256 for the goldilocks field
ZeroSync/ZeroSync_design
ZeroSync logos and social media banners
ZeroSync/sandstorm
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)