Oct. 3, 2022, 1:20 a.m. | Darren Li, Yves Gallot

cs.CR updates on arXiv.org arxiv.org

We present an efficient proof scheme for any instance of left-to-right
modular exponentiation, used in the Fermat probable prime test. Specifically,
we show that for any $(a,n,r,m)$ the claim $a^n\equiv r\pmod m$ can be proven
and verified with an overhead negligible compared to the computational cost of
the exponentiation. Our work generalizes the Gerbicz-Pietrzak double check
scheme, greatly improving the efficiency of general probabilistic primality
tests in distributed searches for primes such as PrimeGrid.

modular

SOC 2 Manager, Audit and Certification

@ Deloitte | US and CA Multiple Locations

Information Security Engineers

@ D. E. Shaw Research | New York City

Junior Cybersecurity Triage Analyst

@ Peraton | Linthicum, MD, United States

Associate Director, Operations Compliance and Investigations Management

@ Legend Biotech | Raritan, New Jersey, United States

Analyst, Cyber Operations Engineer

@ BlackRock | SN6-Singapore - 20 Anson Road

Working Student/Intern/Thesis: Hardware based Cybersecurity Training (m/f/d)

@ AVL | Regensburg, DE