Uusi blogikirjoitus on julkaistu: Syklisten ryhmien peruslause ZK-algoritmit arvioivat hyvin usein polynomeja äärellisen kentän pisteiden joukosta, jotka muodostavat kertovan aliryhmän. Tämän kertovan aliryhmän alkioiden lukumäärä on yleensä kokonaisluku potenssi 2. Syklisten ryhmien peruslause kertoo meille, onko tietyllä äärellisellä kentällä aliryhmä, jossa on kahden alkion potenssi vai ei - ja se kertoo myös, miten tämä aliryhmä löydetään.