factordb has been rebuilt on a new backend while keeping the same numbers, ids, and factor trees. Below is a summary of what is new and what changed. Existing links, ids, and the classic API keep working.

No submitted results are lost. When the old factordb is replaced, all factors added there are imported too, so every contribution carries over.

• The entire backend was re-implemented in Rust as a JSON-RPC service; every page now talks only to that API, never to the database directly.
• The same numbers, ids, and factorizations as before, served faster and with lower load.
• Primality testing, small-factor scanning, and proof generation run as background workers inside the core, so results settle on their own over time.

• Probable-prime testing now uses Baillie-PSW (a strong Miller-Rabin base-2 test plus a strong Lucas test) - deterministic below 2^64 and with no known counterexample above it.
• Deterministic special-form proofs (Pocklington N-1, Morrison N+1, and combined BLS75) are computed exactly with GMP, replacing external pfgw runs.
• Primality certificates (Primo / gmp-ECPP) can be uploaded and are verified automatically; a verified certificate promotes a PRP to a proven prime.
• Numbers show live proof progress with per-method "Prove now" actions.

• A small-factor comb scanner (batch tree-GCD) continuously sweeps untested numbers for small factors.
• ECM factor statistics, each validated against the curve's group order, with a found-factors panel and a browsable list.
• An ECM group-order calculator (GMP-ECM + PARI) for primes up to 100 digits.
• Algebraic factorizations (difference / sum of powers, Aurifeuillian) are recognized and applied automatically.
• A full cofactor-product verification and a primality re-check over stored primes catch and repair legacy misclassifications from the old database.
• Stored expressions are canonicalized to their shortest self-contained form on lookup.

• Search & record with in-place "Create", "Prove", and "Test primality" actions.
• Sequences: aliquot sequences with a digits-vs-iteration growth graph.
• Tables: curated factor-table families, including fill-in-the-parameters forms for multi-variable families such as near-Cunningham numbers (k*b^n+d).
• Download: pull candidates to work on (composites, cofactors, PRPs to certify, untested numbers) - deliberately light on the server.
• Report: paste a factor list or batch-upload certificates.
• Lists, Status, ECM calculator, Limits, Settings, and accounts / login.
• A full API documentation tab, and a light / dark theme.

• The classic endpoint /api?query=... (or ?id=...) is preserved and byte-compatible with the old JSON ({id, status, factors}), so yafu and other tools keep working unchanged.
• A full JSON-RPC 2.0 API for programmatic access, with request batching.
• gzip / brotli response compression.
• Optional per-account API tokens.
• An official command-line client for the API: github.com/mtvb/factordb-cli.

• Per-client resource quotas keep the service responsive under load.
• HTTPS throughout.