Understanding the Ledger library exploit and what it means for users