Wrote some stuff about the algorithms we intend to implement

I focused more on the modular exponentiation than on the big integer arithmetic,
since I'm more familliar with that topic.