added verification section

+ added name of bitwise exponentiation algo