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