arXiv Machine Learning

Anytime Contracts for AI Services

The paper introduces "Anytime Contracts" for AI services, addressing moral hazard where providers may downgrade models and users can terminate usage at any time. It extends contract theory to handle unknown exit rules by framing the problem as a Principal-Agent game and shows that optimal contracts align with anytime-valid hypothesis tests using likelihood‑ratio e‑values. The authors provide an efficient algorithm for computing such contracts and demonstrate its application on synthetic data and real large language model deployments.

arXiv AI
Oct 31

Measuring Where Intent Gets Lost in Agentic Smart Contract Synthesis

The paper investigates how AI agents that generate smart contracts from plain‑English descriptions can lose intended behavior, a critical issue because smart contracts are immutable once deployed. The authors design an execution‑based evaluation that replays transactions on both the AI‑written contract and the original, measuring agreement and identifying discrepancies. They find that common grading tools miss many mistakes, and propose an elicitation‑first approach where the agent asks a short checklist of questions before coding, which significantly improves correctness across multiple AI models.

By Abhinav Goel, Agostino Capponi, Alfio Gliozzo, Chaitya Shah
arXiv AI
Oct 15

Holding Agents Accountable with Verifiable Agent Insurance

The paper introduces Verifiable Agent Insurance (VAI), a framework that lets AI agent providers commit to policy compliance through smart contracts and escrow funds on a blockchain. When a user detects a policy violation, a verifier reviews execution traces logged by the agent harness; if the violation is confirmed, the escrow is paid to the user. Experiments on three agent benchmarks show VAI detects 42.2% of violations, rising to 83.0% when agents emit explicit structured records.

By Cheng Hua, Taro Tsuchiya, Nicolas Christin, Giulia Fanti
arXiv AI
Aug 19

PACE: Policy-Attested Contract Execution for Safe AI Agents in Decentralized Finance

The paper introduces PACE (Policy‑Attested Contract Execution), a framework that sits between large‑language‑model (LLM) based autonomous AI agents and on‑chain DeFi operations. PACE defines typed transaction intents, a deterministic policy verifier, and signed Policy Decision Records (PDRs) that cryptographically bind an approved intent, policy, and simulation report to the exact on‑chain execution bytes, providing replay and expiration protection. In evaluations across 40 tasks and six baselines, PACE achieves zero unsafe executions and zero false positives, outperforming unguarded agents by a large margin.

By Rabimba Karanjai (Larry), Yang Lu (Larry), Richard Williamson (Larry), Hemanth Hm (Larry), Prakhar Mehrotra (Larry), Lei Xu (Larry), Weidong (Larry), Shi
arXiv AI
Oct 9

TokenBank: Financial Infrastructure for AI Services

TokenBank is a financial infrastructure that uses structured contracts to manage the financial relationship between AI service operators and their users. The contracts cover service‑consumption rights, cash settlements for API‑price differences, financing based on future revenue, and protection claims for specified service failures. Evaluation on nearly 900,000 API requests shows that forwards can reduce average expenditure while increasing variability, and that financing can yield positive contributions under certain capital conditions.

By Cary Chang, Jialin Zhou