ZeroSync is spearheading the application of proof systems to #Bitcoin
- Tweets 113
- Following 1
- Followers 5,479
- Likes 717
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
89
25,409
We're excited to announce that today @adam3us, CEO of @Blockstream, agreed to partner with @ZeroSync_ to broadcast #Bitcoin ZK chain proofs via Blockstream Satellite!
Fast sync from everywhere. Even without internet.
🚀🚀🚀🌎
blockstream.com/satellite
@StarkWareLtd @EliBenSasson
20
76
282
65,548
Ever synced the header chain using a ZKP?
zerosync.org/demo
11
44
290
116,032
Our great team member @lucidLuckylee just broadcasted the first chain state proof from space via @Blockstream Satellite!
📡🛰️💻
🥳🥳🥳
10
29
120
37,049
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,405
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
30
100
29,631
In 1998, @halfin gave a talk titled "A zero-knowledge proof of possession of a pre-image of a SHA-1 hash".
He proved in 40 mins 1 SHA1 call.
25 years later, we proved in 8 days 1.6 million SHA256 calls for Bitcoin's first zk-client zerosync.org/demo
drive.google.com/file/d/0BxS…
5
26
125
13,208
Excited to share a summary of our research on introducing validity proofs to #Bitcoin
We discuss our implementation of the first-ever chain state proof and present zkCoins, a client-side validation protocol combined with ZKPs, improving on RGB and Taro
zerosync.org/zerosync.pdf
8
39
93
25,754
Are you curious about learning to implement your own STARK proofs? If so, please upvote @andrewmilson's submission for a workshop at the @tabconf conference!
See you in Atlanta 💪🤓🧡
github.com/TABConf/2023.tabc…
1
10
66
16,170
@andrewmilson just completed the world's first production-ready open source STARK prover.
He generated a proof and submitted it to @StarkWareLtd's onchain verifier. It was accepted, which proves that it works.
We feel honored to have him as part of the ZeroSync team!!
💪🤓🧡
Stoked to announce I just submitted my own proof to StarkWare's StarkNet/StarkEx verifier on Ethereum. 🧵👇
etherscan.io/tx/0x74c272b837…
4
19
61
14,661
Finally, the band is united for the very first time. Two weeks of hacker house ahead of us.
Our goal is to complete the world's first production-ready header chain proof... Stay tuned!
🤓🤓🤓🤓
3
5
54
9,276
ZeroSync co-founder @robin_linus had a great talk with @coindesk about zero-knowledge proofs on Bitcoin. Checkout the full interview here: piped.video/live/E3c8nNrKBVw…
.@ZeroSync_ Co-founder @robin_linus announces they are partnering with @Blockstream to broadcast streamproofs using Blockstream Satellites to sync the #bitcoin blockchain anywhere in the world without the internet
9
32
4,205
We are grateful for the generous support of @OpenSats helping us on our mission to implement the world's first chain state proof of Bitcoin.
Currently, we are working hard on the header chain proof which we aim to publish by the end of August. Stay tuned!
💪🤓🧡
"The computer can be used as a tool to liberate and protect people, rather than to control them," - Hal Finney
We are proud to announce grants for over a dozen open source projects in the bitcoin ecosystem.
Freedom Tech is Hope 🫡
opensats.org/blog/bitcoin-gr…
1
7
31
10,991
Almost a year old, but a very interesting deep dive into ZKPs on Bitcoin
Thanks for hosting "ZKPs & Bitcoin", @SovrynBTC!
We discuss:
- My ~2x scaling claim for rollups
- The hidden complexity of "OP_STARK"
- The tradeoffs of the Zendoo "rollup"
- Starksync: replacing IBD with STARKs
- Compressing RGB/Taro state
Listen now👇
piped.video/HOiayQF66I4
4
20
3,153
@Blockstream's upcoming activation of Simplicity on the Liquid Sidechain represents a significant step towards incorporating a ZKP verifier into Bitcoin's main layer, as it provides an important testing ground for proof systems on the network
The development of the Simplicity programming language has reached a new milestone! A draft PR integrating Simplicity into @Liquid_BTC via a new Taproot leaf version is now available. This brings Simplicity significantly closer to the hands of end-users.
github.com/ElementsProject/e…
6
26
3,408
Here you can watch the ZeroSync talk which @lucidLuckylee and @robin_linus gave at Bitcoin Amsterdam
piped.video/watch?v=rubs5Srk…
11
24
4,681
Here's the recording of our talk on "Zero-knowledge proofs for Bitcoin" at MIT Bitcoin Expo last week.
(It looks like timestamps don't work for embedded videos on Twitter. Skip forward to 4:49:22 or open the link in a new tab)
vimeo.com/818898756#t=4:49:2…
2
3
19
1,786
It was an honor to present ZeroSync at The Bitcoin Conference
💪🤓🧡
(The timestamp doesn't work in the Twitter preview. Skip to 1h25m or open the link in a new tab)
bitcointv.com/w/pmXZFEuA1ADS…
1
6
23
3,707
Great online course to learn more about zero-knowledge proofs
piped.video/@blockchain-web3…
2
12
1,433
If you want us to talk really nerdy at @tabconf please upvote our proposal here by liking it
github.com/TABConf/2023.tabc…
1
5
16
2,050
Excited to announce that @robin_linus will be presenting a talk on ZeroSync and chain state proofs at the open-source stage during @TheBitcoinConf in Miami next month!🌴🔗☀️ Don't miss it!
2
12
1,120
Great talk by @lightcoin about the history of L2s and future zk-rollups on Bitcoin
vimeo.com/818898756#t=5:57:3…
4
14
1,700
zkCSV might be the future of #Bitcoin
Here's a novel client-side validation protocol improving on the ideas behind RGB and Taro. It can process +100 token TXs per second without requiring any forks. It also offers perfect privacy as it obfuscates both the transaction amounts and the graphs
gist.github.com/RobinLinus/d…
1
11
2,156
Tomorrow, @robin_linus will join the @bitcoinoptech podcast to discuss the Some Day Peg -- a funny novel way to introduce ZKPs to bitcoin's base layer
gist.github.com/RobinLinus/1…
Bitcoin Optech will host an audio recap discussion of this newsletter with special guests Gloria Zhao (@glozow), Greg Sanders (@theinstagibbs), and Robin Linus (@robin_linus) on Twitter Spaces Thursday at 15:00 UTC. Join us to discuss or ask questions!
nitter.app/i/spaces/1OdJrzVXdEwJX
4
11
1,764
Looking forward to discuss @ZeroSync_ on the @bitcoinoptech Twitter Space today at 15:00 UTC!
Bitcoin Optech will be hosting an audio recap discussion of this newsletter with special guests Gloria Zhao (@glozow), Robin Linus (@robin_linus) and Lukas George (@lucidLuckylee) on Twitter Spaces Thursday at 15:00 UTC. Join us to discuss or ask questions
nitter.app/i/spaces/1vOxwMapYQgGB
7
13
2,329
The recordings of @TheBitcoinConf open-source stage are now online! Here's @robin_linus' talk
piped.video/RiLP79eJvqw?t=15402
(open the link in a new tab if the timestamp doesn't work in the Twitter preview)
4
3
12
1,269
@SomsenRuben raised an important point which needs some clarification. We are not pushing for any kind of softfork here, but we believe waiting for Simplicity is the most realistic way to introduce a ZKP verifier to the main layer. And we plan to experiment with it on @Liquid_BTC
1
1
10
1,071
@robin_linus is giving a talk today at @MITBitcoinClub
about ZeroSync and ZKP on #Bitcoin. It starts in 2 hours (2:10pm EDT).
Live stream available here
mitbitcoinexpo.org/streaming
1
2
9
562
STARKs aren't too fancy moon math in comparison to other ZKPs. They rely only on hash functions and polynomials. No novel cryptographic assumptions required. And more importantly, there's no trusted setup.
1
1
5
180
1st of Starktober, @maxgillett submitted the first pull request to verify a STARK in a STARK in a STARK ... in a STARK for the genesis block 🥳
github.com/lucidLuckylee/zer…
2
5
🔥🔥🔥
Excited to release the Sandstorm Cairo prover now with 64-bit Goldilocks field support. A cool 5x performance boost and only uses ~1/3 of the memory compared to Cairo's default 252-bit field. Give it a try github.com/andrewmilson/sand…
1
3
851
That's true, however we can probably cut that down by a factor of 2 to 10 by using a faster field and a Cairo builtin for sha256
2
62
Luke is right that a chain proof cannot verify data availability. However, our opinion is that today the vast majority of users do not verify the chain at all, therefore light nodes verifying everything except for data availability is a big gain.
1
1
178
It's estimated that millions of people own Bitcoin. However, there are only about 50k full nodes, which means that currently, the vast majority of users do not verify the blockchain and a chain proof strictly increases their level of security.
2
1
131
From the very beginning, it was evident that the majority of users would not download the complete chain data.
2
365