2023 has been a blast!
✅ Founded nonprofit
✅ Chain proof prototype
✅ zkCoins paper
✅ Bitcoin ZKPs paper
✅ Header chain proof
✅ BitVM paper
✅ Blake3 in Script
✅ BitStream paper
✅ BitVM prototype
✅ ZKP Satellite broadcast
Thanks to everyone supporting @ZeroSync_
🧡🧡🧡
In 1998, @halfin gave a talk titled "A zero-knowledge proof of possession of a pre-image of a SHA-1 hash".
He proved in 40 mins 1 SHA1 call.
25 years later, we proved in 8 days 1.6 million SHA256 calls for Bitcoin's first zk-client zerosync.org/demodrive.google.com/file/d/0BxSJdY…
Excited to share a summary of our research on introducing validity proofs to #Bitcoin
We discuss our implementation of the first-ever chain state proof and present zkCoins, a client-side validation protocol combined with ZKPs, improving on RGB and Taro
zerosync.org/zerosync.pdf
Are you curious about learning to implement your own STARK proofs? If so, please upvote @andrewmilson's submission for a workshop at the @tabconf conference!
See you in Atlanta 💪🤓🧡
@andrewmilson just completed the world's first production-ready open source STARK prover.
He generated a proof and submitted it to @StarkWareLtd's onchain verifier. It was accepted, which proves that it works.
We feel honored to have him as part of the ZeroSync team!!
💪🤓🧡
Finally, the band is united for the very first time. Two weeks of hacker house ahead of us.
Our goal is to complete the world's first production-ready header chain proof... Stay tuned!
🤓🤓🤓🤓
.@ZeroSync_ Co-founder @robin_linus announces they are partnering with @Blockstream to broadcast streamproofs using Blockstream Satellites to sync the #bitcoin blockchain anywhere in the world without the internet