{
  "id": 690,
  "url": "https://arxiv.org/abs/2606.23768v1",
  "title": "Cryptographic certificates of validity for trustworthy AI",
  "summary": "We propose cryptographic certificates of validity for agentic AI systems. The core idea is to formally specify a correctness or policy condition as a logical predicate, compile this predicate to a witness-checking problem over polynomial constraints, and use a succinct cryptographic proof system (and optionally zero-knowledge) to certify that the condition holds. This offers a middle ground between formal verification of source code, and cryptographic authentication. An agent's action can be acc",
  "authors": "Murdoch J. Gabbay",
  "category": "research",
  "topics": "regulation,agents-autonomy",
  "orgs": null,
  "regions": null,
  "published_at": "2026-06-22T16:42:25.000Z",
  "fetched_at": "2026-07-14T14:14:41.553Z",
  "source_slug": "arxiv-ethics",
  "source_name": "arXiv",
  "source_homepage": "https://arxiv.org",
  "ethics_ai_record_url": "https://ethics.ai/record/690",
  "original_url": "https://arxiv.org/abs/2606.23768v1",
  "evidence_status": "source-only",
  "attribution": "via ethics.ai"
}