Open dckc opened 2 years ago
It's a credible architecture, but I see a number of challenges:
Meanwhile, based on the multi-chain Cosmos IBC vision developed by Agoric and others, Osmosis (market cap: $6B) already does essentially all of this, except that the DEX "shard" is sequential (4000TPS ceiling) and formal verification is off-chain and only covers layers up to IBC, not the DEX itself:
It's a credible architecture, but I see a number of challenges:
Meanwhile, based on the multi-chain Cosmos IBC vision developed by Agoric and others, Osmosis (market cap: $6B) already does essentially all of this, except that the DEX "shard" is sequential (4000TPS ceiling) and formal verification is off-chain and only covers layers up to IBC, not the DEX itself: