From e22d4d422c09eb7279de606eafcf16ac5a7bdb7b Mon Sep 17 00:00:00 2001 From: parazyd Date: Sun, 11 Jun 2023 20:40:04 +0200 Subject: [PATCH] contract/consensus: Add section comment for lottery part of the proposal zk proof --- src/contract/consensus/proof/consensus_proposal_v1.zk | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/contract/consensus/proof/consensus_proposal_v1.zk b/src/contract/consensus/proof/consensus_proposal_v1.zk index cc313dcb3..12781fc52 100644 --- a/src/contract/consensus/proof/consensus_proposal_v1.zk +++ b/src/contract/consensus/proof/consensus_proposal_v1.zk @@ -124,6 +124,10 @@ circuit "ConsensusProposal_V1" { ); constrain_instance(output_coin); + # ============================ + # Constrain lottery parameters + # ============================ + # Coin y, constructed with the old serial for seeding: seed = poseidon_hash(SEED_PREFIX, input_serial); y = poseidon_hash(seed, mu_y);