From b2999e0949b88e6ba93d7391eb24f376f5757a82 Mon Sep 17 00:00:00 2001 From: thomaslavaur Date: Wed, 18 Mar 2026 08:22:35 +0100 Subject: [PATCH] update poq with slot in key nullifier derivation --- blend/poq.circom | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/blend/poq.circom b/blend/poq.circom index d95e038..8f069fd 100644 --- a/blend/poq.circom +++ b/blend/poq.circom @@ -90,7 +90,7 @@ template ProofOfQuota(nLevelsPK, nLevelsPol, bitsQuota) { // enforce potential PoL (without verification that the note is unspent) // (All constraints inside pol ensure LeadershipVerify) component would_win = would_win_leadership(nLevelsPol); - would_win.slot <== pol_sl; + would_win.slot <== pol_sl;https://github.com/logos-blockchain/logos-blockchain-circuits would_win.epoch_nonce <== pol_epoch_nonce; would_win.t0 <== pol_t0; would_win.t1 <== pol_t1; @@ -115,7 +115,7 @@ template ProofOfQuota(nLevelsPK, nLevelsPol, bitsQuota) { // choose core_sk or pol.secret_key: selection_randomness.inp[1] <== selector * (would_win.secret_key - core_sk ) + core_sk; selection_randomness.inp[2] <== index; - selection_randomness.inp[3] <== session; + selection_randomness.inp[3] <== selector * (would_win.slot - session) + would_win.slot; // Derive key_nullifier