A financial services company is building a new transaction ledger system for a regulated banking product. The system must record every transaction as an immutable, cryptographically verifiable entry so that auditors can prove no records were altered or deleted after the fact. The team also needs the ability to run SQL-style analytical queries against the full history of transactions. They want a fully managed service and minimal operational overhead. Which approach best meets these requirements?