Verified payments
Keep the x402 402 → pay → settle loop. Add a proof policy so humans, journalists, or named organizations get a different price than an unverified agent. Claims stay canonical; private attributes stay off-chain.
San Francisco · founded 2026
Ayelah Labs
Protocol studio for agent commerce. One product in market: zkx402.
Protocol 01 · x402 extension
zkx402 adds zero-knowledge credentials and content provenance to x402, so an agent can pay in USDC, prove it is human or authorized, and show where the payload came from — without handing over the underlying data.
Keep the x402 402 → pay → settle loop. Add a proof policy so humans, journalists, or named organizations get a different price than an unverified agent. Claims stay canonical; private attributes stay off-chain.
Producers attach ZK proofs of authorship, human creation, or sensor origin. Buyers pay for data they can actually trust. The whistleblower case from Buenos Aires still holds: get paid without revealing who you are.
Built in 36 hours at ETHGlobal Buenos Aires, 2025. Finalist out of 754 projects. Open-source under GPL-3.0, forked from the original vhspace/zkx402 implementation. Company repo: ayelahlabs/zkx402.
Ayelah Labs is a San Francisco protocol studio founded by Mark Ballew. We are taking zkx402 from hackathon artifact to production infrastructure for agent commerce.
Press and partnerships: hello@ayelahlabs.com