kepler VS cardano-ledger

Yeah, that's the plan. Well roughly it is. My idea is to use keplr https://github.com/f-o-a-m/kepler to create a tendermint chain that's sole purpose is keeping track of state in the cardano-sl by communicating with a cardano smart contract. Once you have this tendermint based chain, hooking it up to the rest of the cosmos ecosystem with the IBC is trivial (relatively trivial, nothing is _really_ trivial when it comes to blockchains).

The actual code implementing it is a little hard to find (as always with the quite convoluted and scarcely documented Haskell sources of IOG). I'd suspect it to be somewhere in https://github.com/input-output-hk/cardano-ledger/tree/master/eras.

That's just rubbish, you can stop trying to create a false narrative now. Minpoolcost was in the Shelley design spec and deliverables, it's not something **evil Charles** come up with because he felt like it.

See for yourselves all the commits in the source repo for the implementation, it is sooo active: https://github.com/input-output-hk/cardano-ledger/commits/master

The formula for the mid-ada-value can be found here. Which is essentially:

Blockchain - I find it's one of the few fields really investing in formal methods at the moment (my old boss recently opened a research center at Carnegie Mellon in formalizing maths actually). Two repos with specs are:

* https://github.com/input-output-hk/cardano-ledger

This is a helpful article! : https://github.com/input-output-hk/cardano-ledger/blob/master/doc/explanations/features.rst I am invested in both the ERC20 and the native token. However, there’s greater demand currently for the ERC20 tokens.