(bits)→self mod_add(bn1,bn2)→aBN mod_exp(bn1,bn2)→aBN mod_inverse(bn2)→aBN mod_mul(bn1,bn2)→aBN mod_sqr