Research topic

ledger correctness

Open, evidence-backed analysis from the WalletD engineering team.