ZeroSync

ZeroSync is spearheading the application of proof systems to #Bitcoin

[ZeroSync @ZeroSync_]

“At ZeroSync, our mission is to catalyze the use of proof systems in the Bitcoin ecosystem to improve scalability, accessibility, and privacy.”

[ZeroSync @ZeroSync_]

@zellic_io https://t.co/SN5gNDjosF

[ZeroSync @ZeroSync_]

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.

[ZeroSync @ZeroSync_]

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!

[Robin Linus @robin_linus]

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 🧡

https://t.co/5UiiFse5T4

[Robin Linus @robin_linus]

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]

We may have discovered a way for BitVM to do permissionless verification, effectively overcoming its primary limitation!

Draft writeup: https://t.co/Bo60mjq5KH

[Robin Linus @robin_linus]

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:
https://t.co/vPdEcd5TNn

[Robin Linus @robin_linus]

Cypherpunks researching bridge designs

[ZeroSync @ZeroSync_]

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_
🧡🧡🧡

[ZeroSync @ZeroSync_]

Our great team member @lucidLuckylee just broadcasted the first chain state proof from space via @Blockstream Satellite!

📡🛰️💻
🥳🥳🥳

[Robin Linus @robin_linus]

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

[Spiral @spiralbtc]

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.

[Robin Linus @robin_linus]

BitStream: Decentralized File Hosting Incentiviced via Bitcoin Payments

https://t.co/cdVIqcC5Ec

[ZeroSync @ZeroSync_]

Here you can watch the ZeroSync talk which @lucidLuckylee and @robin_linus gave at Bitcoin Amsterdam

https://t.co/FnRuL48Fv2

[Blockchain at Berkeley @CalBlockchain]

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: https://t.co/i8cHu8rxK3

[Eli Ben-Sasson | Starknet.io @EliBenSasson]

Brief history of ZK on @Bitcoin, from Satoshi's own words to @ZeroSync_

https://t.co/9lkKtSxOhZ

[Bitfinex @bitfinex]

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.

👉 https://t.co/Bk4qZGWEfz

[Olaoluwa Osuntokun @roasbeef]

@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

[Rijndael @rot13maxi]

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: https://t.co/ZJDtER1Q1P

@ZeroSync_ is magical

[Olaoluwa Osuntokun @roasbeef]

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