Add primality certificates, elliptic curve start
Fix misspelled proof name