Overview of exotic evaluation domains in ZK, from Binius’ binary extension fields to Circle STARKs’ circle groups.