[
  {
    "id": "bjs14-fp",
    "categoryId": "ssip-fp-quantum-grh",
    "paperId": "bjs14",
    "date": "2014-12-31",
    "datePrecision": "year",
    "time": {
      "coefficient": 0.8660254037844386,
      "expression": "L_p[1/2, sqrt(3)/2]"
    },
    "space": {
      "coefficient": null,
      "expression": "Not stated in the checked source"
    },
    "tags": [],
    "review": {
      "status": "source-checked"
    },
    "certificate": {
      "status": "not-provided",
      "lean": null
    },
    "notes": "Theorem 1 gives the subexponential bound when both curves are defined over F_p. The displayed coefficient is sqrt(3)/2 in the L-notation scale, not a p exponent.",
    "extra": {
      "assumption": "GRH",
      "date-basis": "Publication year 2014; day not asserted",
      "L-notation": "L_p[α,c]=exp((c+o(1))(ln p)^α(ln ln p)^{1−α})"
    },
    "evidence": {
      "url": "https://cacr.uwaterloo.ca/techreports/2014/cacr2014-24.pdf",
      "locator": "Theorem 1 (Main result), p.4",
      "sourceVersion": "Checked 2026-11-08; see linked source version/date"
    }
  }
]