Group implementation on top of ZK