ZeroSync @ZeroSync_

ZeroSync is spearheading the application of proof systems to #Bitcoin ZeroSync.org Joined December 2021

Tweets

113
Followers

6K
Following

1
Likes

717

ZeroSync @ZeroSync_

7 months ago

@zellic_io github.com/bitvm/bitvm

0 0 3 853 0

View Details

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 12K 6

View Details

ZeroSync @ZeroSync_

2 years ago

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 30K 19

View Details

Robin Linus @robin_linus

2 years ago

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.p…

37 123 504 65K 144

View Details

Robin Linus @robin_linus

2 years ago

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!

Robin Linus @robin_linus

3 years ago

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/d8a091a7f5f…

53 218 954 342K 128

15 40 232 40K 36

View Details

Robin Linus @robin_linus

2 years ago

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 76K 111

View Details

Robin Linus @robin_linus

2 years ago

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…

8 42 227 16K 53

View Details

Robin Linus @robin_linus

2 years ago

Cypherpunks researching bridge designs

13 7 167 25K 6

View Details

ZeroSync @ZeroSync_

2 years ago

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 16K 9

View Details

ZeroSync @ZeroSync_

2 years ago

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

10 29 120 37K 10

View Details

Robin Linus @robin_linus

2 years ago

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

12 37 210 19K 73

View Details

Spiral @spiralbtc

3 years ago

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 30K 12

View Details

Robin Linus @robin_linus

3 years ago

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

74 329 1K 217K 330

View Details

ZeroSync @ZeroSync_

3 years ago

Here you can watch the ZeroSync talk which @lucidLuckylee and @robin_linus gave at Bitcoin Amsterdam youtube.com/watch?v=rubs5S…

0 11 24 5K 6

View Details

Blockchain at Berkeley @CalBlockchain

3 years ago

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 5K 4

View Details

Eli Ben-Sasson | Starknet.io @EliBenSasson

3 years ago

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

7 26 95 10K 11

View Details

Bitfinex @bitfinex

3 years ago

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 9K 1

View Details

Olaoluwa Osuntokun @roasbeef

3 years ago

@rot13maxi @lightning 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 2K 0

View Details

Rijndael @rot13maxi

3 years ago

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 222 23K 27

View Details

Olaoluwa Osuntokun @roasbeef

3 years ago

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

ZeroSync @ZeroSync_

3 years ago

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