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

Fix syntax for would_win.slot assignment

Browse Source
This commit is contained in:
thomaslavaur 2026-03-18 08:30:25 +01:00 committed by GitHub
parent b2999e0949
commit 416c5a1722
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
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;https://github.com/logos-blockchain/logos-blockchain-circuits
would_win.slot <== pol_sl;
would_win.epoch_nonce <== pol_epoch_nonce;
would_win.t0 <== pol_t0;
would_win.t1 <== pol_t1;