From 1e104580ddb6a51b887c4274d1bbfb9d11eec646 Mon Sep 17 00:00:00 2001 From: "iguerNL@Functori" Date: Sun, 26 Jan 2025 19:23:33 +0100 Subject: [PATCH] DAL/Proto: use Q instead of Z to check delegate participation in DAL --- .../lib_protocol/delegate_missed_attestations_storage.ml | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/src/proto_alpha/lib_protocol/delegate_missed_attestations_storage.ml b/src/proto_alpha/lib_protocol/delegate_missed_attestations_storage.ml index c79a19ef8edb..e09671b8fda2 100644 --- a/src/proto_alpha/lib_protocol/delegate_missed_attestations_storage.ml +++ b/src/proto_alpha/lib_protocol/delegate_missed_attestations_storage.ml @@ -142,17 +142,13 @@ let record_dal_participation ctxt ~delegate ~number_of_attested_slots = let is_dal_participation_sufficient ctxt ~dal_attested_slots_by_delegate ~total_dal_attested_slots = - let open Z in + let open Q in let minimal_dal_participation_ratio = (Raw_context.constants ctxt).dal.minimal_participation_ratio in geq (of_int32 dal_attested_slots_by_delegate) - (div - (mul - (of_int32 total_dal_attested_slots) - minimal_dal_participation_ratio.num) - minimal_dal_participation_ratio.den) + (mul (of_int32 total_dal_attested_slots) minimal_dal_participation_ratio) let record_baking_activity_and_pay_rewards_and_fees ctxt ~payload_producer ~block_producer ~baking_reward ~reward_bonus = -- GitLab