Tag
certificate
5 resources tagged “certificate” across the knowledge library.
5 items
Article7 Aug 2026Atkin-Morain Elliptic Curve Primality ProvingECPP: using complex multiplication to construct curves of known order, avoiding point counting entirely.2 min readRead MoreArticle7 Aug 2026Primality Certificates and Independent VerificationWhat a primality certificate is, why verification is cheaper than production, and what a certificate does and does not guarantee.2 min readRead MoreArticle7 Aug 2026Primality Versus Factoring: Framing the ProblemsWhy proving compositeness is easy, proving primality is harder, and factoring is harder still — and what this asymmetry means in practice.2 min readRead MoreArticle7 Aug 2026The Goldwasser-Kilian Primality TestPrimality proving by elliptic curves with known point counts, its recursive certificate, and the point-counting bottleneck.2 min readRead MoreArticle7 Aug 2026The Pocklington-Lehmer N-1 Primality TestProving primality from a partial factorisation of one less than the candidate, and the certificate this produces.2 min readRead More
