Fixed the Homomorphic Identification protocol

Attention: Computing the 2^(3k)-th root takes really long for k = 512,
1024,...! Try first with values e.g. k = 16.