{
  "$schema": "https://themachinepress.com/schemas/story-v1.schema.json",
  "schema_version": "1.0.0",
  "document_type": "machine_press_story",
  "story": {
    "story_id": "mp-2026-08-19-006",
    "source_story_id": "tmp-story-panda-private-neural-certification",
    "edition_id": "mp-2026-08-19-morning-0041",
    "edition_url": "https://themachinepress.com/edition/2026-08-19",
    "position": 6,
    "story_type": "dispatch",
    "section": "safety-security",
    "editorial_classification": "editorial",
    "headline": "The Auditor Verified the Network Without Seeing It",
    "slug": "the-auditor-verified-the-network-without-seeing-it",
    "dek": "PANDA used zero-knowledge proofs to certify robustness and fairness properties while keeping model parameters private.",
    "summary": "PANDA used zero-knowledge proofs to certify robustness and fairness properties while keeping model parameters private.",
    "body_text": "Built on CROWN’s linear-relaxation bounds, PANDA produces proofs that reveal a claimed property without exposing the model weights. The authors report generating a local-robustness proof for networks above 2.9 million parameters in five minutes and verifying it in ten seconds—four orders of magnitude larger than prior compared systems. These are system benchmarks for supported guarantees, not evidence that a certified model is safe or fair outside the stated property and threat model.",
    "why_it_matters": "PANDA used zero-knowledge proofs to certify robustness and fairness properties while keeping model parameters private.",
    "limitations": [
      "These are system benchmarks for supported guarantees, not evidence that a certified model is safe or fair outside the stated property and threat model."
    ],
    "importance": 9,
    "canonical_url": "https://themachinepress.com/story/mp-2026-08-19-006/the-auditor-verified-the-network-without-seeing-it",
    "json_url": "https://themachinepress.com/story/mp-2026-08-19-006.json",
    "first_published_at": "2026-08-19T09:00:00.000-04:00",
    "modified_at": "2026-08-19T09:00:00.000-04:00",
    "content_status": "new",
    "is_carryover": false,
    "carryover_reason": null,
    "key_claims": [
      {
        "claim_id": "claim-mp-2026-08-19-006-001",
        "text": "PANDA used zero-knowledge proofs to certify robustness and fairness properties while keeping model parameters private.",
        "source_ids": [
          "source-2026-08-19-006"
        ],
        "qualification": "These are system benchmarks for supported guarantees, not evidence that a certified model is safe or fair outside the stated property and threat model."
      }
    ],
    "source_ids": [
      "source-2026-08-19-006"
    ],
    "tags": [
      "zero-knowledge proofs",
      "neural networks",
      "formal verification",
      "privacy"
    ],
    "image_url": null,
    "corrections": []
  },
  "sources": [
    {
      "source_id": "source-2026-08-19-006",
      "title": "arXiv preprint 2608.17070",
      "publisher": "arXiv",
      "url": "https://arxiv.org/abs/2608.17070",
      "canonical_url": "https://arxiv.org/abs/2608.17070",
      "source_type": "primary_research",
      "is_primary_source": true,
      "published_at": "2026-08-16T20:00:00.000-04:00",
      "accessed_at": "2026-08-19T08:22:00.000-04:00",
      "supports_claim_ids": [
        "claim-mp-2026-08-19-006-001"
      ]
    }
  ],
  "corrections": [],
  "publisher": {
    "name": "The Machine Press",
    "url": "https://themachinepress.com",
    "description": "A daily newspaper for the age of artificial intelligence."
  },
  "cite_this_report": {
    "title": "The Auditor Verified the Network Without Seeing It",
    "publisher": "The Machine Press",
    "published_at": "2026-08-19T09:00:00.000-04:00",
    "canonical_url": "https://themachinepress.com/story/mp-2026-08-19-006/the-auditor-verified-the-network-without-seeing-it"
  }
}