ZeroSync is spearheading the application of proof systems to #Bitcoin
Joined December 2021
- Tweets 111
- Following 1
- Followers 5,725
- Likes 720
Pinned Tweet
“At ZeroSync, our mission is to catalyze the use of proof systems in the Bitcoin ecosystem to improve scalability, accessibility, and privacy.”
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!
ZeroSync retweeted
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.pdf
ZeroSync retweeted
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 just broadcasted the first mainnet transaction having a Blake3 hash lock implemented in Bitcoin Script.
One small opcode for BitVM, one giant script for Bitcoin.
blockstream.info/tx/d8a091a7…
ZeroSync retweeted
We may have discovered a way for BitVM to do permissionless verification, effectively overcoming its primary limitation!
Draft writeup: bitvm.org/bitvm2
ZeroSync retweeted
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/bl…
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!
📡🛰️💻
🥳🥳🥳
ZeroSync retweeted
Here's a diagram of BitVM's transaction graph to get a better overview of how it works under the hood
ZeroSync retweeted
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.
ZeroSync retweeted
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
piped.video/watch?v=rubs5Srk…
ZeroSync retweeted
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
ZeroSync retweeted
Brief history of ZK on @Bitcoin, from Satoshi's own words to @ZeroSync_
cointelegraph.com/magazine/s…
ZeroSync retweeted
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
ZeroSync retweeted
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
ZeroSync retweeted
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
ZeroSync retweeted
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
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
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
ZeroSync retweeted
BitVM aims to enhance Bitcoin smart contract capabilities without fork theblock.co/post/255683/bitv…