Simanta Gautam 🏔️
@simanta_gautam
🇳🇵🔁 🇺🇸 | zk + btc | ceo @alpenlabs | prev founded Synapse (acq. Palantir) | CS @ MIT
would be cool to see sherpas from solukhumbu compete at the tour de france several thousand years of adaptation at the highest elevations in the world
fully programmable & private bitcoin rails before AGI or bust you’re likely underestimating the scale of economic & epistemic power consolidating over the coming decade accelerate 🫡
Aztec 🤝 Alpen
Check out recent work eprint.iacr.org/2025/1325 with @rel_zeta_tech exploring the (known but imo under appreciated) IPA sumcheck connection. Allows connecting BaseFold/FRI with IPA in a neat way and an efficient decider for transparent accumulation & folding schemes
you should follow @jose_storopoli, our resident rust maxi at Alpen he just opened an X account!
Proof-of-work at @AlpenLabs. github.com/storopoli
A few words on recent paper with @liameagen. A drawback of IPAs is the linear time verification. This was partially mitigated in Halo by deferring this linear time verifier op via accumulation. We give a minor improvement of this accumulation over Halo/BCMS. More interestingly,…
This week, @PresidioBitcoin hosted the Bitcoin Quantum Summit (pbquantum.com). I was thrilled to be invited to attend, and wanted to write up a thread about what I learned this week. I’ll save my commentary for the end, and start with where we are, the challenges we…
Join us at @lightcoin's presentations at Quantum Bitcoin summit, along with @david_seroy. 📍@PresidioBitcoin, San Francisco 📺 Live on X
Excited to be back in SF for the Quantum Bitcoin Summit @PresidioBitcoin! I am giving two talks tomorrow: * Quantum-Resistant Rollups * Post-Quantum Signatures and Scaling Bitcoin with STARKs, based on work by @Ethan_Heilman Details: pbquantum.com
resolve disputes optimistically on bitcoin!
💥🔫 Glock: A new standard for verification on Bitcoin Alpen Labs’ focus has rapidly evolved to a new frontier over the last few months. We'll soon unveil Glock, short for garbled lock, a primitive that takes the safety of Bitcoin-based systems to new heights.
hashlock -> static, combination lock glock -> dynamic, smart lock glocks are powerful and ~1000X more efficient at resolving challenges than BitVM2 we’re putting final touches on the paper + code. releasing soon.
💥🔫 Glock: A new standard for verification on Bitcoin Alpen Labs’ focus has rapidly evolved to a new frontier over the last few months. We'll soon unveil Glock, short for garbled lock, a primitive that takes the safety of Bitcoin-based systems to new heights.
Bad news, BitVM3 is broken. Good news, our GC scheme at @AlpenLabs doesn’t require RSA and maintains the 1000x efficiency gain.
I believe the BitVM3 RSA garbling scheme is likely broken for circuits with gates of fanout greater than 1. Because the evaluator is linear, we can solve for the output labels in terms of the adaptor elements using linear algebra. hackmd.io/@liameagen/bit…
I think that view misses the bigger picture 🏔️ Money is an emergent social phenomenon, not a tech stack. It the hardest & slowest network effect to build, and bitcoin is much further ahead + continues to consolidate. L2s make sense in the context of expanding the utility &…
exciting announcements from prof @vladtenev earlier today bullish @RobinhoodApp
this is the most exciting times at @AlpenLabs - join the most brilliant, obsessive team - backed by the best investors - working on the most challenging problems - towards the most ambitious, clear vision …in this entire industry. DMs open.
We’re hiring at Alpen Labs. Every day, we push the boundaries of what’s possible on Bitcoin. Join this exceptional team building the future of Bitcoin finance. Open positions listed below ↓
Disrupt today's BTC finance landscape 👊 Alpen Labs' Head Chef @simanta_gautam dives into real-world use cases primed for disruption by secure programmability on Bitcoin using Alpen, speaking at @Permissionless.
Several points of contention I have: Permissionless Capital Formation: The ability for anyone, anywhere, in any amount to be able to add stablecoin liquidity to a pool (Morpho V1), or bid as a lender in an order-book (Morpho V2) is major factor for driving rates down. Right…
fixed rate loans 👀
Today, we unveil Morpho V2. An intent-driven lending platform powered by fixed-rate, fixed-term loans. Designed to liberate the potential of onchain loans.
CTV + CSFS: a letter to the technical bitcoin community from 43 engineers Full text at ctv-csfs.com
New construction is based on conditional disclosure of secrets. We’ll have a paper soon — @liameagen dropped some alpha in this fantastic talk: youtu.be/X6mtGtumdGY new approach: -> moves nearly all of bitvm2’s on-chain data & compute off-chain. -> improves economics of…