cardano-ledger VS adalite

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.

EDIT#2: I was able to use the 12-words on adalite.io and recover the funds. I'm still unsure as to what happened and why I had the 12-words from Daedalus, maybe I created a normal wallet first and then the ledger one? Anyway, funds are safe and moved. Thank you for your help!!

Also last time I checked Cardano is supported trough AdaLite wallet https://adalite.io/ but not the BitBoxApp.

I tried my old Byron 12 word wallet phrase in adalite.io and it worked for me. I was able to see my old transaction history and a correct balance of 0.