This commit is contained in:
thomaslavaur 2026-03-18 12:47:24 +01:00
parent 416c5a1722
commit 67ea0a5a6b

View File

@ -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] <== selector * (would_win.slot - session) + would_win.slot;
selection_randomness.inp[3] <== selector * (would_win.slot - session) + session;
// Derive key_nullifier