ZeroSync is spearheading the application of proof systems to #Bitcoin
Joined December 2021
- Tweets 113
- Following 1
- Followers 5,508
- Likes 717
12 Photos and videos
Pinned Tweet
12 Apr 2023
βAt ZeroSync, our mission is to catalyze the use of proof systems in the Bitcoin ecosystem to improve scalability, accessibility, and privacy.β
11
17
89
25,380
19 Nov 2025
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.
8
12
64
12,313
22 Oct 2024
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
182
29,831
ZeroSync retweeted
15 Aug 2024
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
37
123
504
64,832
ZeroSync retweeted
5 Apr 2024
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!
7 Nov 2023
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β¦
15
40
232
40,402
ZeroSync retweeted
25 Mar 2024
We may have discovered a way for BitVM to do permissionless verification, effectively overcoming its primary limitation!
Draft writeup: bitvm.org/bitvm2
25
83
490
76,075
ZeroSync retweeted
6 Mar 2024
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
227
15,994
ZeroSync retweeted
25 Feb 2024
Cypherpunks researching bridge designs
13
7
167
24,656
31 Dec 2023
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_
π§‘π§‘π§‘
8
25
112
16,403
29 Dec 2023
Our great team member @lucidLuckylee just broadcasted the first chain state proof from space via @Blockstream Satellite!
π‘π°οΈπ»
π₯³π₯³π₯³
10
29
120
37,047
ZeroSync retweeted
27 Dec 2023
Here's a diagram of BitVM's transaction graph to get a better overview of how it works under the hood
12
37
210
18,724
ZeroSync retweeted
15 Nov 2023
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,011
ZeroSync retweeted
11 Nov 2023
BitStream: Decentralized File Hosting Incentiviced via Bitcoin Payments
robinlinus.com/bitstream.pdf
74
329
1,273
217,049
31 Oct 2023
Here you can watch the ZeroSync talk which @lucidLuckylee and @robin_linus gave at Bitcoin Amsterdam
youtube.com/watch?v=rubs5Srkβ¦
11
24
4,680
ZeroSync retweeted
28 Oct 2023
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
33
4,709
ZeroSync retweeted
26 Oct 2023
Brief history of ZK on @Bitcoin, from Satoshi's own words to @ZeroSync_
cointelegraph.com/magazine/sβ¦
7
26
94
9,547
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,963
ZeroSync retweeted
18 Oct 2023
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,082
ZeroSync retweeted
16 Oct 2023
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
221
23,394
ZeroSync retweeted
16 Oct 2023
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
14 Oct 2023
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,203