Since release 0.4.0, the CM software contains a fastECPP implementation; more details are available in the announcement of a new ECPP record certification. The implementation has been the topic of a Mersenne forum thread. It is referenced on the PrimePages, where it is proposed as a choice when creating a new proof code.

This page collects certificates for primes proved by the author, in PARI/GP and in Primo format. I submit them to Factordb unless I forget to, where they should appear under my user ID. On the PrimePages, they appear under the proof code E3.