[Feat] Facilitate record queries#3047

Draft

ljedrz wants to merge 3 commits into

ProvableHQ:stagingfrom

ljedrz:feat/record_queries

Commits on Nov 28, 2025

feat: add Ledger::get_record_count
ljedrz
committed

Commits on Dec 2, 2025

feat: add Ledger::get_num_block_records
ljedrz
committed

Commits on Dec 3, 2025

tweak: apply review comments
ljedrz
committed