end-to-end implementation of the most secure BTC bridge internally achieved
secured by optimistic ZK verifier, not an honest majority multisig
code, demo, docs coming this week
remilio
Simanta Gautam 🏔️
634 posts
Simanta Gautam 🏔️
@simanta
NYC
Joined August 2016
- We're cooking up some very exciting stuff @AlpenLabs Actively looking for more exceptional engineers that enjoy working at the intersection of math and engineering.
- snark proof: ~250 bytes bitcoin block size: 4MB snark proof verifier in bitcoin script: ~1GB 1GB >> 4MB fk. 🧵
- .@mickymalka is an absolute G (OG!) he’s also a huge supporter of bitcoin & our largest backer @AlpenLabs through Ribbit CapitalThis is Micky Malka. He & his wife founded Infinite Node Foundation in 2025. Later on, they bought Cryptopunks IP from Yuga Labs for $20Mn. Along with this purchase is a promise to make a permanent exhibition for Punks in Palo Alto. Here's what you need to know about him:
- very excited to announce this! paper here: alpenlabs.io/glock-paper this is not just a theoretical breakthrough: @AlpenLabs team has spent many months to make this practical on bitcoin. code is fully open-source & free for all to advance bitcoin Bitcoin + ZK 🫡💥🔫 It’s Glock o’clock! [codebase + paper] 99.8% reduction in onchain costs. Verify anything on Bitcoin – elegantly & efficiently.
- The @AlpenLabs research team on the verge of a big breakthrough. More soon 👀 Some legends actively working on this: Liam: co-invented shielded csv (robust bitcoin privacy), protogalaxy (used in aztec), bulletproofs++, etc. Aaron: led implementation of one of the most widelyMy favorite pastime is lurking on @AlpenLabs research calls. Recently heard: • “These numbers are insane” • “Kind of magical” • “Seems extremely promising” • “Suspiciously tailor-made for our problem” The research could die tomorrow 🤷🏻♂️....but it might not 🙂.
- -> bitcoin signatures rely on security of elliptic curves -> quantum computer can break these curves -> post-quantum signatures? typically too large -> hash-based SNARKS are post-quantum! -> and easy to aggregate signatures with SNARKs! -> let's get PQ SNARK verifier on
- BTC is nearing $100K and the best way to use it in defi is by handing over custody or bridging it through a 2-of-3 multisig. 🤦 We’re racing before BTC hits $100K to complete the first end-to-end implementation of a *cryptographically* secured BTC bridge. Almost a year in the
- I spent almost a decade on AI at places like MIT & Palantir — from core research to building a company and products deployed all over the world. AI progress is accelerating, and it’s critical we accelerate tech for self-sovereignty in tandem. This is why I work on bitcoin.New (first!) episode of Stratacast. From AI to Bitcoin with @simanta. -- Listen Here: Spotify: open.spotify.com/show/2UEluPXf9… Apple: podcasts.apple.com/us/podcast/str… Youtube: youtube.com/@davidseroy385
00:00 - does anyone want a validity proof for the entire bitcoin blockchain from genesis to some recent checkpoint (e.g. 850,000 blocks)? we can work on this + release as a public good if there’s interest.
- an open ecosystem built for bitcoiners by bitcoiners we're live on public testnet 🚀Bitcoin’s financial system is coming online. Alpen's Public Testnet is now live! Borrow, trade, earn yield & use stablecoins – soon on Bitcoin.
00:00
