From ecf865cddbc93c91e3ef22c5a17e7d45d211bcfd Mon Sep 17 00:00:00 2001 From: thomaslavaur Date: Wed, 28 Aug 2024 13:21:35 +0200 Subject: [PATCH] redefine proof verification comments --- cryptarchia/cryptarchia.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cryptarchia/cryptarchia.py b/cryptarchia/cryptarchia.py index a976b53..0ca9ff5 100644 --- a/cryptarchia/cryptarchia.py +++ b/cryptarchia/cryptarchia.py @@ -465,7 +465,7 @@ class Follower: threshold_1 = int(- (LEADER_VRF.ORDER * log(1 - self.config.active_slot_coeff) ** 2) / (epoch_state.total_active_stake() ** 2)) return ( proof.verify(slot, epoch_state.nonce(), threshold_0, threshold_1, current_state.commitments_lead) # verify slot leader proof - # Included in the proof circuit: + # Membership verification is included in the proof verification along with the PoS lottery: #and ( # current_state.verify_eligible_to_lead(proof.commitment) # or epoch_state.verify_eligible_to_lead_due_to_age(proof.commitment)