🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

BitVM aims to enhance Bitcoin smart contract capabilities without fork theblock.co/post/255683/bi…

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

Tick Tock Next Block 🕑 As part of our latest release, our proving server now updates the header chain proof to the latest state every 30 blocks zerosync.org/demo

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

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

Rijndael 😸 Lightning Labs⚡️🌐 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

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

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

Here you can watch the ZeroSync talk which Lukas and яobin linus gave at Bitcoin Amsterdam youtube.com/watch?v=rubs5S…

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

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.

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

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

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

Cypherpunks researching bridge designs

Last week, at the SF Bitcoin Devs meetup at Stanford, Dan Boneh 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…

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

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 Moved to @MARAHoldings for covering the fees!

Excited to share our work on BitVM bridges: A novel trust-minimized protocol to bridge Bitcoins to second layers. Huge thanks to Lukas Aumayr, alexei, Andrea Pelosi, Zeta Avarikioti, and Matteo Maffei for their amazing contributions 🧡 bitvm.org/bitvm_bridge.p…

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!