cardano-ledger-0.1.0.0: The blockchain layer of Cardano