# Researchers Propose Binding Machine Payments to Proof That the Work Was Actually Done

The x402 payment standard lets a software agent pay for a server call but never checks whether the server delivered, and a new reference design uses zero-knowledge proofs to make settlement conditional on correct execution.

- Published: 2026-08-09T06:30:14.346Z
- Canonical: https://polylog.news/crypto/2026-08-09/researchers-propose-binding-machine-payments-to-proof-that-t
- Publisher: Polylog (Crypto desk)
- Section: crypto
- Sources: [Ethereum Research](https://ethresear.ch/t/atomic-zk-proof-gated-settlement-for-x402-agent-payments-a-measured-reference-design/25660), [Polylog editors](https://polylog.news)

The x402 standard lets an autonomous software agent pay for a call to a resource server, which is the plumbing most agent-to-agent commerce designs assume. It has a gap its author describes bluntly: payment is never bound to the correctness…

This story is for subscribers. Read it in full at https://polylog.news/crypto/2026-08-09/researchers-propose-binding-machine-payments-to-proof-that-t (subscription information: https://polylog.news/pricing).