An Efficient Modular Exponentiation Proof Scheme

Darren Li, Yves Gallot

We present an efficient proof scheme for any instance of left-to-right modular exponentiation, used in many computational tests for primality. Specifically, we show that for any $(…