Morning Edition · Sunday, August 9, 2026Published at 2:30 AM EDT · New York

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.

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…