In May 2025, Mehmet integrated Proof of Leadership (PoL) functionality into the Proof of Quota (PoQ) circuit within the logos-co/nomos-pocs repository. He wired new PoL signal inputs into the circuit and replaced the existing proof_of_leadership component with is_winning_leadership, ensuring that PoL-based role selection was enforced directly in the circuit logic. This work strengthened governance constraints and improved the reliability of the PoQ circuit by reducing the risk of misaligned roles. Mehmet focused on integration, validation, and code quality, leveraging his expertise in cryptography, smart contracts, and zero-knowledge proofs using the circom language. No bugs were reported.