logos-blockchain/logos-blockchain-specs
1
0
Fork 0
mirror of https://github.com/logos-blockchain/logos-blockchain-specs.git synced 2026-02-24 07:03:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

redefine proof verification comments

Browse Source
This commit is contained in:
thomaslavaur 2024-08-28 13:21:35 +02:00
parent 0d0499b510
commit ecf865cddb
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
cryptarchia/cryptarchia.py
View File

@ -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)