logos-blockchain/logos-blockchain-circuits
1
0
Fork 0
mirror of https://github.com/logos-blockchain/logos-blockchain-circuits.git synced 2026-04-03 01:13:10 +00:00
Code Issues Packages Projects Releases Wiki Activity

update poq with slot in key nullifier derivation

Browse Source
This commit is contained in:
thomaslavaur 2026-03-18 08:22:35 +01:00
parent ec7d298e5a
commit b2999e0949
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
blend/poq.circom
View File

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