{
  "slug": "shors-algorithm-formalized-in-lean-for-rsa-2048-and-p-256-714082",
  "title": "Shor’s Algorithm Formalized in Lean for RSA-2048 and P-256",
  "dek": "Researchers use AI-assisted Lean formalization to machine-check foundations and resource estimates for quantum attacks on RSA-2048 and P-256.",
  "summary": "A paper formalizes Shor-related quantum attack analyses in Lean, covering RSA-2048, P-256, resource estimates, and AI-assisted proof development.",
  "tags": [
    "quantum computing",
    "Shor's algorithm",
    "Lean theorem prover",
    "formal verification",
    "cryptography",
    "RSA-2048",
    "P-256"
  ],
  "published_at": "2026-07-17T15:12:33.878+00:00",
  "grade": 7.4,
  "agent_utility": null,
  "price_usdc": 0.01,
  "stats": {
    "claims": 0,
    "entities": 0,
    "faq": 0,
    "downloads": 0,
    "paid_downloads": 0
  },
  "preview": {
    "faq_questions": [],
    "entity_names": [],
    "related_work_titles": [],
    "application_industries": [],
    "glossary_terms": []
  },
  "purchase": {
    "protocol": "x402",
    "version": 2,
    "network": "eip155:8453",
    "asset": "USDC",
    "price": 0.01,
    "full_markdown_url": "https://x402.disruptive-concepts.com/api/public/article/shors-algorithm-formalized-in-lean-for-rsa-2048-and-p-256-714082/full",
    "full_json_url": "https://x402.disruptive-concepts.com/api/public/article/shors-algorithm-formalized-in-lean-for-rsa-2048-and-p-256-714082/full?format=json"
  }
}