Based on: https://github.com/logos-co/nomos-pocs/blob/Circom/circom_circuits/Blend/poq.circom (Thomas)

Spec notes

• PoL public inputs (according to PoL spec) slot, nonce, t0, t1 are private in PoQ
• I haven’t noticed anywhere in specs where we mention that a Zone’s commitment tree has max height 32 (as in code). Might be good to mention.”"
  • Also maybe have it as a constant in https://github.com/logos-co/nomos-pocs/blob/Circom/circom_circuits/misc/constants.circom instead of writing “32” everywhere
• nitpick: signature public key listed as input in code, output in PoQ specs

Code notes

• component would_win_leadership should be is_winning_leadership as in https://github.com/logos-co/nomos-pocs/blob/Circom/circom_circuits/Mantle/pol.circom