Как эффективно рассчитать a^k mod m

Как я могу эффективно вычислить a^k по модулю m, где a,k,m — очень большие числа, а k может быть до 10⁹ или больше, a может быть до 10 ⁶.

Здесь a простое число, но k и m могут не быть простыми числами.

Является ли мой единственный вариант вычислением a¹ mod m, a² mod m, a⁴ mod m и т. д. на основе двоичного представления k или есть ли простой способ уменьшить k до меньшего числа?