{
  "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"
  }
}