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
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.
This 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 ๐ซก
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 widely
My 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.
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.
