Cyclic groups on pairing‑friendly curves used in BLS signatures and zk systems.