ZeroSync's repositories
header_chain
A STARK proof of Bitcoin's header chain
old_ZeroSync_wasm
The Giza STARK verifier and a ZeroSync proof parser compiled to WebAssembly
header_chain_data
Bitcoin's header chain
air-script
A domain-specific language for writing AIR constraints for Miden VM
winterfell
A STARK prover and verifier for arbitrary computations
sha256_cairo_goldilocks
A cairo implementation of sha256 for the goldilocks field
ZeroSync_design
ZeroSync logos and social media banners
000
Language:Rust000