ZeroSync is spearheading the application of proof systems to #Bitcoin
- Tweets 113
- Following 1
- Followers 5,369
- Likes 701
Pinned Tweet
“At ZeroSync, our mission is to catalyze the use of proof systems in the Bitcoin ecosystem to improve scalability, accessibility, and privacy.”
11
17
90
25,601
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.
9
11
64
12,480
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!
12
37
168
29,936
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
36
122
496
64,909
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…
14
39
223
40,442
ZeroSync retweeted
We may have discovered a way for BitVM to do permissionless verification, effectively overcoming its primary limitation!
Draft writeup: bitvm.org/bitvm2
24
82
480
76,090
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…
8
42
226
16,000
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_
🧡🧡🧡
7
25
112
16,434
Our great team member @lucidLuckylee just broadcasted the first chain state proof from space via @Blockstream Satellite!
📡🛰️💻
🥳🥳🥳
10
28
117
37,076
ZeroSync retweeted
Here's a diagram of BitVM's transaction graph to get a better overview of how it works under the hood
12
37
204
18,727
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.
11
32
185
30,017
ZeroSync retweeted
BitStream: Decentralized File Hosting Incentiviced via Bitcoin Payments
robinlinus.com/bitstream.pdf
73
324
1,258
217,091
Here you can watch the ZeroSync talk which @lucidLuckylee and @robin_linus gave at Bitcoin Amsterdam
piped.video/watch?v=rubs5Srk…
11
23
4,697
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
2
8
24
4,713
ZeroSync retweeted
Brief history of ZK on @Bitcoin, from Satoshi's own words to @ZeroSync_
cointelegraph.com/magazine/s…
7
25
86
9,549
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
13
17
36
8,964
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
3
1
11
2,083
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
19
32
215
23,396
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
3
13
76
16,206