From b95cfadb22fef44f4c64c3cd61f219d7c7543d58 Mon Sep 17 00:00:00 2001
From: thomaslavaur <thomas19.lavaur@gmail.com>
Date: Thu, 28 Aug 2025 08:55:30 +0200
Subject: [PATCH] add the explanation for dummy constraints in poq

---
 circom_circuits/Blend/poq.circom | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/circom_circuits/Blend/poq.circom b/circom_circuits/Blend/poq.circom
index 1d7cfab..2cb4a17 100644
--- a/circom_circuits/Blend/poq.circom
+++ b/circom_circuits/Blend/poq.circom
@@ -25,6 +25,8 @@ template ProofOfQuota(nLevelsPK, nLevelsPol, bitsQuota) {
     signal input K_part_one;  // Blend: one-time signature public key
     signal input K_part_two;  // Blend: one-time signature public key
 
+
+    // dummy constraints to avoid unused public input to be erased after compilation optimisation
     signal dummy_one;
     dummy_one <== K_part_one * K_part_one;
     signal dummy_two;