I'll never forget what my Ph.D. advisor Bob Gallager once said:
"Many people think research is about discovering new knowledge. But the main job of research REALLY is pruning the knowledge tree."
Here's what he meant, and how I apply it to Blockchain:
The city of Babylon is one of the first marketplaces in the history of mankind.
Our startup, Babylon, is that for blockchain.
It's a two-sided marketplace where on one side, Bitcoin provides security. On the other, chains consume that security.
We're the modern Babylon.
Learning mathematics is just as important as learning English, French, or Spanish.
Math is its own language. It is a language by which we understand the world around us.
Not knowing math - or being scared of math - is like being illiterate
Bitcoin staking is coming to Cosmos Hub. Together with
@informalinc
, we are bringing our Bitcoin staking protocol to
@Cosmos
, turning Cosmos Hub into a multi-asset security aggregator powered by $ATOM, $BTC, and ecosystem tokens.
Very passionate about sharing
#Bitcoin
security so quite excited to see this new development.
Question: If rollups can share the full security of the most secured chain in the world, is there still any need to use sovereign chains like Cosmos SDK chains?
You can now run a sovereign rollup on Bitcoin.
Announcing the first research integration of Bitcoin as a data availability layer for sovereign rollups. 🧵
We had a lot of wonderful conversations with
@arjunblj
and the
@paradigm
team in the past few months to align on a common vision. Collaborations to realize that vision have already begun!
Bitcoin staking is a novel and fundamental primitive. We’re thrilled to work with
@dntse
and the Babylon team in pushing the frontier of Bitcoin innovation.
One-third (20M TIA) of the Genesis Drop is allocated to 7,579 developers and researchers, including contributors to:
🏗️Public goods and key protocol infrastructure
🔬Eth Research, where the ideas around LazyLedger were first discussed
It has been great to collaborate with the
@informalinc
team in bringing Babylon bitcoin staking to the Cosmos Hub and its consumer chains. L:ooking forward to pushing towards production!
@eigenlayer
is to Ethereum as Babylon is to Bitcoin.
@babylon_chain
is introducing BTC staking & re-staking to improve security options for both new & existing networks while enabling passive yield for BTC stakers. The ideal platform to unveil this innovative tech:
@cosmos
(1/)
I can’t agree more. He was the very first advisor of
@babylon_chain
when Bitcoin security sharing was still a vague vision. He helps us to make concrete that vision by bringing us to
@cosmos
as the first testing ground.
maybe Zaki’s most admirable quality is that he has time for every one - from your favorite L1 founder, to the random newb plebeian in his dms asking for a technical explanation. his patience and belief in people’s abilities even when they may not yet believe in themselves is
Save the date for this year's Science and Engineering of Consensus workshop, on the day before SBC'23!
🗓️ When? Sunday, 27 August 2023.
📍 Where? Stanford campus.
🎯 Confirmed speakers, tentative schedule, and registration:
Next Tues will be visiting
@Tim_Roughgarden
and his team at NYC a16z crypto research and giving a talk on interchain timestamping and
@babylon_chain
. Anyone in NYC interested in meeting up?
🥳 Celebrations all around! The first phase of our governance proposal for integrating
#Bitcoin
security into
@osmosiszone
has passed with flying colors! 🎉
This is the result of a great collaboration between the Babylon team and
@robin_linus
and Orfeas Litos. Thanks also to
@sreeramkannan
and
@sunnya97
for inspiring conversations!
🥁We're proud to release the 1st public version of our
#Bitcoin
#Staking
Protocol's LitePaper:
- in our New Forum
Describing the key components towards unlocking 21M $BTC to secure the Proof-of-Stake Economy
@zmanian
Proof of stake slashes short range attacks and proof of work protects against long range attacks. A pair made in heaven. Check out and follow
@babylon_chain
.
What we do, in our research, is find unified themes across all these different protocols and to develop principles by which they should be designed in a systematic fashion.
We're unifying the twigs, branches, roots, and leaves of cryptocurrency.
Was anyone else obsessed with the TV show Cosmos as a kid?
Carl Sagan's voice is somehow still fresh in my mind.
It was one of the very first times I could see someone's excitement for science, and it definitely inspired me on my path to research.
What show did this for you?
📢 Babylon Testnet integrates with
@Injective_
, bringing
#Bitcoin
security & accelerated stake unbonding to the
#Injective
ecosystem 🥷
Together, we're raising the bar for a secure and robust DeFi ecosystem🚀
Had a great discussion at a panel at BTC Miami Builders event moderated by
@muneeb
and an enjoyable interview with
@JoeNakamoto
from
@Cointelegraph
afterwards.
In short, a sovereign PoS chain timestamping on Bitcoin can combine the short range PoS security and long range BT security with small footprint on Bitcoin. A rollup on Bitcoin is only secure if full data is on Bitcoin.
@VitalikButerin
"dual-use of validator staked ETH, while it has some risks, is fundamentally fine.": wouldn't any dual-use reduce the security margin of Ethereum? Attacking Ethereum now becomes more profitable because the same attack cost can pay for attacking both Ethereum and the other use?
@Cryptocito
I am bullish on the mesh architecture where each chain can share security with neighboring chains. But I think there are multiple ways to implement this sharing. Cross staking a la
@sunnya97
is one possibility. Checkpointing one chain's headers onto another chain is another.
🥁We're proud to release the 1st public version of our
#Bitcoin
#Staking
Protocol's LitePaper:
- in our New Forum
Describing the key components towards unlocking 21M $BTC to secure the Proof-of-Stake Economy
Every side event in
#ETHDenver
had a venue that didn't scale enough for the demand, just like
#ETH
layer 1 doesn't
The Shared security summit was a notable exception. Pay attention to shared security this year
#eth
is also now shared security as a service so that L2s can scale!
In this paper (with
@sreeramkannan
), we show that once full data is not uploaded to Bitcoin, one cannot have both safety and liveness, due to a data withholding attack. This is an information theoretic limitation, and cannot be solved by crypt magic.
GM,
#bitcoin
holders!
Staking $BTC is the next big trend, and
@babylon_chain
is leading the way. Babylon BTC
#staking
is:
🔒 Self-custodial
🔍 Transparent
🛡️ More secure than alternatives
Let’s find out more:
Proud supporters of Babylon since Day 1!
I still remember the first time I learned what a mathematical limit was.
At first, it seemed like the opposite of infinity. But they're more like twins.
When you take the limit of something, you're dealing with the infinitesimally small.
The limit is the core of calculus.
In web3, security is of utmost importance. Why?
It's not run by a central bank, or someone big like Facebook or Google.
It's run by decentralized agents. Some may be malicious.
At Babylon, we take the security of Bitcoin and allow it to benefit the rest of web3.
Today i had pleasure chatting with
@dntse
from
@babylon_chain
We covered a lot of things regarding PoS, security, and bitcoin itself. $atom $osmo $juno $stars
David is Professor at Stanford and it was a pleasure to learn from him!
Watch here: 👈👈👈
Delighted to announce that
@sandeepnailwal
, Co-Founder of
@0xPolygon
, has joined Babylon as an Advisor.
His expertise will be invaluable as we shape the future of the Bitcoin ecosystem together. Welcome aboard, Sandeep!
Join us in our next space to learn more about how
@babylon_chain
is leveraging
#Bitcoin
security and how it could bring even more security to $JUNO.
Set your reminders👇
Outstanding workshop we organized at SBC last year, Thanks to all the speakers for their participation and to
@ssrivatsan97
and
@jneu_net
for their superb organization.
Get the latest on the science and engineering of consensus, from the experts in the field, in Year 2 of our consensus workshop at the blockchain conference of
@CBRStanford
! 👇🧵
Great that you bring up this important point. Indeed as we discussed before, we found it rather surprising that no one had really used ibc for sharing security. This is a core idea underneath
@babylon_chain
that we can use IBC to share security to other cosmos zones
the idea is to bootstrap a view of the Cosmos Hub via a checkpoint hash (longer duration), and then use the Hub’s view of the target chain to bootstrap a light client for it
As opposed to growing the knowledge tree, Gallager said that good research should actually unify the many twigs and branches of knowledge into a manageable, coherent whole.
@sunnya97
Yes! The path we ultimately took was different from the Drivechain direction we discussed, which would need a fork on BTC, but we stayed close to the vision you shared. Thank you!
We’re proud to support
@babylon_chain
's innovative venture into unlocking Bitcoin’s potential as a staking asset.
Their Bitcoin Staking Protocol is a groundbreaking development, offering a trustless way to integrate
#Bitcoin
into the Proof-of-Stake economy.
This approach not
From
@dntse
of
@babylon_chain
:
Bitcoin PoW is a store of energy. We can reuse that energy to bootstrap security for existing and new PoS chains.
Bitcoin can be every L1's timestamping server for ultimate censorship resistance. Or even secure sovereign Validium zkrollups 🤯
There is something satisfying about a mathematical theorem.
It is correct today. It was correct yesterday. It will be correct next week.
The first mathematical theorem I remember learning was that there are infinite prime numbers.
INFINITE? Here's how Euclid proved it 👇
BTC + Cosmos
Shared security is next on the roadmap for Cosmos. Could Bitcoin be the unexpected solution?
We bring on
@dntse
(Babylon),
@tuxcanfly
(Rollkit) and
@aidan0x
(Stride) to discuss!
→
→
→
1/ Cubist is excited to announce our collaboration with
@babylon_chain
to build anti-slashers that will protect honest
#Bitcoin
stakers in the Babylon ecosystem from getting slashed—even in the case of bugs, mistakes, or attacks. 🧵
Read more:
Our very own
@dionyziz
presenting "Light Clients for Lazy Blockchains," a paper describing how to construct a light client for "optimistic" chains like
@CelestiaOrg
. A collective effort alongside
@ErtemTas
,
@dntse
, and
@yangl1996
. 1/2
Surprisingly, this new architecture can still inherit the *full* safety of Bitcoin! Liveness is also guaranteed if the majority of the sovereign chain validators are honest. A division of labor with Bitcoin protecting against the more serious double-spend attack.
📣Big news! Our Alpha
#Testnet
is now live with the creation of the first
#GenesisBlock
🥳 Connected to 8
@cosmos
zones & several validators joining in. Our team is closely monitoring progress before inviting more validators to join the network ✨
Our journey has just begun 🚀
That blew my mind away because as a beginner researcher, I thought my job was to add a twig or branch to the huge tree of knowledge.
But there is such importance in actually integrating the different parts together.
Mathematical models do an excellent job at this.
@sreeramkannan
@eigen_da
This thread brought back memories of how we all started exploring data availability. BTW, I believe KZG was first applied to build DA in with
@jneu_net
and Kamilla. How does EigenDA compare to that design?
I have the pleasure of speaking at
@consensus2024
today. I am sharing the stage with
@MikeSilagadze
,
@sreeramkannan
, and
@dntse
, talking about the surge in liquid staking and restaking.
If you'd like to watch the live stream I put the link below 👇
@sreeramkannan
I understand that the merge is a big deal from an engineering point of view. But from a consensus science point of view, I feel a bit sad that with the merge, Eth went from a protocol with a security proof to one without.
@trustmachinesco
@babylon_chain
is a new project providing Bitcoin security to PoS chains. We just launched our alpha testnet integrated with 8 Cosmos chains.
It is well known that one can tradeoff safety and liveness by tuning the quorum threshold in a BFT protocol. What we showed in this paper is the surprising result that one can design protocols that can *simultaneously* achieve *all* tradeoff points. Come to the talk!
Hey consensus aficionados, did you know you can get >1/3 safety for some users of your protocol, for free? Read on or come talk “Optimal Flexible Consensus and its Application to Ethereum” at
@IEEESSP
this week. w/
@jneu_net
@yangl1996
@dntse
🧵
Hey folks,
today we will take a look at how
@babylon_chain
will enhance the security of Cosmos app-chains (PoS) through Checkpointing/Timestamping to the BTC blockchain (PoW).
🧵⚛️🔒
And it's a core component of how we approach blockchain at our Stanford research lab.
In blockchains, there are MANY new projects with MANY layers.
Ethereum, Polkadot, Avalanche. And on and on.
With that many protocols proliferating, it gets complicated.
@smsunarto
PoS vs PoW, additional attack vectors in PoS,which are fundamental which are solvable, longest chain vs BFT, all these are central to PoS Eth design. Lots of research done and good time to talk about them now with the Merge.
If you are trying to build a new blockchain, you start to wonder: which one should I use? Or if I'm creating a new one, what should be my basis?
This proliferation of technology is actually not the best thing for the field.
@udiWertheimer
Yes totally agree. We recently discovered a new trustless use case for bitcoins: staking to secure PoS chains.
Love to hear your feedback about it.
But even at the max 4MB blocks, Bitcoin's throughput is only 53 kbits per second! This puts a severe limitation to the thruput of the rollup, as well to scaling the solution to many rollups.
My thesis is that the only viable business model in the interchain is to make something other chains want.
- Nois: Randomness
- Ojo: Price oracle
- Noble: Stable coin
- Penumbra: Privacy
- Babylon: Security
- Mars: Leverage
@jneu_net
@fradamt
@ErtemTas
Goldfish is a result of an intense collaboration between our lab and EF in the past year. Started with when we found an attack on Gasper followed by and with more attacks. Finally a positive result!
Hello everyone, I am really happy to announce that I am officially joining
@babylon_chain
as a community manager on April 1st.
I am one of the co-founders of
@Cosmos_Spaces
. I would like to introduce myself to all of you!
1/7
@stonecoldpat0
Good summary. Since our lab worked hard with Eth Foundation on this problem, I feel pained but compelled to add that there is currently NO security proof for PoS Ethereum. This is below the standards of 40 years of consensus research.
Because the validators are running a fast PoS confirmation process, most transactions can be confirmed fast. Confirmation of high-valued transactions can wait until obtaining a timestamp on the BTC chain.
What are the succinct commitments? They are hashes of blocks together with the signatures of the validators. In effect, the validators are certifying the availability of the data and timestamping the commitments on Bitcoin.
Another limitation of the architecture is the long confirmation latency: since safety of the rollup is relying entirely on the safety of Bitcoin, the confirmation latency of rollup transactions is as long as confirming BTC transactions themselves.