add the explanation for dummy constraints in poq

This commit is contained in:
thomaslavaur 2025-08-28 08:55:30 +02:00
parent 1386cfa618
commit b95cfadb22

View File

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