ZeroSync

“At ZeroSync, our mission is to catalyze the use of proof systems in the Bitcoin ecosystem to improve scalability, accessibility, and privacy.”

@zellic_io github.com/bitvm/bitvm

Our BitVM2 implementation passed a comprehensive audit by @zellic_io! All findings addressed, system hardened. SNARK verification on Bitcoin is ready for mainnet. Huge thanks to all the BitVM Alliance companies: Citrea, GOAT Network, BOB, Babylon, Bitlayer, Alpen, Fiamma.

Excited to announce the formation of the BitVM Alliance! Together, we're joining forces to deliver the first BitVM Bridges by the end of the year. Stay tuned!

Excited to share our work on BitVM bridges: A novel trust-minimized protocol to bridge Bitcoins to second layers. Huge thanks to @lukas_aumayr, @alexeiZamyatin, Andrea Pelosi, @zetavar1, and @matteo_maffei for their amazing contributions 🧡 bitvm.org/bitvm_bridge.p…

After months in the mempool, our Blake3 transaction has finally been mined, executing the most sophisticated Script in the chain to date. This marks a milestone in our mission of scaling Bitcoin through proof systems and BitVM. Big thanks to @MarathonDH for covering the fees!

We may have discovered a way for BitVM to do permissionless verification, effectively overcoming its primary limitation! Draft writeup: bitvm.org/bitvm2

Last week, at the @SFBitcoinDevs meetup at Stanford, @danboneh introduced me to Winternitz signatures. These are more compact Lamport signatures and can cut the transaction fees for BitVM by more than 50%. Check out the first implementation here: github.com/BitVM/bitvm-js…

Cypherpunks researching bridge designs

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_ 🧡🧡🧡

Our great team member @lucidLuckylee just broadcasted the first chain state proof from space via @Blockstream Satellite! 📡🛰️💻 🥳🥳🥳

Here's a diagram of BitVM's transaction graph to get a better overview of how it works under the hood

New grantee. @ZeroSync_ is our first grantee to work on bitcoin proofs (think of them as zero-knowledge proofs for bitcoin), a mechanic which allows nodes to quickly sync compressed blockchain data without having to download hundreds of gigs worth of people testing new wallets.

BitStream: Decentralized File Hosting Incentiviced via Bitcoin Payments robinlinus.com/bitstream.pdf

Here you can watch the ZeroSync talk which @lucidLuckylee and @robin_linus gave at Bitcoin Amsterdam youtube.com/watch?v=rubs5S…

Exciting developments in the #Bitcoin ecosystem are paving the way for expanded utility. A groundbreaking example is the recently introduced BitVM by @robin_linus. Our team at @calblockchain explored this innovation in depth. Here's what we found: bitvm.org/bitvm.pdf

Brief history of ZK on @Bitcoin, from Satoshi's own words to @ZeroSync_ cointelegraph.com/magazine/satos…

Can #Bitcoin handle Turing-complete smart contracts? With BitVM, it can! 🎉 Created by @Robin_Linus, the mind behind @ZeroSync_, BitVM performs most computational work off-chain, ensuring secure and efficient operations with minimal impact. 👉 ow.ly/htMw50PWCgl

@rot13maxi @lightning yep yep, have a laundry list of items I've been wanting to implement so we can further the protocol one new avenue is: re-use the zerosync codebase to make a proof for the validity of the filter chain tip should be less total steps that block header, as algo is simpler

Daily reminder that you can validate the chain of bitcoin headers in less than 3 seconds with about 1.5kB of data on your phone RIGHT NOW through the magic of starks: zerosync.org/demo/ @ZeroSync_ is magical

if Bitcoin is reusable work (PoW), then Incrementally Verifiable Computation (IVC) is reusable computation given a proof of prior step, and new state, a new proof that asserts the validity of all prior steps _and_ le new step can be generated w/o reproving all history #STARKs