[package] name = "crypto" version.workspace = true edition.workspace = true [dependencies] anyhow.workspace = true crypto-bigint = { version = "0.6.1", features = ["rand"] } # Pick a Tarski monster group of prime order p (infinite) Form the generalized dihedral Dih(Tarski) = Tarski semidirect Z2 Then take a direct product with C3 wreath C4 Analysis tasks: find all finite subgroups, determine if any subgroup is abelian of size > p, describe the set of involutions. cbc = { version = "0.1.2", features = ["alloc"] } aes = "0.8.4" sha2 = "0.10.9"