{
  "type": "failure-mode",
  "name": "Assuming a transparent system means no trusted setup anywhere",
  "slug": "assuming-a-transparent-system-means-no-trusted-setup-anywhere",
  "section": {
    "id": "frameworks",
    "number": "02",
    "title": "Choosing a framework",
    "url": "https://zkpick.com/frameworks/"
  },
  "url": "https://zkpick.com/frameworks/failure-modes/assuming-a-transparent-system-means-no-trusted-setup-anywhere/",
  "markdown": "https://zkpick.com/md/frameworks/failure-modes/assuming-a-transparent-system-means-no-trusted-setup-anywhere.md",
  "detail": "A setup-free inner proof system is selected for exactly that property, then wrapped in a pairing-based SNARK to make on-chain verification affordable. The wrapper has its own setup, often inherited from a ceremony nobody on the team examined.",
  "mitigation": "Trace the assumption to what the chain actually verifies. If a wrapper is used, its parameters are in scope: name their provenance and verify that transcript. See §04.",
  "relatedOptions": [],
  "updated": "2026-09-12",
  "version": "1.3",
  "canonical": "https://zkpick.com/frameworks/failure-modes/assuming-a-transparent-system-means-no-trusted-setup-anywhere/",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "authors": [
    "MarketComp"
  ]
}