Orestis Melkonian: omelkonian/hoare-ledgers. DROPS Artifacts 2025