An Efficient Modular Exponentiation Proof Scheme. - Darren Li; Yves Gallot (CoRR, 2022)