ZeroSync's Header Chain Verifier: Instant Bitcoin Header Chain Verification
ZeroSync works to verify Bitcoin's chain state in an instant without having to download hundreds of gigabytes of blocks. Header Chain Verifier verifies a STARK proof of Bitcoin's header chain in one's browser.

- "This is a simple demo of a chain state proof. It runs the miniSTARK verifier in WebAssembly to verify a recursive proof of Bitcoin's header chain in your browser."
Try it here:
ZeroSync: STARKs for Bitcoin
ZeroSync is spearheading the development of proof systems for Bitcoin. Applying groundbreaking cryptography, we are pionieering the future of Bitcoin privacy, interoperability, and scalability.

- "DISCLAIMER: This prototype is work in progress. This website currently validates only the header chain, and verifies no transactions yet."
"We have implemented a full chain proof, yet, it is still too early-stage to invest significant computational resources in generating a proof over the entire chain. However, as we advance, we will keep this demo updated with longer and more complete chain proofs."
- ZeroSync's Robin Linus also shared his slides from TabConf that provide more details on their progress.
The web server already compresses the proof to less than 300kb.
— яobin linus (@robin_linus) September 9, 2023
Hardcoding the program into the verifier reduces it even further to about 100kb pic.twitter.com/9txffgXKjl

- The slides also include the roadmap for the project.
