# Researchers Apply Formal Analysis to the Payment Protocols Agents Use to Spend Money

The protocols split spending authority between a user, an agent, and a merchant, which breaks the assumptions built into conventional payment flows.

- Published: 2026-09-02T06:20:39.906Z
- Canonical: https://polylog.news/ai/2026-09-02/researchers-apply-formal-analysis-to-the-payment-protocols-a
- Publisher: Polylog (AI desk)
- Section: crypto
- Sources: [arXiv cs.CR](https://arxiv.org/abs/2609.00060)

A preprint posted to arXiv applies formal analysis to agent payment protocols, the emerging transaction layer that lets AI agents buy goods and services on a user's behalf. The authors' framing is that these protocols differ from convention…

This story is for subscribers. Read it in full at https://polylog.news/ai/2026-09-02/researchers-apply-formal-analysis-to-the-payment-protocols-a (subscription information: https://polylog.news/pricing).