Can We Trust Autonomous Agents? A Formal Framework for Verifiable Agent Economies
Autonomous AI agents discover services, negotiate, and settle payments. However, open agent markets lack reliable means to verify delivery, constrain delegated authority, and make identity renewal economically consequential. To address these failures, we formalize the verifiable agent economy, where evidence and progra...