Plenty of banks use pretty horrifying technology. Append-only databases have been a cool research project for ages but I've never seen one in production.
They're more likely to use mainframe database systems with the verification done in apps that interface with it or do batch runs on it. The mainframes and databases themselves cover the integrity and availability portions. So, it's a ledger in practice but not directly stored as one.
Matter of fact, storing it as one is incredibly wasteful. Banking systems have shown it's not necessary. Just need the transactions, timing, sources, and verification of them.
Are any of those dividend-paying companies? At the risk of no true scotsmanning, I wouldn't count it as "production" if the company isn't making money off it yet.
