invinoveritas_verify
recompute_ledger
