{
  "type": "failure-mode",
  "name": "Discovering the licence after writing the code",
  "slug": "discovering-the-licence-after-writing-the-code",
  "section": {
    "id": "frameworks",
    "number": "02",
    "title": "Choosing a framework",
    "url": "https://zkpick.com/frameworks/"
  },
  "url": "https://zkpick.com/frameworks/failure-modes/discovering-the-licence-after-writing-the-code/",
  "markdown": "https://zkpick.com/md/frameworks/failure-modes/discovering-the-licence-after-writing-the-code.md",
  "detail": "Copyleft compilers and standard libraries, AGPL provers and source-available licences restricting service offerings all appear among mainstream options, and the compiler, prover and verifier can each differ. The constraint surfaces when a commercial or hosted product is already built on it.",
  "mitigation": "Enumerate the licence of every layer you ship before writing code, and get legal review rather than relying on forum consensus about what generated artefacts inherit.",
  "relatedOptions": [
    {
      "name": "Hosted proving services",
      "url": "https://zkpick.com/frameworks/hosted-proving/"
    }
  ],
  "updated": "2026-09-12",
  "version": "1.3",
  "canonical": "https://zkpick.com/frameworks/failure-modes/discovering-the-licence-after-writing-the-code/",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "authors": [
    "MarketComp"
  ]
}