AI ethics evidence index Search
Source-linked daily record
Evidence record 690 · automatically gathered

Cryptographic certificates of validity for trustworthy AI

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

Record details

Published: 22 June 2026
Source: arXiv
Category: Research
Topics: Regulation · Agents & autonomy
Retrieved: 14 July 2026

source-onlyevidence status

These records share source-supplied organisations, an exact publisher byline, automatic topics or regions. The reason is shown on every link; related does not mean supporting, agreeing with or verifying this record.

Shared topic: Regulation · Shared topic: Agents & autonomy

When Retrieval Metrics Mislead: Measuring Policy Signal in Long-Horizon Tool-Use Agents

arXiv · 22 June 2026

Shared topic: Regulation · Shared topic: Agents & autonomy

Self-Evolution for Multi-Turn Tool-Calling Agents via Divergence-Point Preference Learning

arXiv · 22 June 2026

Shared topic: Regulation · Shared topic: Agents & autonomy

A Stackelberg Framework for Resource-Aware LLM Agents: Learning, Repair, and Conditional Guarantees

arXiv · 22 June 2026

Shared topic: Regulation · Shared topic: Agents & autonomy

Governed Shared Memory for Multi-Agent LLM Systems

arXiv · 23 June 2026

Shared topic: Regulation · Shared topic: Agents & autonomy

Governance Decay: How Context Compaction Silently Erases Safety Constraints in Long-Horizon LLM Agents

arXiv · 21 June 2026

Shared topic: Regulation · Shared topic: Agents & autonomy

The Clinician's Veto: Navigating Trust, Liability, and Uncertainty in Autonomous AI Prescribing

arXiv · 23 June 2026

How to cite this record

ethics.ai (22 June 2026), “Cryptographic certificates of validity for trustworthy AI,” evidence record 690, https://ethics.ai/record/690 (originally published by arXiv).

JSON

Use and limitations

This page is a stable index and citation surface for a source record. ethics.ai did not author the underlying report and has not independently verified every claim. Automatic topics may be imperfect. For consequential use, quote and cite the original publisher.