Design a reliable financial ledger service for recording monetary transactions. The system should guarantee strong consistency, idempotent writes, full auditability of all entries, and support high transaction volumes while preventing double-spending or data loss.